By 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?
13
81
Ṁ227Ṁ250
2030
36%
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 Ṁ200 play money
Sort 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
Will AI help human being solve (at least) one of 13 World’s Hardest Math Problems in 2024?
23% chance
Will an AI get gold on any International Math Olympiad by 2025?
20% chance
Will an AI solve any important mathematical conjecture before January 1st, 2030?
69% chance
Will a paper fully created by AI be accepted into Nature by 2030?
55% chance
Will an AI get gold on any International Math Olympiad by 2028?
41% chance
Will human mathematicians be mostly obsolete by 2030?
15% chance
Will the majority of mathematicians rely on formal computer proof assistants before the end of 2040?
65% chance
Will AI contribute as much as a co-author would today to a real research mathematics paper before Jan 1 2025?
33% chance
By 2030, will an AI be officially designated as the patent holder for an invention?
24% chance
Will a purely AI-based news agency exist by the year 2030?
81% chance