Will AI contribute as much as a co-author would today to a real research mathematics paper before Jan 1 2025?
Mini
6
Ṁ264Dec 31
87%
chance
1D
1W
1M
ALL
When integrated with tools such as formal proof verifiers, internet search, and symbolic math packages, I expect, say, 2026-level AI, when used properly, will be a trustworthy co-author in mathematical research, and in many other fields as well.
except for 2025
Resolves YES if a real professional mathematician claims this happened for them, unless consensus of other experts is that it didn't happen
Get
1,000and
1.00
1,0001.00Related questions
Related questions
Will an AI achieve >85% performance on the FrontierMath benchmark before 2028?
56% chance
Will AI contribute as much as a co-author would today to a real research mathematics paper before Jan 1 2026?
80% chance
Will AI contribute as much as a co-author would today to a real research mathematics paper before Jan 1 2028?
73% chance
Will an AI co-author a mathematics research paper published in a reputable journal before the end of 2026?
39% chance
Will a published research paper be revealed to have been written by an AI before 2025?
75% chance
Will I (co)write an AI safety research paper by the end of 2024?
45% chance
Will an AI solve any important mathematical conjecture before January 1st, 2030?
78% chance
Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2030?
32% chance
Will AI surpass humans in conducting scientific research by 2030?
39% chance
Will Anthropic and OpenAI collaborate substantially on a research paper before 2025?
22% chance