By 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?
34
1ká¹€25662030
70%
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.
Esta pergunta é gerenciada e resolvida pela Predita.
Get 
1,000 to start trading!
1,000Ordenar por:
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?
Pessoas também estão operando
Perguntas relacionadas
Will AI be better every human at proving Math theorems by the end of 2030?
37% chance
AI outperforms humans in all mathematical research areas by 2028?
18% chance
Will an AI co-author a mathematics research paper published in a reputable journal before the end of 2026?
34% 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?
32% chance
By the end of 2028 will AI be able to write an original article and get it accepted in a prestigious Philosophy journal?
36% chance
Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2035?
32% chance
Will an AI solve any important mathematical conjecture before January 1st, 2030?
79% chance
Will AI contribute as much as a co-author would today to a real research mathematics paper before Jan 1 2028?
83% chance
Will AI solve one of 129 major mathematical conjectures before year X?