World-class, AI-based mathematicians will emerge within a single year (by ~early 2027).
Predictor: Eric Schmidt
Prediction text
World-class, AI-based mathematicians will emerge within a single year (by ~early 2027). | IMO 2027 + AI math-benchmark results
Key catalyst: IMO 2027 + AI math-benchmark results
Watch events: IMO/Putnam AI benchmark results; mathematical peer-reviewed AI-first proofs
Resolution evidence
DeepMind AlphaProof + o3-mini mathematics benchmarks showing continued capability growth. IMO 2025 Silver medal level reached by frontier models.
Predictor: Eric Schmidt
Calibration plot (stated vs observed)
Evidence about this node from Eric Schmidt is multiplied by κ in /api/intake. Lower κ = less weight; floors at 0.10 (effectively silenced) and caps at 1.00 (full weight).
Reference class
This node isn't linked to a reference class. The Bayesian update applies without outside-view blending.
Probability over time
Milestone chain
- 2025-07-31hitAI scores gold medal at International Mathematical OlympiadHow: Frontier AI scores >=35/42 (gold cutoff) on official IMO problems with verified evaluationSource: https://deepmind.google/blog/advanced-version-of-gemini-with-deep-think-officially-achieves-gold-medal-standard-at-the-international-mathematical-olympiad/conf 99%Notes: HIT — Gemini Deep Think achieved gold medal (35/42) at IMO 2025.
- 2026-07-01 → 2027-08-31pendingAI surpasses median IMO gold medalist at IMO 2026 or 2027How: Frontier AI scores at or above median gold-medal score on official IMO 2026 or 2027 problemsSource: https://deepmind.google/blog/advanced-version-of-gemini-with-deep-think-officially-achieves-gold-medal-standard-at-the-international-mathematical-olympiad/conf 85%
- 2026-06-01 → 2027-09-30pendingFields-Medal-tier mathematician publicly endorses AI as research collaboratorHow: Sitting or recent Fields Medalist (Tao, Avila, Mirzakhani-class) publicly states (interview, paper acknowledgment, blog) that AI is providing world-class mathematical assistance in their active researchSource: https://eu.36kr.com/en/p/3551304246589575conf 85%Notes: Terence Tao already publicly described GPT-4 as a 'mediocre but not completely incompetent' research collaborator in 2023-2024. Endorsement upgrade likely.
- 2026-06-01 → 2027-12-31pendingAI co-authored proof of previously-open math problem accepted in Annals of Math / InventionesHow: Top-tier math journal (Annals of Mathematics, Inventiones, Journal of AMS) accepts paper crediting AI as co-author / co-discoverer of a previously open problemSource: https://www.nature.com/articles/s41586-025-09833-yconf 45%Notes: AlphaProof Nature paper provides infrastructure. Top-tier math journals very conservative on AI credit.
What if this resolves?
Click a button to clamp this prediction and run a Gibbs sample. Returns the predictions whose marginals shift most. ~30s per run; ideal for stress-testing "if X resolves, what else moves?"
Evidence chain
Network propagation neighbors
Top incoming (parents)
Edges that influence THIS node's belief
| Kind | Node | Their prob | P(c|s=T) | P(c|s=F) | Δ implied |
|---|---|---|---|---|---|
| killer | TK09 Energy Grid Cap (Data Center Power Wall) | 35.0% | 0.050 | 0.550 | -0.080 |
| prereq | SEM_015 Nvidia agreed to remit 15% of China chip-sale revenue direct — Jensen Huang | 66.3% | 0.550 | 0.050 | -0.069 |
| prereq | SEM_027 Nvidia Data Center revenue +66% YoY, contributing ~90% of $5 — Joseph Moore | 68.3% | 0.550 | 0.050 | -0.069 |
| killer | TK05 Rate Regime Persistence (10y > 5% through 2028) | 30.0% | 0.050 | 0.550 | -0.055 |
| killer | TK03 AI Regulatory Moratorium (EU/US Capability Freeze) | 10.0% | 0.050 | 0.550 | +0.045 |
Top outgoing (children)
Predictions THIS node influences
| Kind | Node | Their prob | P(c|s=T) | P(c|s=F) | Δ implied |
|---|---|---|---|---|---|
| prereq | 248_033 Superhuman AI will make BCI-enhanced humans irrelevant compa — Dave Blundin | 36.7% | 0.600 | 0.050 | -0.070 |
| prereq | 244_019 Peter's son won't need a driver's license in 2 years — Peter Diamandis | 48.4% | 0.920 | 0.050 | -0.044 |
| prereq | 242_031 Most large companies' business models will be disrupted in 2 — Peter Diamandis | 36.1% | 0.650 | 0.050 | -0.042 |
| prereq | 230_020 Peter's 14-year-old son Milan will never get a driver's lice — Peter Diamandis | 34.7% | 0.650 | 0.050 | -0.028 |
| prereq | 232_055 We're exiting the industrial age permanently as recursive se — Peter Diamandis | 35.5% | 0.700 | 0.050 | -0.013 |
Ticker exposure
Beneficiaries (24)
Adverse (6)
Prerequisites (12)
| Type | Pred | Title | Domain | Lag |
|---|---|---|---|---|
| prereq | SEM_011 | Nvidia became the world's first $5 trillion company (late 2025), operating a near-monopoly on advanced AI chips. | Capital Markets | — |
| prereq | SEM_027 | Nvidia Data Center revenue +66% YoY, contributing ~90% of $57B fiscal Q3 revenue; >$4.5T market cap entirely underpinned by AI silicon. | Capital Markets | — |
| prereq | SEM_014 | Nvidia's Arizona-based TSMC factory successfully fabricated cutting-edge semiconductors on US soil for first time in decades (October 2025). | Manufacturing | — |
| prereq | SEM_012 | Nvidia quadrupled chip production output while only doubling human headcount — achieved by deploying AI coding tools (Cursor, Claude Code) across engineering. | AI/Manufacturing | — |
| prereq | SEM_015 | Nvidia agreed to remit 15% of China chip-sale revenue directly to US government in exchange for reversing specific AI chip export bans. | Policy/Semis | — |
| correlate | S_AGI_MID_2029 | AGI mid: Kurzweil 2029 path | agi_general_capability | — |
| correlate | S_ASI_MID_2034 | ASI mid: Schmidt 'ASI in 6 years' | asi_recursive_self_improvement | — |
| killer | TK09 | Energy Grid Cap (Data Center Power Wall) | — | — |
| killer | TK05 | Rate Regime Persistence (10y > 5% through 2028) | — | — |
| killer | TK01 | AGI Capability Plateau (2026-27 Training Stall) | — | — |
| killer | TK02 | AI Compute Supply Shock (TSMC/Taiwan Disruption) | — | — |
| killer | TK03 | AI Regulatory Moratorium (EU/US Capability Freeze) | — | — |
Dependents (5)
| Type | Pred | Title | Domain | Lag |
|---|---|---|---|---|
| prereq | 244_019 | Peter's son won't need a driver's license in 2 years | Auto/Transport | — |
| prereq | 232_055 | We're exiting the industrial age permanently as recursive self-improvement unfolds. | AI | — |
| prereq | 242_031 | Most large companies' business models will be disrupted in 2-5 years | Markets/Stocks | — |
| prereq | 230_020 | Peter's 14-year-old son Milan will never get a driver's license. | Auto/Transport | — |
| prereq | 248_033 | Superhuman AI will make BCI-enhanced humans irrelevant compared to AI 2 years from today. | AI | — |
Linked documents (10)
| Sim | Source | Title | Market prob | Polarity | Reviewed | Published |
|---|---|---|---|---|---|---|
| 0.680 | arxiv | AI Co-Mathematician: Accelerating Mathematicians with Agentic AI | — | mentions | pending | 2026-05-07 |
| 0.679 | manifold | Will research-level math become a sport akin to chess before 2035? | 12% | mentions | pending | 2026-05-09 |
| 0.676 | arxiv | Benchmarks in Leipzig | — | mentions | pending | 2026-06-04 |
| 0.665 | manifold | Will I make IMO in 2028 | 49% | mentions | pending | 2026-05-01 |
| 0.599 | polymarket | Will Williams be the 2026 F1 Constructors' Champion? | 1% | mentions | pending | 2025-12-08 |
| 0.599 | manifold | Who will be the Indonesia National Mathematical Olympiad 2026 absolute winner? | — | mentions | pending | 2026-05-12 |
| 0.598 | polymarket | Will Alpine be the 2026 F1 Constructors' Champion? | 1% | mentions | pending | 2025-12-08 |
| 0.589 | manifold | What will I get at IMO 2026? | — | mentions | pending | 2026-04-27 |
| 0.589 | manifold | What will I get at IMO 2026? | — | mentions | pending | 2026-05-03 |
| 0.588 | manifold | Will these people be rank 1 in their province in the provincial round of 2026 Indonesia National Mathematical Olympiad? | — | mentions | pending | 2026-05-15 |
Raw metadata
{
"nia": false,
"mode": "FORECAST",
"role": "Cited-Executive",
"context": "Schmidt forecasts world-class AI mathematicians within ~1y — aggressive cognitive-automation timeline.",
"to_year": 2027,
"conv_cues": "forecasts; within a single year",
"direction": "HAPPEN",
"from_year": 2026,
"timeframe": "within 1 year",
"conv_level": "HIGH",
"milestones": [
{
"kind": "llm_pre_event",
"label": "AI scores gold medal at International Mathematical Olympiad",
"notes": "HIT — Gemini Deep Think achieved gold medal (35/42) at IMO 2025.",
"source": "https://deepmind.google/blog/advanced-version-of-gemini-with-deep-think-officially-achieves-gold-medal-standard-at-the-international-mathematical-olympiad/",
"status": "hit",
"weight": 0.4,
"ordinal": -9,
"source_id": null,
"confidence": 0.99,
"source_url": "https://deepmind.google/blog/advanced-version-of-gemini-with-deep-think-officially-achieves-gold-medal-standard-at-the-international-mathematical-olympiad/",
"expected_date": "2025-07-31",
"observed_date": "2025-07-31",
"research_origin": "deep_research",
"measurement_criterion": "Frontier AI scores >=35/42 (gold cutoff) on official IMO problems with verified evaluation"
},
{
"kind": "prereq",
"label": "Nvidia became the world's first $5 trillion company (late 2025), operating a near-monopoly on advanced AI chips.",
"status": "hit",
"weight": 0.5,
"ordinal": -8,
"source_id": "SEM_011",
"expected_date": "2026-04-29",
"observed_date": "2026-04-29"
},
{
"kind": "prereq",
"label": "Nvidia Data Center revenue +66% YoY, contributing ~90% of $57B fiscal Q3 revenue; >$4.5T market cap entirely underpinned by AI silicon.",
"status": "hit",
"weight": 0.5,
"ordinal": -7,
"source_id": "SEM_027",
"expected_date": "2026-04-29",
"observed_date": "2026-04-29"
},
{
"kind": "prereq",
"label": "Nvidia's Arizona-based TSMC factory successfully fabricated cutting-edge semiconductors on US soil for first time in decades (October 2025).",
"status": "hit",
"weight": 0.5,
"ordinal": -6,
"source_id": "SEM_014",
"expected_date": "2026-04-29",
"observed_date": "2026-04-29"
},
{
"kind": "prereq",
"label": "Nvidia quadrupled chip production output while only doubling human headcount — achieved by deploying AI coding tools (Cursor, Claude Code) a",
"status": "hit",
"weight": 0.5,
"ordinal": -5,
"source_id": "SEM_012",
"expected_date": "2026-04-29",
"observed_date": "2026-04-29"
},
{
"kind": "prereq",
"label": "Nvidia agreed to remit 15% of China chip-sale revenue directly to US government in exchange for reversing specific AI chip export bans.",
"status": "pending",
"weight": 0.5,
"ordinal": -4,
"source_id": "SEM_015",
"expected_date": "2026-06-25",
"observed_date": null
},
{
"kind": "llm_pre_event",
"label": "AI surpasses median IMO gold medalist at IMO 2026 or 2027",
"source": "https://deepmind.google/blog/advanced-version-of-gemini-with-deep-think-officially-achieves-gold-medal-standard-at-the-international-mathematical-olympiad/",
"status": "pending",
"weight": 0.4,
"ordinal": -3,
"source_id": null,
"confidence": 0.85,
"source_url": "https://deepmind.google/blog/advanced-version-of-gemini-with-deep-think-officially-achieves-gold-medal-standard-at-the-international-mathematical-olympiad/",
"expected_date": "2027-01-30",
"research_origin": "deep_research",
"expected_date_range": {
"to": "2027-08-31",
"from": "2026-07-01"
},
"measurement_criterion": "Frontier AI scores at or above median gold-medal score on official IMO 2026 or 2027 problems"
},
{
"kind": "llm_pre_event
... (truncated)