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.

Market context
AI
AI Impacts
Expert survey on AI progress, 2023
Get
Ṁ1,000
to start trading!
Sort by:

I'm assuming compute used to train top LLMs grows by 4x per year, so about x500 in 4.4 years, i.e. by Dec 31 2029. This would require skills beyond problem-solving, in particular identifying a promising research question. Overall, I see it as likely but I'm not 90% condident. So I'll vote yes.

People are also trading

Will AI be capable of producing an Annals-quality math paper for $100k by March 2030?
49% chance
By 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?
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?
+3% 1d37% chance
Will an AI co-author a mathematics research paper published in a reputable journal before the end of 2026?
45% 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)
76% chance
Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2030?
30% chance
Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2035?
37% 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 2028?
93% chance
Will AI solve one of 129 major mathematical conjectures before year X?
© Manifold Markets, Inc.•Terms•Privacy