By 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?
Plus
27
Ṁ19112030
66%
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
1,000and
1.00
1,0001.00Sort 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
Related questions
Will AI be capable of producing an Annals-quality math paper for $100k by March 2030?
60% chance
Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2030?
33% chance
Will an AI win a Gold Medal on the International Math Olympiad by 2027?
84% chance
By 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?
POLL
Would an AI be capable of constructing a non-brute, ultraweak proof of chess for this board state by 2030?
49% chance
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)
82% chance
Will an AI co-author a mathematics research paper published in a reputable journal before the end of 2026?
39% chance
Will AI contribute as much as a co-author would today to a real research mathematics paper before Jan 1 2026?
42% chance
Will an AI model write the proof to the Riemann Hypothesis by the end of 2025?
4% chance
Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2035?
65% chance