Will AI contribute as much as a co-author would today to a real research mathematics paper before Jan 1 2026?

Ṁ150Ṁ1.4k

Dec 31

30%

chance

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.

for 2026

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/

Market context

Get

1,000

to start trading!

People are also trading

Will an AI achieve >85% performance on the FrontierMath benchmark before 2028?

61% chance

Will AI contribute as much as a co-author would today to a real research mathematics paper before Jan 1 2028?

93% chance

Will an AI achieve >85% performance on the FrontierMath benchmark before 2027?

35% chance

Will an AI co-author a mathematics research paper published in a reputable journal before the end of 2026?

36% chance

will a paper released *before 2030* by a frontier AI lab have one of their AIs as a co-author?

75% chance

Will models be able to do the work of an AI researcher/engineer before 2027?

25% chance

Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2035?

32% chance

Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2030?

31% chance

AI outperforms humans in all mathematical research areas by 2028?

15% chance

Will an AI achieve >80% performance on the FrontierMath benchmark before 2027?

Sort by:

bought Ṁ10 YES

https://www.lesswrong.com/posts/FQAr3afEZ9ehhssmN/jacob-pfau-s-shortform?commentId=kJhpDdLseQPuToHgh
https://x.com/AdilSlm/status/1984326665766387809?s=20

@JacobPfau

bought Ṁ20 NO

Betting no here as this seems pretty close to AGI, and my (generally quick) timelines are not so quick as to put near-AGI at 2026.

Low mana value bet/lack of limit orders though as I don't know much at all about writing mathematical research papers.

shouldn't this close at the end of 2026?

I interpreted "before 2026" as "before Jan 1 2026", clarifying titles(s) now

@jacksonpolack that makes sense. I was referring to the use of 2026 in the quote by Terrence Tao which claims that this will happen in 2026. But < 2026 is also a very valid and interesting question.