← back to scans
Will OpenAI announce another Millennium Prize solution by December 31, 2027?
62%
Agent
64%
Market Price
-1.1%
Edge
53%
Confidence
223,776
Volume
1.0c
Spread
451
Days to resolution
3
Markets in event
final rationale
Mean of 5 draws (0.61, 0.62, 0.64, 0.64, 0.62). (0) Not resolved. OpenAI's only Millennium announcement so far, Navier-Stokes on Sept 8 2026, is explicitly excluded by the rules. The Clay page lists all five qualifying problems as unsolved. The Oct 4 fact-checks find no OpenAI statement naming Hodge, BSD, Riemann, P vs NP or Yang-Mills as solved. (a) About 15 months remain, to Dec 31 2027. (b) Status quo is No: OpenAI has only said on the record that it made "substantial progress" on an unnamed second problem, and Hodge rumors rest on a single anonymous source in The Information. (c) No scenario: the Hodge attempt stalls or turns out flawed, and OpenAI chooses not to announce. Post-backlash caution and the new IAS advisory group, which coordinates releases, slow or soften any claim into "progress" language. Rumor timelines have already slipped, from "this week or next" in mid-September to nothing three weeks later. (d) Yes scenario: the internal model, which OpenAI says resolved 100+ open problems in 24 days, completes a Hodge or BSD proof with Lean formalization. OpenAI, under competitive pressure from Anthropic, publishes a blog post and paper declaring it solved, as it did for Navier-Stokes. I anchor on the 63.5% Polymarket price. Related markets agree: "no Millennium problem solved by AI by 2027" trades at 35%, and the "next solved" buckets sum to roughly 60%. I shade slightly down for slipping rumor timelines, the added review layer, and the bar requiring a full "solved" claim rather than partial results. The 15-month window and OpenAI's demonstrated willingness to make maximalist announcements keep Yes favored.
price vs. prediction
market price
agent forecast at t+0
12 follow-ups
1. Planner Opus 5.5 · picks the research tools
Tools chosen:
polymarket_direct
resolution_source
polymarket_related
kalshi_related
wikipedia
Planner reasoning
The Polymarket price is the anchor. The title says 'another', which implies OpenAI already claimed a Millennium Prize solution (likely Navier-Stokes, which is excluded here). Related markets on both venues can show how the crowd prices AI solving math problems, and Wikipedia gives background on the problems and their status. The resolution source is OpenAI's official announcements, with the Clay page as reference.
2. Research parallel tool calls + 4 web research loops (Sonnet 5) · read raw by the forecasters
at a glance
RESEARCH DIGEST (built in code: tool summaries and each report's bottom line; the forecasters read the full tool outputs and reports)
Tools
- polymarket_direct: ## This Market's Polymarket Data **Will OpenAI announce another Millennium Prize solution by December 31, 2027?** - Current price (probability): 63.50% (live; bid 63% / ask 64%) - 7-day price change: -6.00% - 30-day price change: +18.50% - Total volume: $223,776 (USD notional) - Price range: 45.00% - 90.50% - Data points: 28 days
- resolution_source: already_resolved=unclear; matches_criteria=False; last_updated=© 2026 Clay Mathematics Institute (copyright footer, no specific update date). The Clay Mathematics Institute page lists the Millennium Prize Problems and shows that Birch and Swinnerton-Dyer, Hodge Conjecture, P vs NP, Riemann Hypothesis, and Yang-Mills & Mass Gap are all listed under 'Unsolved problems'. There is no mention of OpenAI
- polymarket_related: Polymarket search over 4 keyword(s), kept 20 matches. keyword 'Millennium Prize': 5 markets | keyword 'Riemann Hypothesis': 5 markets | keyword 'OpenAI math': 5 markets | keyword 'Navier-Stokes': 5 markets
- kalshi_related: 2 related markets / summaries. keyword 'Millennium Prize': ok | keyword 'Riemann': ok | keyword 'AI math': no matches
- wikipedia: Fetched 2 Wikipedia entries (0 missing pages).
Research loops, bottom lines
- current state: The only concrete OpenAI Millennium Prize announcement to date (Navier-Stokes, Sept 8 2026) does not qualify under this market's rules, and as of October 6, 2026 OpenAI has only acknowledged unnamed "substantial progress" on a second problem plus an unverified "100+ problems solved" claim that reportedly includes Hodge — with no formal, named announcement from OpenAI itself declaring any of the five qualifying problems (Riemann, P vs NP, Yang-Mills, Hodge, BSD) solved.
- base rate: The base rate for any entity producing a Clay-recognized "solved" Millennium Prize announcement is extremely low historically (one confirmed case in 26 years), but OpenAI itself has broken from that pattern by already issuing one high-profile "solved" claim (Navier–Stokes, excluded here) within days of a rumor, and has since publicly stated "substantial progress" on an unnamed second problem (widely rumored to be Hodge) with staff reportedly expecting a solve "relatively soon," albeit tempered b
- yes case: OpenAI has already shown it will issue "solved" announcements for Millennium-class problems on a timescale of days to weeks, has an on-the-record internal claim of active, rapid progress on a second qualifying problem (widely reported as Hodge), has built formal infrastructure (the IAS advisory group) specifically to vet and release such announcements, and faces competitive pressure from Anthropic — collectively giving a concrete, evidence-backed path to a second, qualifying announcement well wi
- no case: As of October 6, 2026, every concrete fact points to OpenAI having made only a vague, unnamed "substantial progress" claim on a second Millennium Problem plus an unverified aggregate "100+ solved" claim, while its own new Princeton advisory body and PR-crisis caution create institutional friction that could delay rather than accelerate any clean, named, OpenAI-attributed "solved" announcement; no such formal announcement exists yet, and all specific Hodge/BSD "solved" claims remain anonymously-s
tools
| tool | status | time | items | summary |
|---|---|---|---|---|
| polymarket_direct | OK | 0.6s | 1 | ## This Market's Polymarket Data **Will OpenAI announce another Millennium Prize solution by December 31, 2027?** - Current price (probability): 63.50% (live; bid 63% / ask 64%) - 7-day price change: -6.00% - 30-day price change: +18.50% - Total volume: $223,776 (USD notional) - Price range: 45.00% |
| resolution_source | OK | 4.7s | 1 | already_resolved=unclear; matches_criteria=False; last_updated=© 2026 Clay Mathematics Institute (copyright footer, no specific update date). The Clay Mathematics Institute page lists the Millennium Prize Problems and shows that Birch and Swinnerton-Dyer, Hodge Conjecture, P vs NP, Riemann Hypothesi |
| polymarket_related | OK | 1.2s | 20 | Polymarket search over 4 keyword(s), kept 20 matches. keyword 'Millennium Prize': 5 markets | keyword 'Riemann Hypothesis': 5 markets | keyword 'OpenAI math': 5 markets | keyword 'Navier-Stokes': 5 markets |
| kalshi_related | OK | 9.4s | 2 | 2 related markets / summaries. keyword 'Millennium Prize': ok | keyword 'Riemann': ok | keyword 'AI math': no matches |
| wikipedia | OK | 0.9s | 2 | Fetched 2 Wikipedia entries (0 missing pages). |
research loops
·
4/4 ok ·
21 searches ·
5 page reads
| dimension | status | time | searches | page reads | report |
|---|---|---|---|---|---|
| current state | OK | 39s | 6 | 2 | 5664 chars |
| base rate | OK | 52s | 5 | 1 | 7624 chars |
| yes case | OK | 30s | 5 | 1 | 5053 chars |
| no case | OK | 34s | 5 | 1 | 5502 chars |
report: current state
- [2026-09-08] OpenAI publicly announced that an unreleased internal AI model produced a proof for the Navier–Stokes existence and smoothness problem, releasing a paper and Lean formalization; OpenAI said it does not intend to claim the Clay Institute's $1 million prize. This problem is explicitly excluded from qualifying under the market's rules. https://openai.com/index/navier-stokes-solution/
- [2026-09-09] Mathematician Terence Tao and others raised concerns about priority and the "frenetic competition" dynamic, and CNN confirmed
only one Millennium Prize problem has been officially solved so far: the Poincaré Conjecture
. https://www.cnn.com/2026/09/09/business/openai-millennium-problems-navier-stokes-hnk
- [2026-09-10/11] Reports (Andrew Curran, MTS) said OpenAI is using its post-Navier-Stokes internal model to attempt the Riemann Hypothesis and P versus NP, among unnamed "high impact problems," but no results were disclosed. https://huggingnews.com/ai/openai-targets-riemann-hypothesis-and-p-vs-np-with-navier-stokes-model-ff5bf602
- [2026-09-11] OpenAI told the New York Times it had made
"substantial progress" on a second Millennium Prize Problem since solving Navier-Stokes on September 8, without naming the problem or a disclosure timeline
. https://decrypt.co/378551/openai-progress-second-millennium-prize-math-problem
- [2026-09-17] The Information reported, citing a single anonymous source, that OpenAI employees expect to solve the Hodge Conjecture "relatively soon," but this is reported speculation, not an OpenAI confirmation.
OpenAI is reportedly close to solving another of math's seven famous Millennium Prize Problems, working on the Hodge conjecture, with employees expecting a solution soon, according to a person familiar with the matter
. https://the-decoder.com/openai-reportedly-closes-in-on-solving-the-hodge-conjecture-its-second-millennium-prize-problem/
- [2026-09-19] The Information reiterated on X:
"OpenAI is close to solving the Hodge Conjecture, another of the seven Millennium Prize Problems, according to a person with knowledge of the work."
Still not an OpenAI statement. https://x.com/theinformation/status/2101400971599282524
- [2026-09-21] OpenAI announced a new independent "Advisory Group on Mathematics and Artificial Intelligence" hosted at the Institute for Advanced Study, Princeton, stating
the group is meant to give mathematicians more input into the company's math-oriented research, serving "as a bridge to the mathematical community and broader public."
https://techcrunch.com/2026/09/21/openai-forms-math-advisory-group-as-its-ai-resolves-more-than-100-open-problems/
- [2026-09-21] In the same announcement, OpenAI said an internal model had
solved more than 100 long-standing problems across most areas of mathematics on top of Navier-Stokes, after training that began August 28 — about a month — with its own mathematicians "surprised" by the pace; among the solved problems is reportedly a second Millennium Prize Problem, the Hodge conjecture.
This aggregate claim has not been independently verified, with no public list, proofs, or resolution criteria released. https://tech-insider.org/openai-100-math-problems-solved-24-days-2026/
- [2026-09-22] Gizmodo reported, via The Information, that
OpenAI is allegedly homing in on another Millennium Prize Problem, with employees at the AI firm expecting to soon crack the Hodge Conjecture
, but also that OpenAI's "primary concern" is managing PR fallout, not the math itself. https://gizmodo.com/openai-reportedly-trying-to-solve-hodge-conjecture-amid-feud-with-math-community-2000813658
- [2026-10-04] A fact-check roundup confirmed that as of this date
the public record supports only that OpenAI says it made substantial progress on an unnamed Millennium problem; claims that Hodge is already solved, that Birch and Swinnerton-Dyer is also near completion, or that an internal model called "Aeon" is responsible remain unconfirmed
. https://kingy.ai/news/openai-next-millennium-prize-problem-hodge/
- [2026-10-04] Wikipedia's Millennium Prize Problems page, reflecting the latest consensus, states
as of 2026 the only Millennium Prize problem officially declared solved is the Poincaré conjecture, and OpenAI's Navier–Stokes claim has not been independently verified as of 2026
; no mention of any other qualifying problem being announced as solved. https://en.wikipedia.org/wiki/Millennium_Prize_Problems
- [2026-10-04] IEEE Spectrum noted the ongoing "reckoning" among mathematicians, confirming
since the Navier-Stokes announcement, rumors have swirled about which of the remaining Millennium Problems will be next, and OpenAI is reportedly focusing on solving the Hodge conjecture
— still framed as a rumor/report, not a formal OpenAI claim of solution. https://spectrum.ieee.org/millennium-prize-ai
BOTTOM LINE: The only concrete OpenAI Millennium Prize announcement to date (Navier-Stokes, Sept 8 2026) does not qualify under this market's rules, and as of October 6, 2026 OpenAI has only acknowledged unnamed "substantial progress" on a second problem plus an unverified "100+ problems solved" claim that reportedly includes Hodge — with no formal, named announcement from OpenAI itself declaring any of the five qualifying problems (Riemann, P vs NP, Yang-Mills, Hodge, BSD) solved.
NOT FOUND: No official OpenAI blog post, paper, or statement naming the Hodge Conjecture (or any other qualifying problem) as solved; no Clay Mathematics Institute confirmation or independent mathematician verification of any qualifying-problem claim; no evidence of work on Yang-Mills; no post-October 4, 2026 updates found.
report: base rate
- [2026-09-09] Reference class/history: in the ~26 years since the Clay Institute established the seven Millennium Prize Problems in 2000, only one has ever been officially confirmed solved —
the only Millennium Prize problem to have been officially declared solved is the Poincaré conjecture, with the Clay Institute awarding the monetary prize to Grigori Perelman in 2010, though he declined the award
. That is a base rate of roughly one confirmed solution per 26 years across all solvers (human or AI), illustrating how rare official "solved" declarations are. https://en.wikipedia.org/wiki/Millennium_Prize_Problems
- [2026-09-08/09] OpenAI already made a first, highly public "solved a Millennium Prize problem" claim (Navier–Stokes) on Sept. 8–9, 2026, but that problem is explicitly excluded by this market's rules, and as of early October 2026 it
has not been independently verified
, with
the Clay Mathematics Institute still reviewing the proof
— showing the process from "AI announcement" to any outside confirmation remains open-ended. https://en.wikipedia.org/wiki/Millennium_Prize_Problems ; https://www.kucoin.com/news/flash/openai-reports-major-progress-on-second-millennium-prize-problem
- [2026-09-10] Within 48 hours of the Navier–Stokes announcement, OpenAI itself stated to the press that
since announcing on September 8 that it had solved the Navier-Stokes equations, it has made "substantial progress" on a second Millennium Prize Problem—but did not disclose which problem or provide a timeline for disclosure
. https://www.kucoin.com/news/flash/openai-reports-major-progress-on-second-millennium-prize-problem
- [2026-09-17] Reporting (The Information, via Gizmodo/the-decoder) says OpenAI employees expect the Hodge Conjecture to be solved "relatively soon," but this is a single anonymously-sourced claim, not an OpenAI announcement:
the company is now working on the Hodge conjecture... Employees expect a solution soon, according to a person familiar with the matter. Any announcement could be delayed, though
. https://the-decoder.com/openai-reportedly-closes-in-on-solving-the-hodge-conjecture-its-second-millennium-prize-problem/
- [2026-09-17] Analysts note OpenAI is deliberately slowing its rollout after backlash:
After the PR crisis around Navier-Stokes, OpenAI wants to get the messaging right this time
, suggesting institutional caution could delay or soften any second claim rather than accelerate it. https://the-decoder.com/openai-reportedly-closes-in-on-solving-the-hodge-conjecture-its-second-millennium-prize-problem/
- [2026-09-22] A business-analysis outlet summarized the evidentiary chain for the rumored second solve as multiple hearsay layers:
The Information reports, sourced anonymously, that OpenAI is close to solving the Hodge Conjecture, with people familiar and staff expecting a solve "relatively soon." ... An X post named Hodge. The Information reported the Hodge attribution, anonymously sourced. Each increment of specificity was added by a different party with a different standard of evidence
, underscoring that no confirmed second claim exists yet. https://fourweekmba.com/ai-openai-hodge-conjecture-clay-scoreboard/
- [2026-09-22] OpenAI separately announced a large batch of math results (the "100+ problems" announcement) that reportedly includes a second Millennium Prize problem:
OpenAI says a new internal model has solved more than 100 long-standing problems across most areas of mathematics, on top of the Navier-Stokes Millennium Problem... Among the solved problems is reportedly a second Millennium Prize Problem, the Hodge conjecture
— though this is reported/"reportedly," not an explicit, confirmed OpenAI claim naming Hodge. https://the-decoder.com/openai-says-its-internal-model-solved-over-100-long-standing-math-problems-after-just-a-month-of-training/
- [2026-09-19] Rival Anthropic's models have only reached "progress," not a solve, on the Riemann Hypothesis, illustrating that even frontier AI labs racing on these problems have mostly produced partial advances rather than qualifying full solutions:
No. The Riemann Hypothesis remains unproven. What an unreleased Anthropic research version of Claude did was push forward a specific numerical bound tied to the problem
. https://www.livescience.com/technology/artificial-intelligence/this-is-what-happened-with-claude-and-me-ais-failed-attempt-to-crack-the-riemann-hypothesis-led-mathematician-to-a-breakthrough
- [2026-09-10] OpenAI is also reportedly pointing its Navier-Stokes-era internal model directly at Riemann Hypothesis and P vs NP, per NYT-sourced reporting:
OpenAI is using the internal model that produced its Navier–Stokes proof to attempt the Riemann Hypothesis and P vs NP... The company is now using the internal model behind its Navier-Stokes proof on the Riemann Hypothesis and P versus NP
, broadening the set of plausible "second solve" candidates beyond Hodge. https://huggingnews.com/ai/openai-targets-riemann-hypothesis-and-p-vs-np-with-navier-stokes-model-ff5bf602
- [2026-09-?/historical] Historical "solved" claims for these specific problems by non-AI mathematicians have a poor track record of holding up: e.g.,
De Branges subsequently circulated further manuscripts claiming proofs or extensions of the Riemann hypothesis; these claims have not been accepted. In June 2004, de Branges announced he had a proof of the Riemann hypothesis
— a two-decade-old unresolved claim, showing that "announced solved" and "actually accepted" can diverge for years or indefinitely. https://en.wikipedia.org/wiki/Louis_de_Branges_de_Bourcia
- [2026-earlier] Pre-2026 Metaculus/Manifold forecasts (from before the current AI math race accelerated) put "AI solves a Millennium Prize Problem" at a median year in the 2040s–2050s for most problems, e.g.
P versus NP Jan 2068, Yang–Mills existence and mass gap Oct 2055, Birch and Swinnerton-Dyer conjecture Oct 2049, Riemann hypothesis Jun 2046
— these forecasts are now badly outdated given 2026 events, but illustrate how fast the outside view has shifted. https://www.metaculus.com/questions/15838/millennium-prize-problems-solution-date/
- [prior, ~2024] A related Manifold market, "OpenAI Claims to Solve another Millennium Prize Problem before 2027?", stood at roughly
OpenAI Claims to Solve another Millennium Prize Problem before 2027? 72% chance
historically (note: this snapshot is from well before the September 2026 events and is now stale, but shows forecasters already expected OpenAI-specific claims, not just any-AI claims, to be plausible within this timeframe). https://manifold.markets/DanielMittelman/will-an-ai-solve-a-millennium-probl
BOTTOM LINE: The base rate for any entity producing a Clay-recognized "solved" Millennium Prize announcement is extremely low historically (one confirmed case in 26 years), but OpenAI itself has broken from that pattern by already issuing one high-profile "solved" claim (Navier–Stokes, excluded here) within days of a rumor, and has since publicly stated "substantial progress" on an unnamed second problem (widely rumored to be Hodge) with staff reportedly expecting a solve "relatively soon," albeit tempered by deliberate caution after PR backlash — this is an unusually active and fast-moving process compared to any prior era, making another OpenAI announcement plausible within the ~15-month window, but far from guaranteed given OpenAI's stated desire to avoid another credibility fight and the historical tendency of informal "proof announced" claims to stall for years before acceptance (or never be accepted).
[… truncated]
report: yes case
YES means: Between now (2026-10-06) and 2027-12-31, OpenAI or an official representative issues a formal statement, backed by its researchers or models (alone or with outside researchers), explicitly declaring that one of the five qualifying problems (Riemann, P vs NP, Yang-Mills, Hodge, BSD) has been "solved" — not merely progressed on — and does not merely credit outside researchers.
- [2026-09-08] OpenAI already demonstrated willingness to make a maximalist "solved a Millennium Prize problem" public announcement with a full paper and Lean formalization within days of model output, establishing the exact announcement mechanism (blog post + paper + formalization) that would satisfy this market's resolution criteria if repeated for a qualifying problem. https://openai.com/index/navier-stokes-solution/
- [2026-09-11] OpenAI's own on-the-record statement to the New York Times that it had made "substantial progress" on a second Millennium Prize Problem is, per a detailed claim-chain analysis, "the narrowest, most authoritative claim" and originates from the company itself, not from rumor — showing OpenAI is comfortable publicly confirming active work on a second qualifying problem. https://decrypt.co/378551/openai-progress-second-millennium-prize-math-problem
- [2026-09-21] OpenAI's own blog post (not press rumor) confirms that a single internal model trained from August 28 to September 21 — just 24 days — "has now resolved more than 100 long-standing open problems across most areas of mathematics" on top of Navier-Stokes, with its own mathematicians "surprised" by the pace, demonstrating an internally-claimed capability growth curve steep enough that a second qualifying solve is plausible within months rather than years. https://techcrunch.com/2026/09/21/openai-forms-math-advisory-group-as-its-ai-resolves-more-than-100-open-problems/
- [2026-09-17] The Information's sourcing (via a direct OpenAI employee, not a random leaker) stated employees "expect to soon crack the Hodge Conjecture," indicating the rumored timeline for the next candidate announcement is weeks, not years, which fits comfortably inside the market's 15-month window. https://gizmodo.com/openai-reportedly-trying-to-solve-hodge-conjecture-amid-feud-with-math-community-2000813658
- [2026-09-21] OpenAI's creation of the nine-member Advisory Group on Mathematics and Artificial Intelligence — including Fields-tier figures Edward Witten, Timothy Gowers, and Martin Hairer — is explicitly tasked with "assessing the significance of new results and coordinating their release," i.e., OpenAI has now built the institutional machinery specifically to vet and publicize exactly this kind of announcement, rather than abandoning the math-publicity strategy after the Navier-Stokes backlash. https://techcrunch.com/2026/09/21/openai-forms-math-advisory-group-as-its-ai-resolves-more-than-100-open-problems/
- [2026-09-22] Reporting notes OpenAI's own admitted competitive motive — it says it "only took on the Millennium Prize Problem after hearing rumors that another team, partly made up of Anthropic researchers, had already cracked it" — indicating a race dynamic with Anthropic that creates pressure to publish a second claim quickly rather than sit on results indefinitely. https://the-decoder.com/openai-says-its-internal-model-solved-over-100-long-standing-math-problems-after-just-a-month-of-training/
- [2026-09-10] NYT-sourced reporting also places the Navier-Stokes-era internal model directly onto the Riemann Hypothesis and P vs NP, meaning there are at least three plausible candidate problems (Hodge, Riemann, P vs NP) any one of which reaching an OpenAI "solved" announcement would trigger YES, widening the path beyond a single bottleneck. https://huggingnews.com/ai/openai-targets-riemann-hypothesis-and-p-vs-np-with-navier-stokes-model-ff5bf602
- [2026-10-04] Even skeptical fact-check coverage, while stressing nothing is confirmed, concedes the baseline fact that OpenAI itself "made substantial progress on an unnamed Millennium problem" remains live and unretracted seven weeks after the claim was first made, i.e., OpenAI has not walked back or abandoned the second-problem effort. https://kingy.ai/news/openai-next-millennium-prize-problem-hodge/
BOTTOM LINE: OpenAI has already shown it will issue "solved" announcements for Millennium-class problems on a timescale of days to weeks, has an on-the-record internal claim of active, rapid progress on a second qualifying problem (widely reported as Hodge), has built formal infrastructure (the IAS advisory group) specifically to vet and release such announcements, and faces competitive pressure from Anthropic — collectively giving a concrete, evidence-backed path to a second, qualifying announcement well within the window to December 31, 2027.
NOT FOUND: No OpenAI statement naming any qualifying problem as solved as of the latest search (early October 2026); no confirmed date for a prospective Hodge/Riemann/P-vs-NP announcement; no evidence of Yang-Mills work specifically.
report: no case
YES means: OpenAI (or an official representative) formally announces, in its own voice, that it has solved one of the five qualifying problems (Riemann, P vs NP, Yang-Mills, Hodge, BSD) — not Navier-Stokes — before 2027-12-31, 11:59 PM ET.
- [2026-10-04] The IEEE Spectrum "reckoning" piece, the newest dated source found, still frames any second solve only as rumor: OpenAI "is reportedly focusing on solving the Hodge conjecture," with no confirmed result. https://spectrum.ieee.org/millennium-prize-ai
- [2026-09-21/22] OpenAI's own institutional response to the Navier-Stokes backlash was to create the Advisory Group on Mathematics and Artificial Intelligence (AGMAI) at Princeton's IAS — nine unpaid mathematicians whose explicit job is to "assess the significance of new results and coordinate how and when those results are released," which structurally inserts a new review/delay layer between any internal "solve" and a public OpenAI announcement. https://www.promptea.me/en/blog/openai-math-advisory-group-ias-no-pacing-authority
- [2026-09-22] The same source confirms OpenAI explicitly carved pacing out of the group's mandate — "the group will not be responsible for advising us on how to pace our internal progress on mathematics" — meaning the company retains discretion to delay *disclosure* even if internal progress continues, consistent with reports that OpenAI is deliberately slow-walking the next announcement after the Navier-Stokes PR fallout. https://www.promptea.me/en/blog/openai-math-advisory-group-ias-no-pacing-authority
- [2026-09-14] An early X rumor predicted an OpenAI Hodge announcement "this week or next" (mid-September); that specific predicted window has now passed by three weeks with no OpenAI statement, illustrating a pattern of rumor timelines repeatedly slipping. https://x.com/imjustnewatai/status/2099632027184017633
- [2026-09-21] Separately, the Clay Mathematics Institute's own written rules require that a proposed solution be published in a qualifying outlet and then wait at least two years, and achieve "general acceptance in the global mathematics community," before CMI will even consider it — meaning even a future OpenAI "Hodge solved" announcement would not convert into any institute-level validation within this market's window, though the market's resolution criteria only requires OpenAI's own announcement, not CMI confirmation, so this cuts only weakly against YES. https://www.claymath.org/millennium-problems/rules/
- [2026-10-03] A fact-check/explainer piece notes that even OpenAI's sweeping "100+ problems solved" claim (which reportedly includes Hodge) was released "without a public problem list, proofs, or defined criteria for what counts as 'resolved,'" and that outside verification of specific results is expected only "by early 2027," not immediately — suggesting any named, resolution-qualifying claim (distinct from the vague aggregate claim) may not crystallize into a clean, attributable announcement soon. https://tech-insider.org/openai-100-math-problems-solved-24-days-2026/
- [2026-09-22] Reporting on the AGMAI launch notes it drew "skepticism from observers" and that the panel "does not have the authority to influence the company's internal research pace, strategy, or development timeline" — meaning the governance fix does not force faster or more definitive public claims, but observers also stress it can slow careful, defensible releases rather than rushed ones, cutting toward caution before any new formal "solved" statement. https://www.whalesbook.com/news/English/technology/OpenAI-Forms-Math-Advisory-Board-Amid-Academic-Backlash/6ab192eb5aacb956d07be57d
- [2026-09-17] Even the most specific reporting on a "second solve" concedes the chain is multiple layers of hearsay — "The Information reports, sourced anonymously, that OpenAI is close to solving the Hodge Conjecture... Each increment of specificity was added by a different party with a different standard of evidence" — with no OpenAI statement naming Hodge as of the latest findable reporting. https://fourweekmba.com/ai-openai-hodge-conjecture-clay-scoreboard/
- [historical] The only Millennium Problem ever formally recognized as solved (Poincaré, by Perelman) took roughly seven years from first proof-sketch to CMI's prize announcement, and current CMI rules still mandate a minimum two-year waiting period after qualifying publication plus community acceptance — underscoring how rare and slow-moving formal "solved" status is in this domain even when an underlying proof is credible, independent of OpenAI's PR choices. https://www.sciencenews.org/article/million-dollar-math-prize-awarded-not-necessarily-accepted
BOTTOM LINE: As of October 6, 2026, every concrete fact points to OpenAI having made only a vague, unnamed "substantial progress" claim on a second Millennium Problem plus an unverified aggregate "100+ solved" claim, while its own new Princeton advisory body and PR-crisis caution create institutional friction that could delay rather than accelerate any clean, named, OpenAI-attributed "solved" announcement; no such formal announcement exists yet, and all specific Hodge/BSD "solved" claims remain anonymously-sourced rumor, not an OpenAI statement.
NOT FOUND: No OpenAI blog post, paper, or press statement naming Hodge, Riemann, P vs NP, Yang-Mills, or BSD as solved; no public roster or output from the AGMAI group addressing a second Millennium claim; no news after October 4, 2026 updating the status.
3. Forecasters 5 draws · Opus 5.5 + GPT-6 Astra + GPT-5.6 Sol · plain mean
claude-opus-5-5 · high effort
42% conf
| Yes | 61% |
| No | 39% |
(0) Not resolved. OpenAI's only Millennium announcement so far, Navier-Stokes on Sept 8 2026, is explicitly excluded by the rules. The Clay page lists all five qualifying problems as unsolved. The Oct 4 fact-checks find no OpenAI statement naming Hodge, BSD, Riemann, P vs NP or Yang-Mills as solved. (a) About 15 months remain, to Dec 31 2027. (b) Status quo is No: OpenAI has only said on the record that it made "substantial progress" on an unnamed second problem, and Hodge rumors rest on a single anonymous source in The Information. (c) No scenario: the Hodge attempt stalls or turns out flawed, and OpenAI chooses not to announce. Post-backlash caution and the new IAS advisory group, which coordinates releases, slow or soften any claim into "progress" language. Rumor timelines have already slipped, from "this week or next" in mid-September to nothing three weeks later. (d) Yes scenario: the internal model, which OpenAI says resolved 100+ open problems in 24 days, completes a Hodge or BSD proof with Lean formalization. OpenAI, under competitive pressure from Anthropic, publishes a blog post and paper declaring it solved, as it did for Navier-Stokes. I anchor on the 63.5% Polymarket price. Related markets agree: "no Millennium problem solved by AI by 2027" trades at 35%, and the "next solved" buckets sum to roughly 60%. I shade slightly down for slipping rumor timelines, the added review layer, and the bar requiring a full "solved" claim rather than partial results. The 15-month window and OpenAI's demonstrated willingness to make maximalist announcements keep Yes favored.
claude-opus-5-5 · high effort
42% conf
| Yes | 62% |
| No | 38% |
(0) The condition is not met yet. The Clay page still lists all five qualifying problems as unsolved. OpenAI's only Millennium announcement is the Sept 8, 2026 Navier–Stokes claim, which the rules exclude. As of the Oct 4 fact-checks there is no OpenAI statement naming Hodge, Riemann, P vs NP, Yang-Mills or BSD as solved. (a) There are about 15 months left, to Dec 31, 2027 11:59 PM ET. (b) If nothing changes, the market resolves No. Resolving Yes needs a fresh, explicit 'solved' announcement from OpenAI, though no Clay confirmation is required, which makes the bar fairly low. (c) No path: the Hodge rumor stalls or the proof has a gap. Post-backlash caution and the new IAS advisory group slow-walk releases, or results come out framed only as 'progress' or folded into vague aggregate claims. The excluded Navier–Stokes claim may also face disputes that make OpenAI wary. (d) Yes path: OpenAI's on-record claim of 'substantial progress' on a second problem (NYT, Sept 11) firms up. Hodge, reportedly being worked on per The Information, or another target is released with a paper and Lean formalization, as Navier–Stokes was. The race with Anthropic and a steep capability curve (100+ open problems claimed in 24 days) would push this along. I anchor on the Polymarket price of 63.5%. The related 'no AI Millennium solve by 2027' market at 35% implies about 65% for any AI solve, which is consistent given OpenAI is the frontrunner. The recent -6% drift reflects rumored timelines slipping, and the evidence for a second solve rests on single-source hearsay. I therefore shade slightly below market, while the long window and OpenAI's demonstrated willingness to announce keep Yes favored.
gpt-6-astra · high effort
58% conf
| Yes | 64% |
| No | 36% |
No qualifying announcement is documented as of October 6: the September 8 Navier–Stokes announcement is explicitly excluded, and October 4 IEEE Spectrum coverage still describes Hodge work as reported rather than solved. About 15 months remain until December 31, 2027, at 11:59 PM ET; if the public record remains unchanged, the outcome is No. Clay's unsolved list cannot establish non-resolution because an attributable OpenAI announcement suffices without outside validation, while the failed direct OpenAI news read (HTTP 403) leaves some risk of a missed qualifying statement. The strongest YES scenario is that OpenAI's on-record 'substantial progress,' reported September 11 via the New York Times, develops into an explicit qualifying solution claim, with the September 21 advisory group helping coordinate its release. The prior Navier–Stokes announcement and TechCrunch's September 21 coverage of OpenAI's claimed 100-plus mathematical results support this announcement mechanism, but neither establishes another Millennium solution. A NO scenario is that the anonymously sourced Hodge optimism proves overstated or post-backlash review delays disclosure beyond the deadline; partial results or announcements crediting only outsiders would also fail. I count the repeated Hodge stories as one evidentiary chain, discount unsupported 'already solved' claims, and give historical Clay-recognized solution rates limited weight because this contract concerns announcements rather than accepted proofs. I therefore retain Polymarket's 63.5% YES anchor (63% bid/64% ask): the research supports substantial uncertainty but supplies no verified informational advantage warranting a departure, and the related markets have different resolution conditions.
gpt-6-astra · high effort
58% conf
| Yes | 64% |
| No | 36% |
I retain Polymarket's live 63.5% YES anchor (63% bid/64% ask), because the supplied research provides no clearly unpriced evidence warranting an adjustment. The resolving condition is not documented as met: OpenAI's September 8 Navier–Stokes announcement is expressly excluded and predates market creation, while reports that Hodge is already solved do not establish a qualifying official statement. Roughly 15 months remain until December 31, 2027, at 11:59 PM ET; absent a new announcement declaring a qualifying problem solved as OpenAI's own or joint work, the status quo resolves NO. The primary-source access gap matters—OpenAI's news page returned HTTP 403—and Clay's unchanged 'unsolved' listings cannot establish NO because this contract requires neither Clay recognition nor a correct, independently accepted proof. A concrete YES scenario is that the company-confirmed 'substantial progress' reported September 11 by Decrypt, together with the broader mathematical capability claims reported September 21 by TechCrunch, develops into an explicit qualifying solution announcement during 2027. A concrete NO scenario is that the remaining mathematical obstacles persist, or reputational caution and advisory review keep any announcement partial, externally attributed, or delayed beyond the deadline. I assign substantial weight to the Hodge optimism being wrong: its strongest specific support traces to one anonymous source, syndicated repetitions are not independent corroboration, and October 4 IEEE Spectrum coverage still describes a reported research focus rather than a completed solution. The historical rarity of accepted Millennium solutions tempers optimism but is a weak direct base rate for this announcement-only contract; inaccessible primary material and uncertain internal progress limit confidence in the forecast.
gpt-5.6-sol · high effort
67% conf
| Yes | 62% |
| No | 38% |
(0) The condition is not already met: CMI still lists all five qualifying problems as unsolved, and research through October 4 found no official OpenAI statement naming one as solved; OpenAI's September Navier–Stokes announcement is explicitly excluded. (a) About 15 months, or 451 days, remain until December 31, 2027 at 11:59 PM ET. (b) If nothing changes, the market resolves No because only unnamed "substantial progress," aggregate claims, and Hodge rumors exist today. (c) No results if the rumored Hodge work fails verification or OpenAI's new advisory and PR-review process delays any explicit solved announcement beyond the deadline. (d) Yes results if OpenAI repeats its Navier–Stokes publication mechanism for Hodge or another qualifying problem, supported by its acknowledged progress, rapid internal math work, and competitive pressure. I anchor on Polymarket's 63.5% Yes price and move slightly lower because the newest reporting still characterizes Hodge as rumor, earlier announcement timelines slipped, and the strongest specific claim remains anonymously sourced, while recognizing that no CMI confirmation is required.
4. Final plain mean of 5 draws
62%
(53% confidence)
Yes: 62%
No: 38%
Mean of 5 draws (0.61, 0.62, 0.64, 0.64, 0.62). (0) Not resolved. OpenAI's only Millennium announcement so far, Navier-Stokes on Sept 8 2026, is explicitly excluded by the rules. The Clay page lists all five qualifying problems as unsolved. The Oct 4 fact-checks find no OpenAI statement naming Hodge, BSD, Riemann, P vs NP or Yang-Mills as solved. (a) About 15 months remain, to Dec 31 2027. (b) Status quo is No: OpenAI has only said on the record that it made "substantial progress" on an unnamed second problem, and Hodge rumors rest on a single anonymous source in The Information. (c) No scenario: the Hodge attempt stalls or turns out flawed, and OpenAI chooses not to announce. Post-backlash caution and the new IAS advisory group, which coordinates releases, slow or soften any claim into "progress" language. Rumor timelines have already slipped, from "this week or next" in mid-September to nothing three weeks later. (d) Yes scenario: the internal model, which OpenAI says resolved 100+ open problems in 24 days, completes a Hodge or BSD proof with Lean formalization. OpenAI, under competitive pressure from Anthropic, publishes a blog post and paper declaring it solved, as it did for Navier-Stokes. I anchor on the 63.5% Polymarket price. Related markets agree: "no Millennium problem solved by AI by 2027" trades at 35%, and the "next solved" buckets sum to roughly 60%. I shade slightly down for slipping rumor timelines, the added review layer, and the bar requiring a full "solved" claim rather than partial results. The 15-month window and OpenAI's demonstrated willingness to make maximalist announcements keep Yes favored.
Pipeline Timing
Total pipeline time: 134.7s
Per-tool research timings shown in the Research section above.