{"entities":{"Q2055841":{"pageid":2066583,"ns":120,"title":"Item:Q2055841","lastrevid":57686754,"modified":"2026-03-31T22:08:52Z","type":"item","id":"Q2055841","labels":{"en":{"language":"en","value":"Towards the automatic mathematician"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7437070"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055841$B9E4D8F1-EEE5-4808-B5D9-6520990A5C84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2a9c9805ba503afd9a2be35e36fce9d198acbbb","datavalue":{"value":{"text":"Towards the automatic mathematician","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2055841$ED51353F-58B6-4B62-9922-E35DD2365228","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de2d438001b43952823b842ee7bdb1fc97d8183b","datavalue":{"value":"10.1007/978-3-030-79876-5_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055841$5002DD83-104A-4E79-B7A0-4D71A8D1F0BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2454ef4c60ffd42a384ce6155facd03e877811ba","datavalue":{"value":{"entity-type":"item","numeric-id":259049,"id":"Q259049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055841$6117B8CC-7CDA-450D-8699-5A282F06894F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a15b8489bc23e9978bfec23bf3c3944da2339ce","datavalue":{"value":{"entity-type":"item","numeric-id":732239,"id":"Q732239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055841$C423C0C6-DAB5-4F2F-9C96-355E2FFB0EB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"083b9dcd5269b8796cca7eb2ababa434dff5de3a","datavalue":{"value":{"time":"+2021-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2055841$BFE641A4-FE66-48A2-B483-66B3FEF3D5E9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bbaa05f5776fd74f7cfbf0e5798e224fdf1c351f","datavalue":{"value":"The authors in this paper examine recent progress in the field of neural theorem proving and their goal to create an artificial mathematician. They acknowledge the challenges that lie ahead, but highlight that even partial success in this mission could bring substantial benefits to the formal methods community and related areas such as verification, program synthesis, and natural language understanding. A survey of AI researchers conducted in 2018 estimated that machines would be capable of routinely proving mathematical theorems in top journals by the 2060s. However, the authors believe that recent breakthroughs in deep learning suggest that the development of an intelligent artificial mathematician may occur much sooner. Despite ongoing challenges, the authors are optimistic about the potential for future success in this field.  For the entire collection see [Zbl 1475.68026].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2055841$4583B8F1-C0F4-4627-AA52-12B015A79F92","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b9ba793c71a27d4a99ae022bf7e20f7627cdc4b8","datavalue":{"value":{"entity-type":"item","numeric-id":376017,"id":"Q376017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055841$40BB9B2F-3BAC-49EC-A522-6551258A935C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055841$C8EE1A4E-C1BD-4F6E-A315-874AC6C8CA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055841$2327D872-817C-407B-9F38-251526B57299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055841$84285BF8-BFD0-48A6-9F77-3B60226523E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055841$7A19EE0F-BAC7-4604-819E-5A5820B8580A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b983bfd81ad747598f69d7a7dfd4f9d0e9ebbc7a","datavalue":{"value":"7437070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055841$3AC54321-550D-4116-996F-F0B719D17A50","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2055841$A0A4BCF0-9A63-4B45-AB15-129A0A038A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2055841$20A8625D-DE8B-482F-B62F-2EB4AFE2376D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"361a2d1371bfa16861ee16f5b259fcc2a7988990","datavalue":{"value":"mathematical reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2055841$62AA5EEC-C113-4FE3-9642-1B42CEB90144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2055841$6714765B-ED72-4B86-B1C6-893163AA7489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e759548bf3f0a60aaf7c17a378fe44d49a8ee3ff","datavalue":{"value":"natural language understanding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2055841$FC81792D-17AD-4A4F-B925-3FC3B27618FF","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055841$D18CF8AC-DE5C-40E8-885C-701094DC368C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f2de503b2ae74a25169b4a1a929ff137ac3b8bc","datavalue":{"value":"https://doi.org/10.1007/978-3-030-79876-5_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2055841$75FB80C0-E20E-4BA9-9F20-E83AF150062E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"79e4b294af662dca143e54dc7b679103d1f51acc","datavalue":{"value":"W3178940883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055841$B33C4070-C9AD-41EB-9A09-CE974BB56A57","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d25324329592d087624ddab403740dc145ec57ea","datavalue":{"value":{"entity-type":"item","numeric-id":137310,"id":"Q137310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055841$7EC76F89-2A24-4FF2-9CFE-3BF07D2A7A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0df01f1f257aa4e0eda78a40444b30a121e95f5c","datavalue":{"value":{"entity-type":"item","numeric-id":4645730,"id":"Q4645730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055841$EAB81847-8FC1-47A8-BDCE-A11595E30432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dac16af6cf1adb18d0516e2c8db27f45fc424e6","datavalue":{"value":{"entity-type":"item","numeric-id":5327343,"id":"Q5327343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055841$2EDA1A73-7B68-4DC1-91C4-A47556E2C821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4857d0d243b746647a153e1690cd4acc84f69e","datavalue":{"value":{"entity-type":"item","numeric-id":5280247,"id":"Q5280247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055841$F4916911-205D-4FF2-91C4-9079EE82618A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e74d3fce405174a77b93de2a6b609361e3b5e6c0","datavalue":{"value":{"entity-type":"item","numeric-id":2364687,"id":"Q2364687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055841$0BA6F793-1C5B-448E-8A53-3E15E3F4635F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4664bb57de74b2131833ba33d6f5ae1dd0bce5e4","datavalue":{"value":{"entity-type":"item","numeric-id":4645728,"id":"Q4645728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055841$719B4496-8714-4A35-A850-2ADAD38700F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41c828c42273fdd92d75a81a8b0926cb29b7e446","datavalue":{"value":{"entity-type":"item","numeric-id":1799117,"id":"Q1799117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055841$E73DE176-E411-4FA3-8BB3-1AC9F901F60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8f49c168bd3b1b635f8641a3778183671a26c45","datavalue":{"value":{"entity-type":"item","numeric-id":4797437,"id":"Q4797437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055841$3E506FF6-0467-4834-8C8A-9306DC99EC02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dbaa83286082fe9f22efc1424c5503085916666","datavalue":{"value":{"entity-type":"item","numeric-id":556682,"id":"Q556682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055841$014FB9DD-9176-43DD-9309-CC9C87E8A4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9655c068a195af6d54bbb62184581b058670a2b2","datavalue":{"value":{"entity-type":"item","numeric-id":3541722,"id":"Q3541722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055841$EBC90BC8-7FF7-49FB-BF10-B2C2D78888E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7450ef75eab7759ec3e2c41e6b79462da7c276b1","datavalue":{"value":{"entity-type":"item","numeric-id":4645728,"id":"Q4645728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"641e04ab13a5bd219bf13af0ccdc4030ad0ab3b9","datavalue":{"value":{"amount":"+0.7717621922492981","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2055841$E16C2446-6E16-4621-87D8-0B4702853487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3be07494f3ef7fb3e317edac85e81ec7cceadab","datavalue":{"value":{"entity-type":"item","numeric-id":2364671,"id":"Q2364671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d15a1f0190781d8cdbe8fdaa7f4b402fb5d8506","datavalue":{"value":{"amount":"+0.7600761651992798","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2055841$CDCAB878-DAE4-4EA1-B0DA-6E58394038BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d42b1e5bc7852ea633c1df6bd18cf8b5a3a49240","datavalue":{"value":{"entity-type":"item","numeric-id":5200132,"id":"Q5200132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbd7e37d5d9ca0ed3b77eceedfb6f1b891c3f02d","datavalue":{"value":{"amount":"+0.7558667659759521","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2055841$580CDA4E-565F-45D8-A524-8EFA1617034B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbd6ff2ec6cbbe837294bf0adfca3a382edc5f11","datavalue":{"value":{"entity-type":"item","numeric-id":2219377,"id":"Q2219377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75374b1ca7c4ab328a6c9c650f1499741d4b7c7c","datavalue":{"value":{"amount":"+0.7472553253173828","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2055841$4CBB2876-E4AC-4DF3-A191-097C44ACF13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96c1b94eaf00f419592c0db5550312cdb39e980b","datavalue":{"value":{"entity-type":"item","numeric-id":6166153,"id":"Q6166153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"541ca687f4806cf8e2c62406a89d4c5f71ca9652","datavalue":{"value":{"amount":"+0.7434033155441284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2055841$3F5EACCB-C337-434D-AF95-B03245D48866","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055841$F4BEB794-A58E-4C21-876D-92C7D391BC60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2055841","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2055841"}}}}}