Will AI contribute as much as a co-author would today to a real research mathematics paper before Jan 1 2028?
Mini
5
Ṁ52
2027
73%
chance

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.

this one is for 2028

Resolves YES if a real professional mathematician claims this happened for them, unless consensus of other experts is that it didn't happen

https://unlocked.microsoft.com/ai-anthology/terence-tao/

Get
Ṁ1,000
and
S1.00