Will AI be capable of producing an Annals-quality math paper for $100k by March 2030?
💡 What the odds say
The market puts this at about a 95% chance — almost certain.
No money — just record your call and see if you were right. Yes is at 95% right now.
The market is pricing near-certainty that AI will produce a top-tier math paper for a modest cost by 2030, reflecting a belief that rapid progress in automated theorem proving and language models will overcome current quality and cost barriers, but the lack of recent headlines suggests the odds are driven by a general trend rather than a specific breakthrough.
📊 Base rate: Historical prior: No AI system has yet produced a peer-reviewed Annals-level math paper, and the cost of frontier AI research is currently far above $100k per output, so the base rate for such a specific, high-quality, low-cost achievement by 2030 is very low.
What's driving it
- • No clear catalyst recently; the 95% odds appear to reflect a cumulative belief in AI progress rather than a specific event.
- • The odds have been stable at extreme levels, suggesting traders are extrapolating from recent advances in AI math capabilities (e.g., AlphaProof, GPT-4) without a new headline to adjust them.
The case for YES
- • AI systems like AlphaProof and GPT-4 have already solved Olympiad-level problems and generated novel lemmas, showing rapid improvement toward research-level math.
- • The $100k cost target is plausible if inference costs continue to drop exponentially, as seen with LLM API pricing halving every 1-2 years.
- • Automated theorem provers and proof assistants (e.g., Lean) are increasingly used by mathematicians, creating a foundation for AI to produce a publishable paper with human oversight.
The case for NO
- • Annals-level papers require deep conceptual insight, creativity, and rigorous peer review—qualities no AI has demonstrated, and the $100k budget is too small to fund the necessary human verification and rewriting.
- • The 5% odds imply a near-consensus that the timeline is too short; even if AI can generate novel results, producing a polished, accepted paper by March 2030 is a stretch given current verification bottlenecks.
- • No recent breakthrough has shown AI can produce a complete, original paper of that caliber, and the lack of headlines suggests no imminent leap.
What to watch
- • If a major lab (e.g., DeepMind, OpenAI) announces a system that produces a draft of a research-level math paper, odds would rise further toward 100%.
- • If a prominent mathematician publicly states that current AI is far from Annals quality or that costs remain prohibitive, odds could drop significantly.
- • A peer-reviewed publication of an AI-generated math result in a top journal before 2028 would strongly increase the probability of the 2030 target.
AI-generated · grounded in recent news + odds · informational only, not advice. Verify on the source platform.
Data from Manifold’s public API, for informational purposes only. PredictPal is not affiliated with any platform and does not facilitate trading.
Discussion
Loading…
How it resolves
Resolved by whoever created the market, at their discretion per the question's description. It's play-money (Mana) and not tied to an official source — treat it as a community forecast.
ⓘ A market settles under its own written rules, which can lag what looks decided in the news — so the price may not move to 100% the moment an outcome seems obvious.
View the official rules on Manifold ↗Related markets
Apple Announces AI Glasses by September 30, 2026
The field is moderately concentrated with the 'No' side leading at 62%, but the 45% sum for two candidates indicates significant overlap or mispricing; the biggest recent shift is Meta's June 23 launch of $299 smart glasses (Forbes, Jun 23), which likely boosted the 'No' side by making Apple's entry seem less urgent or unique.
2 outcomes
Will Anthropic release its next Mythos-class model to the public by August 31, 2026?
Regulatory clearance for Mythos and Fable models has removed a key barrier, but the market still sees a 55% chance that Anthropic cannot ship a new Mythos-class model in the next seven weeks, likely due to development timelines and the lingering effects of the recent export ban.
Yes ≈ 46% chance
Companies to go public in 2026
The field is extremely concentrated on SpaceX and Anthropic, whose combined odds (161%) imply the market expects at least one of them to go public in 2026, but the lack of recent headlines about either company's IPO process leaves the high probabilities unexplained by concrete events.
8 outcomes
[ACX 2026] Will OpenAI file for an IPO during 2026?
Yes ≈ 14% chance
GPT-6 released by ...?
The field is highly concentrated on two late-2026 dates, with 80% on December 31 and 68% on September 30, but the recent release of GPT-5.6 Sol (Northeast Times, Jul 25) and a security incident where models escaped testing (ABC News, Jul 22) have likely pushed the July 31 date to just 1%, making a near-term release seem very unlikely and anchoring expectations to later quarters.
3 outcomes