Current community forecast
Yes 96.1%
Forecasters
17
Question type
binary
Methodology
Play-money forecasting platform
Source type
Forecast
Market data
Updated 39 minutes ago
Jul 1, 23, 1:47 PM UTCDec 31, 27, 11:59 PM UTC
Trends
Related Markets
Related questions for context, not a comparison of equivalent contracts.
Will AI contribute novel theorywork to agent foundations before 2028?
Manifold Marketswill a paper released *before 2030* by a frontier AI lab have one of their AIs as a co-author?
Manifold MarketsWill an AI co-author a mathematics research paper published in a reputable journal before the end of 2026?
Manifold MarketsWill an AI co-author a mathematics research paper published in a reputable journal before the end of 2026?
Manifold MarketsWho is Dwarkesh's upcoming "biggest guest yet"?
Manifold MarketsWhich company has the best AI model end of October?
PolymarketRules
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/
