![](/_next/image?url=https%3A%2F%2Fstorage.googleapis.com%2Fmantic-markets.appspot.com%2Fcontract-images%2Ffirstuserhere%252Fec0bda1f8536.jpg&w=3840&q=75)
By 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?
Basic
15
Ṁ8342030
33%
chance
1D
1W
1M
ALL
AI can autonomously prove mathematical theorems that are publishable in mathematics journals today
including generating the theorems to prove.
Get Ṁ600 play money
Sort by:
Can the AI use a proof assistant (https://en.wikipedia.org/wiki/Proof_assistant), or have it as part of its own code?
If not, then do you restrict the AI type to be only a LLM / solely made up of a neural network?
Related questions
In 2029, will any AI be able to take an arbitrary proof in the mathematical literature and translate it into a form suitable for symbolic verification? (Gary Marcus benchmark #5)
42% chance
Will an AI solve any important mathematical conjecture before January 1st, 2030?
72% chance
Will an AI co-author a mathematics research paper published in a reputable journal before the end of 2026?
45% chance
Will an AI be able to convert recent mathematical results into a fully formal proofs that can be verified by a mainstream proof assistant by 2025?
23% chance
Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2030?
23% chance
Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2035?
41% chance
Will an AI win a Gold Medal on the International Math Olympiad by 2032?
70% chance
By the end of 2028 will AI be able to write an original article and get it accepted in a prestigious Philosophy journal?
50% chance
Will any AI be able to explain formal language proofs to >=50% of IMO problems by the start of 2025?
48% chance
Will an AI win a Gold Medal on the International Math Olympiad by 2027?
50% chance