OpenAI reportedly claims a mathematical breakthrough on a Millennium Prize problem, potentially establishing substantive progress on a major open problem through AI-assisted research without yet establishing a complete solution.

What is this?

Why it matters to Scott

Measured heat

How the heat travelled

Evidence (58) — ⭐ canonical anchor

September 21, 2026

[Company](https://openai.com/news/company-announcements/)

# Advisory Group on Mathematics and Artificial Intelligence

Loading…

Share

On August 28, we began training a new internal model. In addition to [resolving the Navier–Stokes Millennium Prize problem⁠](https://openai.com/index/navier-stokes-solution/), this model has now resolved more than 100 long-standing open problems across most areas of mathematics. The [pace of its progress⁠](https://openai.com/index/navier-stokes-solution/#astra-internal-model-open-math-problems) in mathematics has surprised the mathematicians within OpenAI. This has led to internal discussions on the best way to inform the community of the rapid progress to prepare and adapt the field.

Mathematics is a fundamental science, and novel discoveries may result in a wide range of applications. That makes the promise of these capabilities substantial, and their responsible development and deployment important beyond mathematics itself. We recognize this and are working through how broader deployment of math-related AI capabilities can be done responsibly.

In a recent open letter “[A Severe Misalignment of AI in Mathematics⁠(opens in a new window)](https://mathandai.org/),” mathematicians raise concerns about the negative externalities of solving open problems as a benchmark for new AI systems.

Their criticisms highlight the need for thoughtful engagement of AI companies with the math community. To that end, we’re working with mathematicians who have established an independent mathematics advisory group. This group will serve as a bridge to the mathematical community and broader public, giving mathematicians a voice in how we move forward.

The group will advise on the review and communication of emerging results: they will help OpenAI assess their significance, advise on how to coordinate their dissemination, and advise on academic and professional standards of mathematical research. It will also advise on how our tools can support mathematical research and learning. We want to put capable tools in mathematicians’ hands so they can pursue the questions they know best and develop new ideas.

The group will operate independently from OpenAI. The group will have the freedom to offer advice we have not requested, comment on OpenAI’s impact on mathematics, and make its advice public. Its value depends on its members being able to exercise their own judgement and challenge ours. Its members will not be paid by OpenAI, and the group can change its membership as it sees fit. Importantly, the group will not be responsible for advising us on how to pace our internal progress on mathematics.

Working with this group is a first step. There are difficult questions ahead about how AI can support mathematical understanding and how the benefits of these capabilities can reach the wider community. We want mathematicians to be at the center of shaping the answers.

**Initial Members of the** [**Advisory Group on Mathematics and Artificial Intelligence**⁠(opens in a new window)](http://agmai.org)**, hosted at the** [**Institute for Advanced Study**⁠(opens in a new window)](https://www.ias.edu/nccr/projects#agmai)**:**

- François Charles (ENS-PSL)
- Camillo De Lellis (IAS, GSSI)
- Timothy Gowers (Collège de France, Cambridge)
- Martin Hairer (EPFL, Imperial College London)
- Nikhil Srivastava (Berkeley, Simons Institue)
- Ulrike Tillmann (Oxford, INI)
- Ravi Vakil (Stanford)
- Edward Witten (IAS)
- Melanie Matchett Wood (Harvard)

- [2026](https://openai.com/news/?tags=2026)

## Author

OpenAI

## Keep reading

[View all](https://openai.com/news/)

Expanding OpenAI Academy with new learning paths — cover

[Expanding OpenAI Academy with new learning paths

CompanySep 21, 2026](https://openai.com/index/expanding-openai-academy-with-new-learning-paths/)

Introducing the Australian Youth Safety Blueprint — cover

[Introducing the Australian Youth Safety Blueprint

CompanySep 18, 2026](https://openai.com/index/australian-youth-safety-blueprint/)

Introducing Astra for Law — art card

[Introducing Astra for Law

CompanySep 17, 2026](https://openai.com/index/astra-for-law/)

September 23, 2026

[Global Affairs](https://openai.com/news/global-affairs/)[Safety](https://openai.com/news/safety-alignment/)

# Sam Altman’s remarks at the United Nations Security Council

Loading…

Share

Today, OpenAI CEO Sam Altman addressed the United Nations Security Council on artificial intelligence. He discussed AI’s potential to expand opportunity, the importance of keeping powerful systems under human control, and the need for international cooperation on AI safety.

## Remarks as delivered

Thank you, Mr. President and your Excellencies. I’m honored to be here and to be able to speak with you all at this important time.

We have been talking about artificial intelligence for years, but it feels different in recent weeks and months. Rapid model progress has made the timeline feel more compressed, the upside more tangible, but also the stakes and the risks more immediate.

We have a choice in front of us. AI can either be more like a new Renaissance of creativity and discovery, or more like a new Industrial Revolution of upheaval and disarray.

The Renaissance was a time when new tools, new ideas, and new institutions expanded what people believed they could do. AI can play that role for our time. I believe that people are much more capable than they imagine themselves to be, but have been held back by limited technology that was meant to empower but instead distracts and often steals attention.

The best version of AI is not about making people cogs in a giant machine, or optimizing every part of life until the human parts disappear. It is about giving people more agency in an ever more complex world: more ability to learn, to create, discover, build, participate. There are many things that AI cannot—and should not—automate.

AI should be built for people, not simply to turn the crank of the machines faster for their own sake. Some of the things people working to build AI have said are so dystopian that they sound like the plot of bad science fiction movies.

Anything this powerful is also intimidating. This moment is complicated as we feel both tremendous potential and very understandable anxiety at the same time.

These models can help people discover new knowledge: new medicines, better health care, stronger education, and build more productive economies. They can be new tools for people to pursue dreams and ambition that today feel out of reach. The complexity of life has increased so dramatically for the average person. AI can be a defensive tool against this complexity as much as it can be this tool of unprecedented discovery and innovation.

On the other hand, as AI systems become more capable and more autonomous, they could move faster than our institutions, concentrate power in too few hands, or make decisions that people no longer understand or control.

That concern becomes especially important as we approach systems that can improve themselves and future versions of themselves, often called recursive self-improvement. As the process of building AI becomes more automated, the pace of AI progress could accelerate rapidly. This moment calls for extreme care.

I largely agree with Professor Bengio. Although I’ll say two instead of three—I believe there are two ways that AI progress could go very badly that we have to avoid.

First, we could lose control of the future to AI. The risk is that it moves so fast that people can no longer follow what’s happening or intervene when needed. This would obviously be terrible.

The industry must not accept too much technological risk just because the benefits are too great and that they feel too important to slow down. Beating companies in a competitive pace is not a reason to make rash decisions. Nor do we believe we are locked in a race where we are unable to do that. We have unilaterally slowed down in the past. We will do so in the future. We do not want to build systems—we think it’s important that everyone avoids building systems—where we cannot make the alignment, monitorability, and safety guarantees that we must.

We need to understand what these systems are doing and have strong evidence that they will do what people intend, even as they get very, very smart. Actually especially as they get very very smart. It doesn’t matter whether people put the risk of catastrophe at 10%, or 1%, or 12%, or .1%. None of these levels are remotely acceptable. And we should not train models that we cannot make an extremely strong case that we will be able to keep under human control.

So that’s one way things can go wrong. In the other direction, these systems could concentrate too much power in too few hands. No one person or company or country should be able to use the most powerful AI models to impose their worldview on everyone else. A company or country that believes only it can be trusted with this technology can use that belief to justify almost anything else. We have to reject that logic, even when it’s convenient for any one actor.

I believe there is a pragmatic path through both of these. At OpenAI, we approach these questions with a clear goal: AI should give people more power over their own lives. More freedom to live lives the way they want. More ability to solve problems, big or small, and to improve their communities. We don’t want to fall into the trap of blind optimism. We also don’t want to fall into the trap of doomerism either. Getting pulled into either extreme will not help us successfully figure out the challenges in front of us, especially at a time when the world and its people face such enormous challenges that this technology can help solve. So we try to walk the middle path between these two poles.

For us, that means three principles.

First, as AI becomes more capable, people must remain at the center of AI decision-making. Alignment is not an abstract research question. It is the work of ensuring that these systems reliably remain under human control, reflect human values, and help people guide the next stages of development. We are not trying to, and must not, automate human judgment, or human values.

Second, the benefits of scientific progress and economic growth must be by people and for people. AI should help researchers make discoveries, doctors treat patients, teachers teach students, entrepreneurs start companies, communities solve problems that felt out of reach, and much more. The continuous story of human progress is not that tools replace human agency. It is that the right tools make people more capable, and I believe this is going to go much further than we believe possible.

Third, this technology must empower people individually. A great future will come from people realizing their potential and building value for themselves, their communities, their countries, and the broader world. We might be one of the builders of this technology, but we are not the heroes of this story. Our role is to enable people all over the world and to trust in the magic of humanity’s skill and faculties.

We now have models capable of discovering knowledge that we have never had before. Consider the progress we’ve seen in math. Three summers ago, our models were okay at grade-school math. Two summers ago, they were pretty good at high-school math competitions. Last summer, we reached a gold-medal level in the most prestigious international math competition. And just a few weeks ago this summer, one of our models solved one of the Millennium Prize Problems, the Navier-Stokes equations.

These equations are used for aircraft design, weather forecasting, and the study of blood flow. We are not solving math problems for their own sake, but to empower people to discover new knowledge and to use it to improve healthcare, raise standards of living, and expand everyone’s potential around the world. There remains so much to be discovered.

But it’s very important that companies not substitute for the democratic process.

If AI is to be democratic, the most important decisions cannot be made by labs in San Francisco alone. They must be shaped through democratic processes, and by governments accountable to the people that they serve.

At the international level, this will require cooperation. In our history, there have been times where countries who compete and don’t always like each other very much still come together for shared interests and the collective good in the face of a powerful new technology. We believe this must be one of those times.

We need a mechanism for complementary national and international frontier AI standards: standards for measuring capabilities, assessing risks, determining whether safeguards are sufficient, and preserving meaningful human oversight as systems become more autonomous.

We need common standards so countries can compare evidence, verify compliance, and have a shared language and understanding about what is happening.

We need accurate and speedy incident reporting, classification and reporting protocols, so the world can learn from failures before they become catastrophes.

And we need secure channels among governments, critical infrastructure operators, and technical experts to share emerging vulnerabilities and new threats.

Obviously, these standards should not lock in incumbents or favor one business model over another. They must support open and closed model developers, new entrants and established labs, national authority and international cooperation. Each government should decide how to incorporate standards into its own legal system. But we will all be better off if we can agree on what good evidence, good safeguards, and good oversight look like on the global stage.

We do not have all the answers and we are very open to any better ideas. We are ready to work with you all and try our hardest to figure out the path forward.

We are at a crossroads. One path leads to a world where power is concentrated, decisions are opaque, and people feel that the most important technology of their lifetime is something being done to them. The other path leads to a world where AI works for people because people, through democratic institutions, help decide how it should develop and guide it; where scientific progress improves real lives; where more people can participate in the future; and where this technology continues to give individuals and communities greater power to live life as they choose. This is a future of realized potential, excitement, and wonder.

And it is the future we believe is worth building. Thank you very much.

- [Global Affairs](https://openai.com/news/?tags=global-affairs)

## Author

OpenAI

## Keep reading

[View all](https://openai.com/news/)

OpenAI extends cyber access to Ukraine for civilian defense — cover

[OpenAI extends cyber access to Ukraine for civilian defense

Global AffairsSep 23, 2026](https://openai.com/index/openai-extends-cyber-access-to-ukraine-for-civilian-defense/)

Grab and OpenAI bring practical AI skills to Southeast Asia — cover

[Grab and OpenAI bring practical AI skills to Southeast Asia

Global AffairsSep 23, 2026](https://openai.com/index/grab-openai-ai-skills-southeast-asia/)

Priorities and principles for effective third party assessments cover

[Priorities and principles for effective third party assessments

SafetySep 22, 2026](https://openai.com/index/priorities-principles-third-party-assessments/)

# Readme

This repository contains mathematical manuscripts and supporting proof artifacts produced by an internal OpenAI model.

As part of model development, we evaluate our models on open research problems. We expanded these evaluations after performance on our existing mathematical evaluations saturated. Some outputs build upon earlier results produced by the models.

This collection includes results at different stages of verification. Not all have accompanying Lean formalizations. We will continue to update this repository with Lean formalizations as we obtain them.

Some of the unformalized results could have issues. We will endeavor to fix any such issues quickly.
We are also exploring community-hosted repositories for these materials.

## Navigating the collection

The current catalogue contains 722 manuscripts organized into 372 families. A family groups related papers, which may include a principal result, companion arguments, consequences, or alternative proofs. Each family is classified by mathematical discipline.

- Start with the [overview](https://github.com/openai/math/blob/main/overview.pdf) for descriptions of the families.
- Use the [manuscript map](https://github.com/openai/math/blob/main/CONTENTS.md) to find individual papers and their supporting materials.
- The [`preprints/`](https://github.com/openai/math/blob/main/preprints) directory contains PDFs, source files, and manuscript-specific citation and build instructions.
- The [Lean library](https://github.com/openai/math/blob/main/lean/README.md) and [formalization catalogue](https://github.com/openai/math/blob/main/lean/formalization.yaml) describe the available formal proofs, their associated papers, and verification configurations. See the [Comparator instructions](https://github.com/openai/math/blob/main/lean/ComparatorChallenges/README.md) for additional checking instructions. Many, but not all, of the manuscripts have been formalized.

### Reasoning summaries

We are also releasing abridged summaries of the model's reasoning, covering the following results:

| Family | Subject |
| --- | --- |
| 007 | [Ordinary two-point correlations of multiplicative functions](https://github.com/openai/math/blob/main/reasoning_traces/ordinary-two-point-correlations.pdf) |
| 017 | [The irrationality exponent of π](https://github.com/openai/math/blob/main/reasoning_traces/irrationality-exponent-of-pi.pdf) |
| 087 | [Symmetric and general Mahler conjectures](https://github.com/openai/math/blob/main/reasoning_traces/symmetric-and-general-mahler-conjectures.pdf) |
| 102 | [Ordinary NP-hardness at the basic semidefinite threshold](https://github.com/openai/math/blob/main/reasoning_traces/basic-semidefinite-threshold-np-hardness.pdf) |
| 159 | [Quasipolynomial bounds for arithmetic progressions](https://github.com/openai/math/blob/main/reasoning_traces/quasipolynomial-arithmetic-progressions.pdf) |
| 197 | [Kaplansky's direct-finiteness conjecture in characteristic two](https://github.com/openai/math/blob/main/reasoning_traces/kaplansky-direct-finiteness-characteristic-two.pdf) |
| 221 | [The Mézard–Parisi formula for diluted spin glasses](https://github.com/openai/math/blob/main/reasoning_traces/mezard-parisi-formula.pdf) |
| 271 | [Spontaneous magnetization in the quantum Heisenberg ferromagnet](https://github.com/openai/math/blob/main/reasoning_traces/spontaneous-magnetization-quantum-heisenberg-ferromagnet.pdf) |
| 287 | [Isomorphism of free group factors](https://github.com/openai/math/blob/main/reasoning_traces/free-group-factor-isomorphism.pdf) |
| 362 | [The three-dimensional relativistic Vlasov–Maxwell system](https://github.com/openai/math/blob/main/reasoning_traces/relativistic-vlasov-maxwell.pdf) |

## How the results were produced

The vast majority of results were obtained with the same procedure using an unreleased internal OpenAI model. On average, each result used three hours of ChatGPT Pro thinking compute with that model. Over the course of the evaluation, the model was posed approximately 4,000 problems. Aggregating the output into result families and manuscripts and requiring an appropriate level of significance led to the catalog outlined above.

Exceptions to this fixed procedure include work on a zero-free region for the Riemann zeta function and proof of the Hodge Conjecture for CM abelian varieties. Additionally, the writeup for the Re(s) > 11/12 zero-free region for the Riemann zeta function was human edited for readability.

## Versions and citations

We will preserve the public release history of this collection. Corrections and revisions will be recorded as new versions, with previously released versions remaining accessible.

To cite the individual manuscript, use the BibTeX block in its directory.

Interpretation history

• 2026-10-10T05:30:38Z
  grounded: converges/high — OpenAI's Millennium program is a live, high-stakes stress test of Scott's verification-loop and proof-carrying frameworks: it ships Lean-formalized artifacts (7
• 2026-10-10T05:18:27Z
  New Scientist article alleges a specific translation error in the Lean formalization of the Navier-Stokes proof — a concrete, technical challenge to the core artifact rather than process complaints. This sharpens the validity dispute from attribution/process to a checkable mathematical claim, but the error remains unconfirmed; independent kernel runs and expert verdicts are still pending. The case remains a live, multi-gate test of claim-bounded verification with artifacts shipped but validity single-sourced and now directly contested.
• 2026-10-10T01:44:12Z
  evidence attached: hn.story.50026734 — New Scientist article alleges a critical translation error in OpenAI's Navier-Stokes proof, directly challenging the claimed Millennium Prize breakthrough.
• 2026-10-10T00:28:12Z
  Buckmaster's direct commentary adds an independent expert voice to the attribution dispute, confirming the controversy is live and contested by the principals. Expert sensemaking (Aaronson's 'Mathocalypse') has gone cross-platform but produced no validity verdicts; the 722-manuscript artifact release remains the standing fact, with mathematical validity still single-sourced. Measured heat is low (0.17 pts/h) but magnitude-valve spread across 4 platforms and live gates (kernel runs, AGMAI, Clay, Bel release) justify medium attention.
• 2026-10-09T19:58:38Z
  evidence attached: reddit.post.1x1ri80 — Buckmaster (co-author of the cited Navier-Stokes program) commenting on OpenAI's math findings — independent expert voice bearing on the controversy.
• 2026-10-07T22:49:48Z
  The Aaronson 'Mathocalypse' signal crossed to HN at scale (150/157 on the same post already priced via Reddit), turning expert sensemaking of the 722 from a math-internal mobilization into a cross-platform public phenomenon; early HN impressions (manuscripts extremely hard to parse, many results reading as incremental) are the first texture on how that engagement is actually going and temper expectations of fast verdicts. No decisive gate moved — kernel runs, expert conclusions, and AGMAI output all remain pending — so this is second-platform confirmation of a fact flagged an hour ago, not new material, and the 43 pts/h uptick is that HN thread's burst within a still-cooling consolidation tail.
• 2026-10-07T22:34:02Z
  evidence attached: hn.story.49997718 — shared external link with case evidence
• 2026-10-07T21:33:20Z
  First leading indicator on a named decisive gate has arrived: the 'Mathocalypse' post relays Scott Aaronson's blog reporting that the CS theory community (Simons Institute, UT Austin, elsewhere) is rushing to pore over and explain the 722 manuscripts — the case shifts from 'artifacts shipped, no independent scrutiny yet' to 'public expert sensemaking underway,' though no validity verdicts exist. Engagement keeps cooling (~14 pts/h vs 236 peak, momentum cooling) on a spread tail of the delivered Oct 6 release, so heat holds medium on continued 4-platform periphery expansion, not novelty; material_change is flagged for the expert-mobilization fact, not the numbers.
• 2026-10-07T20:34:06Z
  evidence attached: reddit.post.1x07209 — A credible mathematician-insider's 'Mathocalypse' framing post landing amid the accelerating AI-math-breakthrough episode is relevant spread context for re-judging it.
• 2026-10-07T14:48:11Z
  The velocity spike is the tail of the already-delivered Oct 6 release — the canonical 722 post still accruing at top-decile (95.8 percentile, valve-eligible 4-platform spread) while the only new evidence is a 2-point duplicate HN relay of the WSJ piece — so heat holds medium on spread magnitude, not novelty, and the substance gates (kernel runs, expert verdicts, AGMAI output) still show no leading indicators. State is bookkept up from stale 'watching' to 'accelerating': the record already carries first-party artifacts plus independent press and consequential expert participation (Tao letter, 24 Fields medalists, AGMAI's Gowers/Hairer/Witten roster), and the program is structurally ongoing (promised repo updates, model-release ambition), while every validity verdict remains pending.
• 2026-10-07T14:27:38Z
  evidence attached: hn.story.49992442 — shared external link with case evidence
• 2026-10-07T11:35:17Z
  The Oct 6 release wave has crested and is consolidating: comment velocity collapsed ~3x (35→11/h), the current rate sits at a quarter of its 228/h peak, and the only new evidence is a duplicate low-traction HN relay of the already-anchored openai/math repo. Scott was already pushed the release, so heat cools high→medium pending the events that actually matter — independent kernel runs on the 722, expert verdicts on the zeta/Hodge exceptions, AGMAI output — none of which show a leading indicator yet.
• 2026-10-07T11:24:17Z
  evidence attached: hn.story.49991074 — shared external link with case evidence
• 2026-10-07T04:59:03Z
  The Oct 6 artifact release has crossed from announcement-plus-Wired into an accelerating four-platform wave (WSJ entry, HN traction building, velocity up ~7x in three hours, 95.6 peer percentile, magnitude-valve spread), and the retrieved first-party README pins its true scope: a versioned pipeline of 722 manuscripts across 372 families with a Lean-verified subset, the 'quasi-Riemann' preprint confirmed as a Re(s) > 11/12 zero-free region and the Hodge claim as the CM abelian-varieties case — partial results, not full conjectures. Meaning shift: OpenAI's math program is now a standing artifact-shipping operation whose live question is what survives independent kernel runs and expert review; validity remains single-sourced, but attention is now worth pricing at high.
• 2026-10-07T04:05:24Z
  anchor promoted to claim owner's artifact: openai.article.9387edc59e59c0945e6b4746 -> reddit.post.1wzio50 — The 722-manuscript openai/math release is OpenAI's own first-party artifact behind the Millennium-breakthrough reporting (including the Hodge CM and zeta exceptions) and outranks the Reddit relay as the episode's anchor.
• 2026-10-07T04:05:24Z
  evidence attached: reddit.post.1wzio50 — The 722-manuscript openai/math release is OpenAI's own first-party artifact behind the Millennium-breakthrough reporting (including the Hodge CM and zeta exceptions) and outranks the Reddit relay as the episode's anchor.
• 2026-10-07T03:33:14Z
  evidence attached: hn.story.49987546 — WSJ mainstream coverage of the same math-claims episode, widening it beyond OpenAI's own release.
• 2026-10-07T03:33:14Z
  evidence attached: hn.story.49985740 — Same episode with the strongest HN traction (40 points), independent spread evidence for the case.
• 2026-10-07T03:33:14Z
  evidence attached: hn.story.49985787 — First-party release of 722 math manuscripts is the artifact underlying OpenAI's math-breakthrough claims.
• 2026-10-07T01:01:51Z
  grounded: converges/high — OpenAI's Oct 6 move from announced-but-withheld claims to released artifacts (first-party math repo, quasi-Riemann preprint) extends — not merely repeats — its
• 2026-10-07T00:53:34Z
  The Oct 6 first-party OpenAI math repo and released quasi-Riemann preprint convert the 'substantial progress on a second Millennium problem' line from reported claim to artifact — the case is now an ongoing institutional program with released outputs, not a one-off announcement — while Wired's 'again' coverage moves the reception battle into mainstream press. Validity still rests solely on OpenAI's own attestation, so watching stands; heat rises to medium because this is genuine periphery expansion (new artifacts, new mainstream outlet, 15x velocity spike off a deep-tail baseline), not the September firestorm's stock.
• 2026-10-06T23:36:37Z
  evidence attached: hn.story.49985397 — OpenAI's released quasi-Riemann preprint is the concrete artifact behind the reported Riemann-adjacent Millennium-prize claim and materially contextualizes it.
• 2026-10-06T23:36:36Z
  evidence attached: reddit.post.1wzgjsh — First-party OpenAI math repo and post claiming progress on two more Millennium problems (Riemann, Hodge) materially escalates the claim from report to artifact.
• 2026-10-06T20:42:17Z
  evidence attached: reddit.post.1wz9066 — Mainstream Wired coverage of math-community backlash ('again') is direct evidence on expert reception, the key open question for the Millennium-claim episode.
• 2026-09-30T20:14:07Z
  The flagged 'physically vacuous initial conditions' critique (1wuac1n) dissolves on inspection: its own comment section establishes that the blowup regime's physical irrelevance is inherent to what the Clay problem asks (the equation, not real fluids), so the post is neither a validity challenge nor an independent verdict, and the peripheral critique line is exhausted. The case's meaning is unchanged — an owner-attested, council-gated, still-unverified claim in a deep engagement tail — and the peer-percentile rise (25→66) is an aging-cohort artifact, not expansion; magnitude_valve spread remains the September firestorm's stock (3.3 pts/h vs ~684 peak, cooling, zero-score newest objects).
• 2026-09-30T18:42:39Z
  evidence attached: reddit.post.1wuac1n — ML-community critique arguing the Navier-Stokes proof exploits physically vacuous initial conditions is material context for judging the breakthrough claim's significance.
• 2026-09-30T05:44:49Z
  The Sept 30 status check (4 pts, 8 comments) adds no substance to the claim but sharpens the case's posture: the Hodge rumor hasn't publicly advanced and the community reads releases as AGMAI-gated — independent validation is now structurally deferred through the advisory group rather than pending a near-term verdict. A single-comment 'proof deleted for safety' claim is unverified gossip. The case is in a council-gated holding pattern; heat stays low because the magnitude-valve spread remains the September firestorm's stock, not expansion (0.67 pts/h vs ~762 peak, percentile 25).
• 2026-09-30T05:26:12Z
  evidence attached: reddit.post.1wtvcai — Community status-check suggesting the Hodge rumor hasn't publicly advanced, with the top comment tying release to math-council (AGMAI) gating.
• 2026-09-28T14:07:18Z
  Altman's UN Security Council remarks upgrade the case from a reported claim to the owner's on-record institutional statement — 'reportedly' no longer describes it — but the evidence for the mathematics itself did not move: still no independent kernel verdict, no Clay/IAS response, and the provenance dispute is open. Heat stays low: the UN remarks drew no new engagement wave in the five days since delivery, and the multi-platform magnitude reading remains the old firestorm's stock, not current expansion.
• 2026-09-28T13:53:41Z
  anchor promoted to claim owner's artifact: echo.x.98de615ffc -> openai.article.9387edc59e59c0945e6b4746 — Altman's own UN remarks first-party name the claimed result — 'one of our models solved one of the Millennium Prize Problems, the Navier-Stokes equations' — upgrading the case from a reported claim to the owner's on-record statement.
• 2026-09-28T13:53:41Z
  evidence attached: openai.article.9387edc59e59c0945e6b4746 — Altman's own UN remarks first-party name the claimed result — 'one of our models solved one of the Millennium Prize Problems, the Navier-Stokes equations' — upgrading the case from a reported claim to the owner's on-record statement.
• 2026-09-25T21:52:53Z
  All five velocity-spike triggers trace to a single already-priced object — the Opus 5.5/Bel-timeline rumor post (241→697 pts) — whose upvote tail is engagement, not substance; every other object in the firestorm's footprint is flat (Tao thread 1242/1213, advisory-group 77/67, Aaronson 637/269) and flow is ~0.1% of peak with zero comments/h. The case's meaning is unchanged — an unverified company claim with no independent mathematical validation — so it cools to low heat and stays watching; despite the magnitude-valve spread reading, the multi-platform footprint is the earlier firestorm's stock, not current expansion.
• 2026-09-24T05:02:18Z
  grounded: converges/high — OpenAI has institutionally arrived where Scott already argued: pairing an unverified Lean artifact with an independent advisory group on review standards is cla
• 2026-09-24T04:53:55Z
  The episode has entered its tail: velocity sits ~2% of peak and the newest attachment (Opus 5.5/Astra timeline pressure bringing 'Bel' closer to release) is release-cadence gossip from an unverified rumor image, unrelated to whether the proofs hold — the same rumor motifs (Hodge/BSD, sitting on results) recirculating in the same communities rather than new implementations, venues, or validation artifacts. The multi-platform spread reading reflects the earlier firestorm's footprint, not current expansion, so heat cools to medium; the substance is unchanged — company claims with no independent mathematical validation — so state stays watching.
• 2026-09-24T04:28:12Z
  evidence attached: reddit.post.1woojll — High-engagement spread (241/72) of the 'Bel'/Navier–Stokes episode and Astra timeline pressure, though sourced only as an unverified rumor image.
• 2026-09-21T22:42:10Z
  The retrieved OpenAI announcement converts the 100-problem portfolio and advisory-group rumors into attributable company claims, with a concrete, independently structured review-and-communication initiative—not independent acceptance of the mathematics. This institutional development, renewed cross-platform spread and fast-growing portfolio discussion warrant high attention while the mathematical hypothesis remains uncorroborated.
• 2026-09-21T22:23:12Z
  evidence attached: reddit.post.1wmqgox — This insider-adjacent report adds weak secondary evidence that OpenAI may have achieved substantive internal mathematics results, but it remains unverified.
• 2026-09-21T22:23:12Z
  evidence attached: openai.article.a00103923648a50b5a7d7a52 — shared external link with case evidence
• 2026-09-21T19:37:27Z
  The latest discussion broadens the narrative from one disputed proof to a claimed portfolio of 100 solved problems and a possible advisory structure, without supplying the problems or validation artifacts. Combined with the case’s substantial cross-platform reach, this warrants renewed attention, but not promotion of the mathematical hypothesis or treatment as a verified capability advance.
• 2026-09-21T19:22:48Z
  evidence attached: reddit.post.1wml775 — shared external link with case evidence
• 2026-09-21T18:22:52Z
  The advisory-group attachment supplies only a title and website link; it establishes neither OpenAI ownership nor a connection to validating the claimed proof, contrary to the attachment rationale. Despite substantial historical cross-platform reach, the current additions show repetitive discussion and an unverified institutional lead rather than renewed broad spread or technical progress.
• 2026-09-21T18:21:59Z
  evidence attached: hn.story.49790389 — OpenAI's new mathematics advisory group materially contextualizes its broader push toward AI-assisted mathematical research.
• 2026-09-18T21:08:40Z
  The latest attachment recirculates the existing mathematical-community controversy without article text or new technical evidence. It neither validates nor refutes the reported proof, leaving this a verification case rather than an established research-agent capability advance.
• 2026-09-18T20:22:41Z
  evidence attached: reddit.post.1wk0xx0 — shared external link with case evidence
• 2026-09-18T12:37:35Z
  The latest HN attachment repeats the Hodge Conjecture proximity-to-solution rumor with no article text, proof artifact, or independent technical assessment. Cross-platform repetition does not corroborate mathematical progress; this remains an unresolved verification case rather than a demonstrated research-agent capability advance.
• 2026-09-18T12:22:38Z
  evidence attached: hn.story.49753020 — This is additional coverage of OpenAI's reported progress toward a Millennium Prize problem, though it remains an unverified secondary report.
• 2026-09-17T17:51:48Z
  The new Hodge Conjecture post repeats an already circulating proximity-to-solution rumor without a primary announcement, proof artifact, or independent technical assessment. It does not establish another breakthrough or strengthen the Navier–Stokes claim; the case remains a verification question rather than a demonstrated capability advance.
• 2026-09-17T17:26:01Z
  evidence attached: reddit.post.1wj05xi — The Hodge Conjecture claim directly bears on the open case tracking OpenAI's reported progress on a Millennium Prize problem, though it is not independent corroboration.
• 2026-09-16T15:40:14Z
  The latest attachment supplies a commentary headline and a general historical analogy about computer-assisted mathematics, not article text or a technical assessment of the claimed proof. It adds controversy coverage without changing the evidence for a breakthrough or warranting renewed urgency.
• 2026-09-16T15:22:38Z
  evidence attached: hn.story.49728262 — The article provides additional coverage and context for the already-open OpenAI Millennium Prize mathematics claim, though not independent proof.
• 2026-09-16T05:25:10Z
  The latest attachment repeats the Aaronson-attributed withholding rumor, now mentioning theoretical computer science; it does not identify another Millennium result or independently validate Navier–Stokes. This is amplification of the publication-backlash narrative, not new evidence of mathematical capability.
• 2026-09-16T05:21:29Z
  evidence attached: reddit.post.1whnuep — This is additional public reporting of alleged OpenAI progress on another Millennium problem, though it remains rumor rather than independent validation.
• 2026-09-16T04:22:11Z
  The latest attachment adds only an 'existential crisis' headline, with no article text, technical finding, or independent verification. It extends the controversy's coverage without strengthening or contradicting the mathematical breakthrough hypothesis.
• 2026-09-16T04:21:50Z
  evidence attached: hn.story.49721979 — Independent coverage of OpenAI's reported mathematics breakthrough directly bears on the open claim about substantive progress on a Millennium Prize problem.
• 2026-09-15T22:10:37Z
  The new attachments add a reported publication-strategy consequence, not mathematical validation: the Aaronson quote is secondhand, and the HN submission supplies no new first-party text or proof-checking result. Neither establishes the breakthrough or warrants renewed urgency.
• 2026-09-15T21:23:10Z
  evidence attached: reddit.post.1whbpqz — Aaronson’s commentary materially contextualizes the open case by reporting that labs may be withholding major AI-generated mathematics claims after backlash over the Navier–Stokes episode.
• 2026-09-15T21:23:10Z
  evidence attached: hn.story.49718106 — OpenAI’s Navier–Stokes page is direct first-party evidence bearing on the open case about its claimed Millennium Prize breakthrough.
• 2026-09-13T09:21:30Z
  The latest post repackages the existing credit dispute and Fields Medalist involvement without adding provenance records or mathematical validation. The breakthrough hypothesis remains unresolved; renewed controversy does not make it more credible or more urgent.
• 2026-09-13T09:21:20Z
  evidence attached: reddit.post.1wf2aj2 — Adds public dispute and attribution context to the developing OpenAI mathematical-breakthrough claim, though it is not independent proof validation.
• 2026-09-12T11:25:23Z
  The latest attachments extend the controversy into safety commentary but provide neither article text nor case-specific mathematical evidence. Repeated claims of capability and community division do not establish a breakthrough or a refutation, so the case remains unresolved without renewed urgency.
• 2026-09-12T11:21:37Z
  evidence attached: hn.story.49670951 — This is relevant follow-up coverage of the disputed OpenAI mathematics claim, potentially bearing on whether the reported Navier–Stokes progress is substantive.
• 2026-09-12T11:21:37Z
  evidence attached: hn.story.49671043 — Independent coverage adds context to the open case about OpenAI's reported Millennium Prize mathematics breakthrough and its safety implications.
• 2026-09-12T10:25:01Z
  The newly attached headline adds another expression of mathematician unease, but no article text, technical objection, or independent verification. This remains amplification of an unresolved claim, not substantive corroboration or disproof.
• 2026-09-12T10:21:49Z
  evidence attached: hn.story.49670826 — Independent reporting and mathematician skepticism materially contextualize OpenAI's claimed Millennium Prize breakthrough.
• 2026-09-12T07:25:09Z
  The latest coverage repeats the existing dispute; commenters frame the concern as conceptual understanding rather than opposition to AI, but provide no new case-specific verification or technical objection. Neither the breakthrough claim nor its alleged failure gains substantive support.
• 2026-09-12T07:22:05Z
  evidence attached: reddit.post.1we53en — The linked reporting appears to provide material context on the escalating dispute around OpenAI's claimed mathematical breakthrough.
• 2026-09-12T00:28:04Z
  The new post reports an AI-assisted visualization of the claimed construction, not an independent mathematical reproduction or verification. It adds an explanatory derivative without changing confidence in the breakthrough claim.
• 2026-09-12T00:22:13Z
  evidence attached: reddit.post.1wdwhyi — The released visualization is a usable artifact built from OpenAI's claimed mathematics result, but it does not independently validate the proof.
• 2026-09-11T20:23:16Z
  The new attachment amplifies the existing mathematics-community critique with a headline claiming 24 Fields Medal signatories, but supplies neither the letter’s substance nor a technical finding about the Navier–Stokes proof. This remains a verification-dependent breakthrough claim, not a corroborated result or a demonstrated mathematical failure.
• 2026-09-11T20:22:00Z
  evidence attached: reddit.post.1wdqjxa — shared external link with case evidence
• 2026-09-11T19:36:30Z
  The Tao-linked discussion broadens the critique of AI mathematics incentives and methods, but the supplied evidence contains neither Tao’s substantive argument nor a technical finding about this proof. It does not independently corroborate or refute the claimed breakthrough; controversy remains ahead of verification.
• 2026-09-11T19:22:13Z
  evidence attached: hn.story.49662371 — The prominent Tao-linked critique materially contextualizes scrutiny of OpenAI’s AI-assisted mathematics claims and methods.
• 2026-09-11T18:46:43Z
  The latest coverage adds broad objections to AI companies’ methods, not a specific mathematical objection or verification result for this proof. The supplied comments suggest the controversy is industry-wide, so it should not be counted as independent counterevidence to OpenAI’s Navier–Stokes claim.
• 2026-09-11T18:22:46Z
  evidence attached: hn.story.49662698 — Mathematicians' reported objections materially contextualize scrutiny of OpenAI's claimed AI-assisted mathematical breakthrough.
• 2026-09-11T17:37:45Z
  The new post supplies archive and repository-history pointers alleging changes to the announcement and formalization, but no actual diff establishing a correction, retreat, or proof repair. This adds an audit lead rather than a demonstrated change in the mathematical claim’s credibility.
• 2026-09-11T17:23:29Z
  evidence attached: hn.story.49661928 — Changes to OpenAI's Navier–Stokes announcement and Lean repository materially bear on the credibility and evolution of its mathematics claim.
• 2026-09-11T11:31:04Z
  Latest engagement/comment refreshes are pure recirculation of already-known provenance disputes and Bel speculation; no new verification result, kernel acceptance, or documented finding since last look. Cooling heat given sustained repetitive amplification pattern.
• 2026-09-11T10:30:53Z
  Refreshed comments recycle provenance arguments and speculation about Bel’s deployment, without establishing misuse, a release, or a new mathematical result. The clean-tree Lean run remains an unresolved verification lead; neither kernel acceptance nor correspondence to the Millennium problem is established by the supplied excerpt.
• 2026-09-11T09:33:24Z
  The refreshed provenance discussion and model-release speculation add no substantive evidence; neither establishes misuse, a new result, or an access change. The reported clean-tree Lean run remains an unresolved verification lead, with kernel acceptance and correspondence to the Millennium problem still unestablished.
• 2026-09-11T08:35:25Z
  The refreshed criticism of the Lean-run post concerns presentation, not a demonstrated verification failure; it neither validates nor refutes the reported proof. Other discussion repeats known research targets and provenance arguments, leaving the concrete verification lead unresolved without changing the broader research claim.
• 2026-09-11T07:30:48Z
  Refreshed discussion repeats provenance arguments, release speculation, and broader AI reactions without adding a research result or technical assessment. The clean-tree Lean run remains an unconfirmed verification lead, not evidence of kernel acceptance or correspondence to the Millennium problem; routine discussion no longer warrants hourly review.
• 2026-09-11T06:27:34Z
  Refreshed comments question the kernel-run post’s presentation but provide neither verification results nor a technical rebuttal; the clean-tree run remains a concrete, unconfirmed lead. The wider discussion adds no new research result, access change, or documented provenance finding.
• 2026-09-11T05:24:19Z
  The reported clean-tree Lean runs introduce a concrete verification lead rather than more breakthrough speculation, but the supplied excerpt establishes neither successful kernel acceptance nor inspectable logs. This warrants checking the artifacts while keeping formal correctness, correspondence to the Millennium problem, and research provenance separate.
• 2026-09-11T05:22:48Z
  evidence attached: reddit.post.1wd6tf6 — The reported kernel runs add reproducibility evidence for OpenAI’s existing mathematical-breakthrough episode, but the truncated account does not establish successful verification or that the exported Lean theorems substantiate the manuscript’s full claim.
• 2026-09-11T05:22:33Z
  evidence attached: hn.story.49653804 — It repeats an unverified claim that a new AI solved a Millennium Prize problem, but offers no independent evidence beyond discussion.
• 2026-09-11T04:28:33Z
  The new HN attachment recirculates the already-covered NYT dispute, while refreshed comments speculate about Bel’s scale and availability without establishing a release or new research result. Neither adds independent mathematical assessment or documented provenance findings; the reported research campaign remains consequential but unresolved.
• 2026-09-11T04:22:26Z
  evidence attached: hn.story.49653202 — shared external link with case evidence
• 2026-09-11T03:24:11Z
  The new posts extrapolate from the reported research campaign to a hypothetical Bel release and repeat provenance suspicions; neither supplies a release announcement, additional verified result, or documented misuse. The consequential agent-research claim remains unresolved, with mathematical validity, prize-condition fit, and provenance requiring separate assessment.
• 2026-09-11T03:22:36Z
  evidence attached: reddit.post.1wd3gj5 — This discussion bears on the credibility and expected significance of OpenAI's reported Millennium-problem results but provides no independent validation.
• 2026-09-11T03:22:36Z
  evidence attached: reddit.post.1wd406k — The linked report adds context about allegations that OpenAI's reported mathematics breakthroughs may rely on access to unpublished external work.
• 2026-09-11T02:23:02Z
  The new report names Riemann and P versus NP as research targets, not breakthroughs; a commenter says these attempts were already disclosed, but that account is not independently checked here. This adds specificity to the reported research campaign without strengthening evidence for achieved capability or resolving the existing mathematical and provenance questions.
• 2026-09-11T01:22:41Z
  evidence attached: reddit.post.1wd1xlm — This directly extends the existing report that OpenAI is applying its internal model to major unsolved mathematics problems.
• 2026-09-11T00:29:33Z
  The refreshed discussion adds no documented provenance finding or independent mathematical assessment; arguments about prior work and additional-problem rumors remain amplification. The attributed research campaign remains unresolved, with proof validity, Millennium-condition fit, and provenance requiring separate evaluation.
• 2026-09-10T22:39:19Z
  Refreshed comments continue the provenance dispute without supplying records, a proof comparison, or independent mathematical assessment. This is repetitive amplification of the already-surfaced research campaign, not evidence resolving validity, originality, or fit to the Millennium requirements.
• 2026-09-10T21:42:02Z
  The refreshed discussion adds no documented provenance finding or independent mathematical assessment; repeated claims about prior work and further Millennium problems do not corroborate the research result. The attributed broader research campaign remains consequential but unresolved, with proof validity, prize-condition fit, and provenance requiring separate evaluation.
• 2026-09-10T20:55:26Z
  The refreshed discussion repeats provenance arguments and further-problem rumors without adding a proof comparison, checkable artifact, or independent mathematical assessment. The attributed broader research-campaign claim remains consequential but unresolved; this delta does not strengthen or rebut it.
• 2026-09-10T19:36:33Z
  The refreshed discussion adds a specific but unverified account of prior mathematical work, not a proof comparison or evidence of appropriation. It does not change the attributed broader research-campaign claim; mathematical validity, Millennium-condition fit, and research provenance remain separate unresolved questions.
• 2026-09-10T19:02:27Z
  NYT-linked testimony shifts the additional-Millennium-problem story from anonymous rumor to an attributed OpenAI progress claim, suggesting a broader research campaign without establishing repeatable capability or a verified result. The reported denial of recent Codex-data influence is a party's position, not a provenance audit; refreshed discussion supplies neither mathematical validation nor evidence resolving the allegations.
• 2026-09-10T17:25:55Z
  evidence attached: reddit.post.1wcnyay — The linked reporting provides additional context for the open case about OpenAI’s claimed mathematical breakthrough, though it does not independently verify a solution.
• 2026-09-10T17:25:55Z
  evidence attached: reddit.post.1wcoblk — This is low-credibility rumor coverage of the same reported OpenAI or Anthropic Millennium-problem breakthrough, adding no primary evidence.
• 2026-09-10T17:25:55Z
  evidence attached: reddit.post.1wcobum — Independent discussion of alleged work appropriation materially increases scrutiny of the breakthrough's provenance and validation.
• 2026-09-10T17:25:54Z
  evidence attached: reddit.post.1wcp6hh — The discussion adds material scrutiny and provenance concerns around OpenAI's reported mathematical breakthrough.
• 2026-09-10T17:25:54Z
  evidence attached: hn.story.49646478 — shared external link with case evidence
• 2026-09-10T16:23:23Z
  evidence attached: reddit.post.1wcnfxh — Provides independent coverage of OpenAI’s claim that it has made progress on another Millennium Prize problem.
• 2026-09-10T13:32:38Z
  The refreshed discussion adds neither a checkable research result nor records supporting or rebutting the provenance allegation; speculation about additional problems remains amplification, not corroboration. The reported agent-produced solution claim still warrants tracking, with mathematical validity, prize-condition fit, and provenance assessed separately.
• 2026-09-10T12:27:24Z
  The refreshed discussion remains speculative amplification, adding neither attributable mathematics results nor documentation supporting or rebutting the provenance allegation. The announced research claim remains worth tracking, but proof validity, originality, and compliance with the Millennium problem’s conditions are still separate unresolved questions.
• 2026-09-10T11:30:26Z
  The refreshed comments add reactions to further-problem rumors and skepticism about the provenance allegation, not attributable results or a documented rebuttal. Neither changes the reported agent-research claim’s evidentiary status: mathematical validity, originality, and fit to the Millennium requirements remain separately unresolved.
• 2026-09-10T10:27:12Z
  The new attachments broaden the speculation to additional Millennium problems and a physics connection without supplying attributable results, proof artifacts, or independent assessment. This is narrative expansion rather than corroboration; the reported Navier–Stokes claim’s validity, originality, and fit to the prize requirements remain unresolved.
• 2026-09-10T10:22:30Z
  evidence attached: reddit.post.1wce3o4 — This is additional, high-engagement coverage of the existing alleged Millennium Prize breakthroughs, but the tweet/image provides no independent corroboration.
• 2026-09-10T10:22:30Z
  evidence attached: reddit.post.1wces4x — This speculative post adds an alleged connection between OpenAI's mathematics claim and Navier–Stokes, so it bears on verification of the existing episode but provides weak evidence.
• 2026-09-10T09:25:41Z
  The refreshed comments contest the provenance allegation but supply neither supporting records nor a documented rebuttal; this remains repetitive discussion, not a change in the evidence. Mathematical validity, originality, and whether the claimed forced-condition result satisfies the Millennium problem still require separate assessment.
• 2026-09-10T08:27:10Z
  The refreshed comments shift toward input privacy and timestamping research, but provide no evidence that conversations were used or a proof appropriated. They leave the reported agent-produced result’s validity, originality, and fit to the Millennium problem unresolved rather than independently corroborated.
• 2026-09-10T07:40:04Z
  Comment thread on the misattribution allegation continues to circulate without new documentation—no records, no named party confirmations, and no independent assessment of the Navier–Stokes proof itself. Nothing here changes the case's substance since the last look; treating as repetitive amplification.
• 2026-09-10T06:33:39Z
  The refreshed discussion adds hearsay about researcher outreach and conflicting accounts of training-data use, not records establishing appropriation or independent assessment of the proof. The agent-research claim remains unresolved; provenance allegations should remain separate from mathematical validity and whether the stated conditions satisfy the Millennium problem.
• 2026-09-10T05:23:14Z
  The refreshed comments suggest the provenance dispute may concern alleged use of a mathematician’s conversations rather than appropriation of an existing proof, but supply no records establishing either account. This sharpens the distinction between training-data provenance and mathematical originality without changing confidence in the claimed result.
• 2026-09-10T04:23:33Z
  The new headline raises a provenance allegation but supplies no attributable argument or prior-proof comparison, so it does not establish misconduct or weaken the mathematics on its merits. The case remains an announced agent-research claim awaiting independent assessment of originality, proof validity, and fit to the Millennium problem.
• 2026-09-10T04:22:13Z
  evidence attached: hn.story.49638353 — This allegation of another potentially misattributed proof bears directly on evaluating OpenAI’s AI-assisted mathematics claims, though the linked evidence is presently thin.
• 2026-09-10T02:33:06Z
  The additional reporting characterizes the claimed result as a $15M agent-research campaign, adding an economics angle without establishing reproducible capability or mathematical acceptance. Its stronger 'solved' wording does not resolve whether the stated forced conditions meet the Millennium problem’s requirements; substantive progress remains unvalidated.
• 2026-09-10T02:22:28Z
  evidence attached: hn.story.49637103 — Independent reporting specifically connects OpenAI's claimed $15M AI effort to a Navier–Stokes solution, materially updating the open mathematics episode.
• 2026-09-09T23:35:26Z
  The refreshed discussion adds speculation about AI-generated proofs, not evidence that the reported result meets the Millennium problem’s requirements. The reconstructed announcement remains testimony to a solution claim under stated forced conditions; neither independent validation nor a newly verified proof artifact is supplied.
• 2026-09-09T23:29:04Z
  grounded: converges/medium — OpenAI’s reported pairing of agent-produced research with a released Lean formalization converges with Scott’s emphasis on independently checkable AI outputs, c
• 2026-09-09T23:24:41Z
  origin walked (codex/luna, conf 0.94): anchor hn.story.49635362 -> echo.x.98de615ffc by OpenAI
• 2026-09-09T23:23:15Z
  case created — Nature’s reported claim warrants tracking with the related Altman reaction, but the supplied titles establish neither a solved problem nor a connection to the existing Navier–Stokes case.

Decision trace

• 10-10 20:31sensor_dirtycomment_update
• 10-10 17:04attention_communicatedNew Scientist reports a critical translation error in the Lean 4 formalization of OpenAI's claimed Navier–Stokes solution (family 001), potentially invalidating the machine-checked proof. The err
• 10-10 17:04attention_routePackage 20 (12:05) covered the Oct 6 artifact release; this translation-error allegation is a new, consequential development that changes the verification status of the flagship Millennium claim. Know
• 10-10 16:36attention_routePackage 20 (12:05) covered the Oct 6 artifact release; this translation-error allegation is a new, consequential development that changes the verification status of the flagship Millennium claim. Know
• 10-10 16:30attention_candidatematerial_reprice
• 10-10 16:30repriceNew Scientist article alleges a specific translation error in the Lean formalization of the Navier-Stokes proof — a concrete, technical challenge to the core artifact rather than process complaints. T
• 10-10 16:30groundOpenAI's Millennium program is a live, high-stakes stress test of Scott's verification-loop and proof-carrying frameworks: it ships Lean-formalized artifacts (722 manuscripts, quasi-RH, Hodg
• 10-10 12:47attention_routeThe editor compared this story and chose to keep watching.
• 10-10 12:44attention_candidateattach
• 10-10 12:44attachNew Scientist article alleges a critical translation error in OpenAI's Navier-Stokes proof, directly challenging the claimed Millennium Prize breakthrough.
• 10-10 12:44propose_attachNew Scientist article alleges a critical translation error in OpenAI's Navier-Stokes proof, directly challenging the claimed Millennium Prize breakthrough.
• 10-10 12:05attention_communicatedOpenAI's Oct 6 release moves the Millennium program from announced claims to a public, versioned repository (github.com/openai/math) containing 722 manuscripts across 372 families, a Lean library
• 10-10 12:05attention_routeArtifact release transforms the story from claim to inspectable corpus; first independent Lean-verified improvements appear; institutional resistance (AHM, Tao) organizes. Next briefing in ~6 hours bu
• 10-10 11:31attention_routeArtifact release transforms the story from claim to inspectable corpus; first independent Lean-verified improvements appear; institutional resistance (AHM, Tao) organizes. Next briefing in ~6.5 hours
• 10-10 11:28attention_candidatematerial_reprice
• 10-10 11:28repriceBuckmaster's direct commentary adds an independent expert voice to the attribution dispute, confirming the controversy is live and contested by the principals. Expert sensemaking (Aaronson's
• 10-10 07:07attention_routeThe editor compared this story and chose to keep watching.
• 10-10 06:58attention_candidateattach
• 10-10 06:58attachBuckmaster (co-author of the cited Navier-Stokes program) commenting on OpenAI's math findings — independent expert voice bearing on the controversy.
• 10-10 06:41propose_attachBuckmaster (co-author of the cited Navier-Stokes program) commenting on OpenAI's math findings — independent expert voice bearing on the controversy.
• 10-09 09:34sensor_dirtyvelocity_spike
• 10-09 02:41sensor_dirtyvelocity_spike
• 10-08 19:31sensor_dirtyvelocity_spike
• 10-08 12:21sensor_dirtyvelocity_spike
• 10-08 12:21sensor_dirtycomment_update
• 10-08 09:54attention_routeThe Oct 6 release got its heads-up at 16:38 Sydney yesterday and the case's 24-hour cooldown runs to ~16:38 today; the Aaronson sensemaking carries no verdict, so it anchors the 10:00 briefing. T
• 10-08 09:49repriceThe Aaronson 'Mathocalypse' signal crossed to HN at scale (150/157 on the same post already priced via Reddit), turning expert sensemaking of the 722 from a math-internal mobilization into a
• 10-08 09:34attention_candidateattach
• 10-08 09:34attachshared external link with case evidence
• 10-08 09:21propose_attachshared external link with case evidence
• 10-08 08:36attention_routeThe Oct 6 artifact release was delivered as a heads-up at 16:38 Sydney yesterday; the case's 24-hour cooldown runs to ~16:38 today and quiet hours bar a non-urgent interruption. The Aaronson post
• 10-08 08:33attention_candidatematerial_reprice
• 10-08 08:33repriceFirst leading indicator on a named decisive gate has arrived: the 'Mathocalypse' post relays Scott Aaronson's blog reporting that the CS theory community (Simons Institute, UT Austin, e
• 10-08 07:40attention_routeThe editor compared this story and chose to keep watching.
• 10-08 07:34attention_candidateattach
• 10-08 07:34attachA credible mathematician-insider's 'Mathocalypse' framing post landing amid the accelerating AI-math-breakthrough episode is relevant spread context for re-judging it.
• 10-08 07:34propose_attachA credible mathematician-insider's 'Mathocalypse' framing post landing amid the accelerating AI-math-breakthrough episode is relevant spread context for re-judging it.
• 10-08 05:23sensor_dirtyvelocity_spike
• 10-08 01:48repriceThe velocity spike is the tail of the already-delivered Oct 6 release — the canonical 722 post still accruing at top-decile (95.8 percentile, valve-eligible 4-platform spread) while the only new evide
• 10-08 01:33attention_routeThe editor compared this story and chose to keep watching.