Will AI contribute as much as a co-author would today to a real research mathematics paper before Jan 1 2024?
Basic
8
Ṁ391
resolved Jan 1
Resolved
NO

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 2024

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