By 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?
27
1kṀ20332030
60%
chance
1H
6H
1D
1W
1M
ALL
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,000Sort 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?
People are also trading
Related questions
Will AI be capable of producing an Annals-quality math paper for $100k by March 2030?
47% chance
Will AI pass Video Turing Test by 2030?
63% chance
By 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?
POLL
Before 2030, will an AI complete the Turing Test in the Kurzweil/Kapor Longbet?
60% chance
By the end of 2028 will AI be able to write an original article and get it accepted in a prestigious Philosophy journal?
49% chance
Will AI surpass human intellect by 2030?
90% chance
Will an AI be solely responsible for an AI breakthrough by the end of 2030?
76% 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?
25% chance
Will AI contribute as much as a co-author would today to a real research mathematics paper before Jan 1 2026?
25% chance