By 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?
22
Never closes
<10%
10-30%
30-50%
50-70%
70-90%
>90%
AI can autonomously prove mathematical theorems that are publishable in mathematics journals today
including generating the theorems to prove.
This question is managed and resolved by Manifold.
Get
1,000 to start trading!
1,000Related questions
Related questions
Will AI solve any of Hilbert's unsolved problems before April of 2025?
2% chance
Will an AI co-author a mathematics research paper published in a reputable journal before the end of 2026?
30% chance
By 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?
69% 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 AI contribute as much as a co-author would today to a real research mathematics paper before Jan 1 2026?
58% chance
Will an AI model write the proof to the Riemann Hypothesis by the end of 2025?
5% chance
Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2030?
34% chance
Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2035?
65% chance
Will an AI solve any important mathematical conjecture before January 1st, 2030?
76% chance
Will AI contribute as much as a co-author would today to a real research mathematics paper before Jan 1 2025?
87% chance