Terence Tao says the methods discussed in Buckmaster and Alpöge’s reported AI-assisted mathematics program could extend to Navier–Stokes despite enormous technical difficulties, potentially opening a route toward resolving the regularity problem.

What is this?

Why it matters to Scott

Measured heat

How the heat travelled

Evidence (66) — ⭐ canonical anchor

September 8, 2026

[Research](https://openai.com/news/research/)[Publication](https://openai.com/research/index/publication/)

# On the Navier–Stokes Millennium Prize Problem

[Read the paper](https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf)[Link to Lean formalized proof](https://github.com/openai/NavierStokesAndEuler)

Loading…

Share

We’re sharing a solution to the Navier–Stokes existence and smoothness problem, one of the Millennium Prize Problems. This proof, produced by an internal OpenAI system, shows that the dynamics of the Navier-Stokes equations for fluid motion can develop a singularity in finite time. We’re sharing both a writeup of the proof and a formalization in Lean.

The [Millennium Prize Problems⁠(opens in a new window)](https://www.claymath.org/millennium-problems/) represent some of the deepest questions at the frontier of mathematics. The question of whether smooth three-dimensional fluid motion can break down has remained unresolved for roughly 90 years.

A major goal of our work is to empower scientists to advance research and technology that benefits all of humanity. To solve the Navier–Stokes problem, we used an internal model that is significantly more capable than GPT‑6 Astra. We believe it is important to inform the world about the pace of AI progress and what to expect from upcoming models.

## The problem

The Navier–Stokes equations use Newton’s second law of motion (“F=ma”) to describe how fluids move. Importantly, they treat a fluid as a continuous medium rather than tracking individual molecules. These equations are used for aircraft design, weather forecasting, and the study of blood flow.

A fundamental open question for these dynamical equations has been whether the continuum approximation of the fluid can break down. Specifically, can the Navier–Stokes equations for a three-dimensional incompressible fluid with constant density develop a “singularity,” even when the motion starts smoothly? Here, a singularity means the dynamics lead to speeds in the fluid growing without bound within a finite amount of time. The development of a singularity would have to happen despite the presence of viscosity, which tends to smooth out motion. Because a real fluid cannot move infinitely fast, this would mark a breakdown in how the equations model the fluid. To continue modeling the system, one would then need to track the behaviour of each particle individually.

The equations date to the nineteenth-century work of Claude-Louis Navier and George Gabriel Stokes. In 1934, Jean Leray proved that solutions exist in a generalized sense, but whether they always remain smooth became a central unanswered question. In 2000, the Clay Mathematics Institute named the Navier–Stokes existence and smoothness problem one of seven Millennium Prize Problems.

## The result

Our system produced an analytical proof and a Lean formalization that an initially smooth fluid at rest can develop a singularity in a finite time. The fluid has a smooth force applied to it, and its energy remains finite through the entire dynamics, from rest to the formation of the singularity. This resolves the Navier–Stokes Millennium Prize problem by establishing statement “C” (and also “D”) in the [official Millennium Prize formulation⁠(opens in a new window)](https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf).

The solution is a vortex, a spinning swirl of fluid, that spirals inward and gets increasingly elongated, like spaghetti. This central region shrinks while it speeds up in such a way that its energy still stays finite, as required by the laws of physics. The technical challenge is for the equations to develop the breakdown through the motion of the fluid itself, rather than, for example, us putting in an infinite force by hand. More mathematically, the terms in the Navier–Stokes equations that describe the motion—acceleration, pressure gradients, momentum transfer, viscosity—must both become *big* yet *cancel* in a precise way. This detailed balance leaves a smooth external force even as the velocity of the fluid grows without bound.

Diagram of a swirling vortex illustrating inward spiral and axial stretching.

*A snapshot of local incompressible motion. Orange marks faster angular rotation; teal marks slower rotation. Circulating speed also depends on radius. The trajectories show inward spiraling and axial stretching.*

## How we found the proof

Since August 28 we have been training a new internal model that has exhibited unprecedented performance in our benchmarks, including mathematics. This model’s training is ongoing and its performance continues to improve.

On Tuesday, September 1, we heard rumors that two Millennium Prize problems had been resolved. Inspired by these rumors and by the step change in performance of our internal model, we launched an effort to evaluate it on all open Millennium Prize problems and a few other high-impact problems.

We used a system of coordinating agents powered by our internal model. The agents had access to tools such as the ability to read from a cached version of the internet and the ability to run code. Agents were subdivided into groups with the ability to communicate within the group. The groups varied in size, and the group that produced the Navier–Stokes resolution involved on the order of 10,000 concurrent agents. At all times we maintained the same strict safeguards that we apply to all our frontier model evaluations, including monitoring and isolation.

For each problem, we prompted different groups of agents with different variants of the problem statement, covering all variants of the problem. For the Navier–Stokes problem, we suggested versions “A” and “B” (particular forms of the Navier–Stokes problem which would result in a proof) and versions “C” and “D” (which would result in a disproof) to separate groups of agents.

In addition to the full Millennium Prize problems, we asked our multiagent system to try a set of “easier” problems. One of these problems was a similar blowup question for the limit of the Navier–Stokes problem with the viscosity term removed. This is known as the regularity problem for the Euler equations, and our agents surprised us by resolving this question. The specific variant of the question that they resolved was the *unforced* version, where no external force is applied to the fluid. Nearly 100 agents worked together for approximately 50 hours to produce our Euler regularity disproof[1](https://openai.com/index/navier-stokes-solution/#citation-bottom-1).

Once we saw the Euler solution, we thought that Navier–Stokes was the most promising problem to work on. Thus, we decided to devote our resources to Navier–Stokes. To do so, we shifted agents away from the other Millennium Problems and prompted these agents with the Euler resolution. When a further trained version of our internal model became available over the course of the effort, we updated our agents to that model.

We encouraged different groups of agents to explore a diversity of approaches. After some time, we cross-pollinated the agent groups by using Codex to consolidate the most useful insights from each agent group. These follow-up prompts drew on the agents’ own intermediate results. The group that found the solution to Navier–Stokes was guided in such a way.

The agents arrived at their resolution on Saturday, September 5, about 88 hours after the first agents were launched. Lean formalization and verification took an additional 17 hours via GPT‑6 Astra.

Across all attempted problems, the agents sent 4.9 million messages and used about 300 billion output tokens. In the process of resolving the Navier–Stokes problem, the agents sent 2.7 million messages and used approximately 130 billion output tokens.

## Concurrent work

Our effort began on September 1st after hearing a rumor which we later realized was related to Levent Alpöge, an Anthropic employee, and Tristan Buckmaster, a math professor at NYU.[2](https://openai.com/index/navier-stokes-solution/#citation-bottom-2) After the completion of our full project and Lean verification (on September 6th), believing from the rumor they also had a solution of Navier–Stokes, we reached out to them to offer a concurrent release of our result and to recognize their priority in a joint announcement. At that point we found out that, using an internal Anthropic model, they had produced a resolution of the forced Euler problem. In these discussions we offered them visibility into all of the prompts we used and later to see the proof. We recognize the priority of their work on forced Euler and congratulate them on their remarkable mathematical achievement.

We (the researchers and the agents) did not see any of their work through any means until they released it publicly — in particular, no specific user data was accessed in order to solve this problem.

Following an investigation, we have confirmed that Buckmaster’s Codex prompts over the two months preceding this announcement and paper on September 8, 2026, could not have influenced the system in any way, including through training. The OpenAI internal model used for this result was developed through large-scale reinforcement learning on top of a previously pretrained model. Our proofs also differ significantly. In the Euler case, Alpöge and Buckmaster proved a result with external forcing, while OpenAI’s system proved a result without external forcing.

## Progress and responsibility

Our goal in releasing this result is to report on the substantial progress of our AI models. We do not intend to claim the Millennium Prize for this result.

This milestone represents substantial work by mathematicians and AI researchers. However, this is not a culmination, but rather a snapshot in time, of progress on AI development.

[We believe we are now in the next period of AI progress⁠](https://openai.com/index/research-acceleration-view-inside-openai/), and today’s results provide further evidence of this. We are focusing on understanding this model, and using what we learn to help us guide and pace how we pursue further advances in capability. One of our [key goals⁠](https://openai.com/index/built-to-benefit-everyone-our-plan/) is to build AI systems which are steerable, accountable, and connected to people, which may require more deliberate choices about the pace of progress, as we continue our mission to ensure AGI benefits all of humanity.

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

## Author

OpenAI

## Footnotes

1. 1

   [Read the Euler proof paper⁠(opens in a new window)](https://cdn.openai.com/pdf/315b36cd-ec98-4023-8342-93345194ece1/euler.pdf) · [Link to Lean formalized proof⁠(opens in a new window)](https://github.com/openai/NavierStokesAndEuler)
2. 2

   Update — September 10, 2026: We have updated “Concurrent work” with findings from our investigation into whether user inputs could have influenced this result.

## Keep reading

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

Mental Health Bench art card

[Introducing MentalHealthBench

PublicationSep 23, 2026](https://openai.com/index/introducing-mentalhealthbench/)

Introducing GPT-6 Sol and Luna — Art card

[Introducing GPT-6 Sol and Luna

ProductSep 22, 2026](https://openai.com/index/introducing-gpt-6-sol-and-luna/)

Our framework for reporting model misalignment — card image

[Our framework for reporting model misalignment

ResearchSep 16, 2026](https://openai.com/index/model-misalignment-reporting-framework/)

Interpretation history

• 2026-10-08T09:15:35Z
  grounded: converges/high — The case converges on three load-bearing Scott positions at once: (1) Mechanically Different Verifiers — the ArXiv 'Lost in Translation' critique is the first c
• 2026-10-08T08:59:35Z
  The audit phase has begun in earnest: an ArXiv paper ('Navier–Stokes Lost in Translation') now directly challenges the Lean↔natural-language equivalence of OpenAI's claimed proof, making the mechanically-different-verifier failure mode concrete and citable. This is the first external technical artifact to touch the verification question itself; its scope and any OpenAI response remain unestablished.
• 2026-10-08T08:40:10Z
  evidence attached: reddit.post.1x0k0h1 — shared external link with case evidence
• 2026-10-07T17:23:15Z
  The first external technical audit of the OpenAI claim has arrived: an ArXiv paper ('Navier–Stokes Lost in Translation', hn.story.49994145) reportedly showing that the formalised Lean proof does not correspond to the natural-language blowup proof — moving the case from 'unverified claims awaiting external audit' to 'audit phase begun, first published salvo challenges certificate-to-claim fidelity', the live instantiation of the correlated-checkers/verifier-scope concern. Known so far only via HN commentary; its full scope and any OpenAI response are unestablished, so belief on the core claims does not move, but this is material and resets the quiet clock.
• 2026-10-07T16:35:57Z
  evidence attached: hn.story.49994145 — ArXiv paper directly on Navier–Stokes methods, likely a critique of translation of the AI-assisted program's approach — bears on whether the route to regularity holds.
• 2026-10-06T01:34:32Z
  Tao's first-party 'Future of Mathematics' essay elaborates the anchor authority's September stance into a profession-level reflection (norms under strain, non-renewable problem mining, 'we stand with you') but adds no verification, scope, or provenance content — the case's meaning is unchanged: an unverified-claims receipts file awaiting external audit. What moved is attention, not belief: a fresh artifact from the case's anchor authority is accruing at top-decile cohort rate inside a hot research-agents topic, which prices heat at medium where the prior adjudicated drift spikes priced low.
• 2026-10-05T23:34:21Z
  evidence attached: hn.story.49969256 — Tao's first-party essay on the future of mathematics comes from the same authority whose AI-assisted-methods remark anchors this case and likely elaborates that stance — re-judging the case should weigh it.
• 2026-10-01T09:34:55Z
  The 'substantive' flag resolves to a 2-point announcement of a Numberphile interview with Buckmaster — mainstream-tail public coverage carrying no verification, scope, or provenance content — and the velocity spikes are the already-adjudicated orchestration repost drifting 125→131 pts on first-party material whose own commenters confirm adds nothing new. The case's meaning is unchanged: a quiescent allegation-vs-self-audited-denial episode awaiting external audit; magnitude-valve eligibility reads the historical September four-platform wave, not live periphery expansion, so heat holds at low despite a hot research-agents neighbourhood.
• 2026-10-01T09:23:35Z
  evidence attached: reddit.post.1wuunq1 — Numberphile interview with Buckmaster on Navier–Stokes signals the AI-assisted math program spreading into mainstream public coverage.
• 2026-09-30T05:43:51Z
  The flagged 'substantive' attachment (reddit 1wtvk67) is a 17-point repost of OpenAI's own Sept 8 orchestration description — grouped agents, cached-internet/code tools, Codex cross-pollination — already present verbatim in the first-party announcement this case carries; it adds no new fact and no verification, scope, or provenance content, and trivial engagement drift elsewhere is noise. The case's meaning is unchanged: a quiescent allegation-vs-self-audited-denial episode with no independent audit; the magnitude valve reflects the historical September four-platform wave, not renewed periphery, so heat stays low and nothing is material.
• 2026-09-30T05:26:12Z
  evidence attached: reddit.post.1wtvk67 — OpenAI's own reveal of how the ~10,000-agent research swarm organized and shared findings is first-party orchestration context for the very program this case tracks.
• 2026-09-27T01:00:01Z
  The velocity spike is Tao's companion essay (HN 49852717) running on to ~357 pts / ~459 comments, but it has peaked and turned — rate down to ~12.7 pts/h with momentum cooling — and its added discussion remains entirely philosophical AI-era-labor reaction with zero verification, scope, or provenance content. With the single attention channel past peak, no new evidence objects, and the episode otherwise quiescent, the prior look's pre-committed criterion (decay without substance → low) applies; heat drops to medium→low and nothing material changed.
• 2026-09-26T12:47:41Z
  The attentional run on Tao's companion essay continued and accelerated (~140→176 pts, 170→232 comments, still 96.8th percentile), but the new discussion is entirely philosophical reaction with zero verification, scope, or provenance content — the case's meaning is unchanged: a quiescent allegation-vs-self-audited-denial episode with no independent audit. Heat holds at medium purely as an attention price while the episode's central authority sits on a top-decile thread; the magnitude flag again reflects the historical September wave rather than renewed periphery, and a plateau without substantive content should drop heat to low next look.
• 2026-09-26T10:40:37Z
  The 25x velocity spike is real but single-threaded: Tao's companion essay (HN 49852717) ran ~31→~140 pts with 170 comments in ~6h — 97th percentile among day-old peers, momentum accelerating — while every other object in the case stayed flat, and it still contains no verification, scope, or provenance content, so the case's meaning is unchanged. The movement is purely attentional, but a top-decile run by the episode's central authority is exactly the channel through which substantive follow-on (mathematician responses, scope discussion, interviews) would arrive, so heat prices medium rather than low; it is not a material change and does not reset the quiet clock.
• 2026-09-26T04:35:30Z
  The only movement since the last look is Tao's same-author companion essay on AI-era mathematical labor (HN 49852717, ~31 pts) plus trivial 20→31-point drift on it — it echoes the already-evidenced 'non-renewably mined' theme and contains no verification, scope, or provenance content. The case's meaning is unchanged: a quiescent allegation-vs-self-audited-denial episode with no independent audit; the 85th-percentile peer rate is an old-cohort artifact and the magnitude valve reflects the historical four-platform September wave, not renewed periphery, so heat stays low and this is not a material change.
• 2026-09-26T04:23:19Z
  evidence attached: hn.story.49852717 — Tao's same-day first-party essay on AI-era mathematical labor comes from the same authority and moment as his Navier–Stokes assessment, materially contextualising the open AI-assisted-math case.
• 2026-09-25T22:38:50Z
  OpenAI's first-party statement was revised (Sept 10 update, surfaced by the 9-25 refetch): it upgrades provenance from the hedged 'we cannot rule out that de-identified usage data helped our models' to an affirmative claim that its investigation confirmed Buckmaster's Codex prompts could not have influenced the system in any way, including through training. That converts the provenance leg from ambiguous-contamination to allegation-vs-self-audited-denial — a real posture change, not independent resolution. Scope and correctness audits remain absent, engagement stays flat, and the magnitude flag reflects the episode's historical cross-platform reach, not renewed expansion.
• 2026-09-24T02:32:58Z
  grounded: converges/medium — Converges on three load-bearing positions at once: (1) the Mature Token Law — the campaign's own accounting (130B output tokens, 88h search, 17h formalization,
• 2026-09-24T02:29:15Z
  The only addition since the last look is a duplicate resubmission of the 'wrong Navier–Stokes problem' HN story plus one jokey comment; it adds no scope audit, no verification result, and no provenance evidence, so the case's meaning is unchanged. Engagement is flat at zero points/hour with the peak long past — the episode has settled into an unresolved-but-quiescent dispute over proof scope and provenance, and further re-submissions should not re-warm it.
• 2026-09-22T10:21:58Z
  evidence attached: hn.story.49798902 — shared external link with case evidence
• 2026-09-22T01:27:01Z
  The new HN item merely labels the result as solving the “wrong” problem; without an argument or theorem-scope audit, it does not alter the established forced-versus-unforced distinction. The magnitude flag reflects the episode’s historical cross-platform reach, not renewed expansion or validation.
• 2026-09-22T01:21:57Z
  evidence attached: hn.story.49795260 — This challenges whether the reported OpenAI mathematics result addresses the actual Navier–Stokes problem, materially contextualizing the open case.
• 2026-09-20T15:33:54Z
  The new discussion recycles the provenance dispute and the already-known distinction between forced and unforced results; it adds neither evidence of theft nor independent mathematical validation. Despite the magnitude flag reflecting extensive historical cross-platform reach, the supplied addition shows no fresh implementation or community expansion warranting renewed attention.
• 2026-09-20T15:22:21Z
  evidence attached: reddit.post.1wlj052 — The discussion bears directly on whether OpenAI's reported mathematics result overlaps with or improperly characterizes the Buckmaster–Alpöge work.
• 2026-09-20T07:23:24Z
  The velocity trigger resurfaces an already-recorded announcement thread, not a new validation milestone or expanding implementation effort. Although the magnitude reading reflects substantial cross-platform reach, the supplied changes show no fresh community or outlet expansion; attention remains low while mathematical validity and provenance remain unresolved.
• 2026-09-19T01:21:53Z
  The new problem-ranking post repeats the already-established distinction between forced Navier–Stokes and unforced Euler; it provides neither independent validation nor a new theorem-scope finding. Its ranking does not change the case’s significance, and the research-agent claims remain consequential but unverified.
• 2026-09-19T01:21:24Z
  evidence attached: reddit.post.1wk7q45 — It materially contextualizes the open mathematics episode by distinguishing the reported forced-flow result from the still-open unforced Navier–Stokes problem.
• 2026-09-18T17:54:43Z
  The refreshed OpenAI article adds no assessment-changing fact beyond the theorem scope, orchestration details and September 10 provenance denial already recorded; the revision trigger does not establish a new validation milestone. This remains a consequential but unverified research-agent claim, not an independently confirmed mathematical breakthrough.
• 2026-09-16T01:21:32Z
  The newly attached “The proof passed” headline supplies no article text, certificate-check output or identifiable technical reviewer, so it does not establish independent validation. The case remains a potentially consequential research-agent demonstration awaiting mathematical and provenance verification, rather than a newly confirmed breakthrough.
• 2026-09-16T01:21:20Z
  evidence attached: hn.story.49720678 — This is potentially independent evidence for the open AI-assisted Navier–Stokes proof episode, though the claimed proof still needs expert validation.
• 2026-09-13T06:21:51Z
  The attached Tao follow-up supplies no article text; its comments revisit human understanding versus formal certification without establishing a mathematical review milestone. A truncated claim of mass endorsement is unsupported, so this remains an unresolved research-agent demonstration rather than independently validated discovery.
• 2026-09-13T06:21:19Z
  evidence attached: hn.story.49679637 — Terry Tao's follow-up provides independent expert context relevant to whether the AI-assisted mathematics methods could extend toward Navier–Stokes.
• 2026-09-12T15:31:44Z
  The new Reddit title supplies a purported Clay quotation acknowledging the announcement with explicitly provisional language, not a verdict on correctness. This adds detail to the existing institutional-response discussion but no independent verification or consequential review milestone.
• 2026-09-12T15:22:25Z
  evidence attached: reddit.post.1wee7z0 — shared external link with case evidence
• 2026-09-12T13:28:30Z
  The new Lean question identifies a concrete theorem-scope audit target, but the truncated, self-qualified report does not establish a missing proof: a property packaged in a structure may be proved when that structure is instantiated. This sharpens the existing verification question without supplying a credible contradiction or independent validation.
• 2026-09-12T13:21:57Z
  evidence attached: reddit.post.1we75kl — The question challenges whether the reported Lean result contains the necessary existential proof, materially bearing on the credibility of the claimed AI-assisted mathematics program.
• 2026-09-12T12:22:35Z
  The new discussion concerns prize eligibility and publication timing, not mathematical validation or research-agent capability. The asserted Clay waiting period and claim that its clock has not started remain unverified testimony here; neither establishes acceptance, rejection, or a new review milestone.
• 2026-09-12T05:21:43Z
  The Clay-linked discussion supplies an institutional verification lead, not an institutional verdict: the statement itself is absent, and commenters’ interpretations cannot establish acceptance or a formal review milestone. No new proof-checking result or provenance evidence warrants promotion; attention can cool while substantive validation remains outstanding.
• 2026-09-12T05:21:24Z
  evidence attached: hn.story.49668706 — The Clay Institute announcement independently contextualizes the developing AI-assisted Navier–Stokes work and should inform re-judgment of that case.
• 2026-09-12T00:27:52Z
  grounded: converges/medium — Tao’s reported suggestion that compute and AI assistance could make a previously prohibitive mathematical extension feasible offers a qualified publishing oppor
• 2026-09-12T00:25:37Z
  OpenAI’s primary account clarifies a guided, resource-intensive agent workflow and specifically claims forced Navier–Stokes blowup, not an unforced Navier–Stokes result. Its September 10 investigation update now rules out influence from Buckmaster’s preceding two months of Codex prompts according to OpenAI—a substantive narrowing of the provenance dispute, but not an independent audit or validation of the mathematics.
• 2026-09-12T00:22:13Z
  evidence attached: openai.article.1d977876014d13d06569138f — shared external link with case evidence
• 2026-09-11T06:29:08Z
  The kernel-run headline offers a more targeted verification lead, but the supplied evidence contains no outcome, checked theorem, assumptions, or demonstrated connection to OpenAI’s certificates; the attachment’s characterization as validation is premature. The episode remains a public solution claim with an accompanying verification target, not established mathematical correctness or independent agent contribution.
• 2026-09-11T06:22:34Z
  evidence attached: hn.story.49653903 — A public Lean project and kernel-run report provide additional first-party validation evidence for the AI-assisted Navier–Stokes research direction.
• 2026-09-11T05:24:56Z
  The refreshed discussion remains repetitive amplification: generic verification concerns and provenance rumors add no result-specific proof assessment or substantive participant disclosure. The public announcement and accompanying Lean repository remain a claim and verification target, not validated mathematics or evidence establishing the agents’ independent contribution.
• 2026-09-11T04:29:00Z
  Refreshed comments discuss generic verification limits and repeat provenance rumors, without supplying a result-specific certificate check, theorem-scope assessment, or new participant disclosure. The public solution announcement and accompanying Lean repository remain a claim and verification target, not validated mathematics or demonstrated independent agent contribution.
• 2026-09-11T03:24:48Z
  The new headlines repeat Buckmaster’s objections and Bubeck’s denial without supplying substantive statements that clarify the attribution dispute. The public solution announcement and accompanying Lean repository remain distinct from a validated Millennium result; this delta adds no certificate assessment, provenance finding, or demonstrated agent capability.
• 2026-09-11T03:22:36Z
  evidence attached: hn.story.49652691 — Independent reporting about a mathematician challenging OpenAI adds context to the AI-assisted Navier–Stokes work and its credit dispute.
• 2026-09-11T03:22:36Z
  evidence attached: hn.story.49652740 — The attribution dispute materially contextualizes the developing AI-assisted mathematics episode.
• 2026-09-11T02:23:33Z
  Refreshed commentary remains generic discussion of verification limits and recycled provenance allegations, not an assessment of the accompanying certificates or a new participant disclosure. The public solution claim remains distinct from validated mathematics; further review should prioritize certificate coverage, theorem scope, or documented agent contribution over reactions.
• 2026-09-11T01:30:18Z
  Refreshed commentary adds general questions about formal-verification cost and theorem fidelity, not an assessment of these certificates or an identified proof defect. The public solution announcement and accompanying Lean repository remain distinct from validated mathematics; the attribution dispute and agents’ independent contribution are still unresolved.
• 2026-09-11T00:29:10Z
  Refreshed comments repeat attribution allegations and general concerns about formal verification without identifying a defect, a successful certificate check, or a theorem-scope assessment for this result. The public solution announcement and accompanying Lean repository remain distinct from validated mathematics or an established account of the agents’ independent contribution.
• 2026-09-10T22:38:04Z
  The new commentary shifts discussion toward formal-verification costs and theorem fidelity, but its article text is absent and the quoted performance figures concern Fermat’s Last Theorem, not verification of this result. It adds no certificate-checking or proof-scope finding: the public announcement and accompanying Lean repository remain distinct from validated mathematics or demonstrated independent agent contribution.
• 2026-09-10T22:22:56Z
  evidence attached: hn.story.49650326 — The article is substantive contextual coverage of how AI-assisted formal methods may affect the Navier–Stokes research program.
• 2026-09-10T19:03:07Z
  The refreshed discussion remains repetitive amplification of the attribution dispute, not a new participant disclosure or technical assessment. The public solution announcement and accompanying Lean repository remain distinct from a validated Millennium result; neither proof scope nor the agents’ independent contribution is clarified by this delta.
• 2026-09-10T16:40:02Z
  Refreshed comments amplify the existing career-threat and attribution allegations without adding a substantive participant disclosure or corroborating evidence. The already-surfaced solution announcement and accompanying Lean repository remain distinct from a validated Millennium result or an established account of the agents’ independent contribution.
• 2026-09-10T12:26:44Z
  The refreshed discussion repeats the attribution dispute without adding a substantive participant disclosure, certificate-checking result, or proof assessment. The public announcement and accompanying Lean repository remain distinct from validated mathematics; this delta does not clarify the agents’ independent contribution or establish a transferable workflow.
• 2026-09-10T07:37:36Z
  Engagement continues to churn on already-surfaced posts (score/comment ticks on Combs skepticism, agent-swarm thread, timeline article) with no new proof review, certificate-checking result, or provenance disclosure. The episode remains a claim-owner-backed OpenAI solution announcement with a verification target (Lean repo) but unresolved correctness and disputed AI/human contribution; further hourly reaction churn is not earning attention.
• 2026-09-10T05:23:24Z
  The refreshed discussion adds reactions to the attribution dispute, not a new participant disclosure, certificate-checking result, or substantive proof assessment. The public solution announcement remains distinct from validated mathematics, and the accompanying Lean repository remains a verification target rather than evidence of transferable research-agent capability.
• 2026-09-10T03:25:11Z
  Refreshed comments repeat the attribution dispute and speculate about swarm safeguards; they add no documented security incident, certificate-checking result, or substantive proof review. The public solution announcement remains distinct from validated mathematics, with the accompanying Lean repository still a verification target rather than demonstrated transferable research-agent capability.
• 2026-09-10T01:27:02Z
  The refreshed discussion repeats the announcement and attribution dispute without adding a certificate-checking result, substantive proof review, or provenance finding. The accompanying Lean repository remains a concrete verification target; this delta does not establish mathematical correctness or transferable research-agent capability.
• 2026-09-10T00:23:49Z
  Refreshed comments amplify the already-known announcement and attribution dispute without adding a certificate-checking result, substantive proof review, or provenance finding. The accompanying Lean repository remains a verification target, not established validation of the Millennium claim or evidence of transferable research-agent capability.
• 2026-09-09T22:34:01Z
  Refreshed comments debate compute scale and repeat the attribution allegations without adding a proof assessment, certificate-checking result, or substantiated provenance finding. The accompanying Lean repository remains a concrete verification target, not established validation of the Millennium claim or evidence of transferable research-agent capability.
• 2026-09-09T21:29:00Z
  Refreshed discussion adds no substantive assessment of the accompanying Lean certificates, proof scope, or agent contribution; it repeats the announcement and attribution dispute. The repository remains a concrete verification target, not evidence by itself that the Millennium problem has been resolved, and reaction-driven hourly review is not earning attention.
• 2026-09-09T20:44:05Z
  grounded: converges/low — The reported expert-led AI work and Lean formalization align with Scott’s Human–AI Collaboration and Mechanically Different Verifiers positions, but currently s
• 2026-09-09T20:39:45Z
  The newly linked claim-owner repository of accompanying Lean certificates gives the announced result a concrete verification target, advancing beyond unsupported comments about formalization without establishing certificate coverage, successful checking, or equivalence to the Millennium problem. Correctness, independent AI contribution and provenance remain unresolved; the cached grounding still describes a tentative research route rather than the current public claim and accompanying artifact.
• 2026-09-09T18:29:59Z
  anchor promoted to claim owner's artifact: echo.paper.6d05cbe635 -> hn.story.49630159 — The linked OpenAI repository of accompanying Lean certificates adds claim-owner artifact evidence to the existing mathematics episode and should outrank its report-based anchor without implying that Navier–Stokes regularity has been resolved.
• 2026-09-09T18:29:59Z
  evidence attached: hn.story.49630159 — The linked OpenAI repository of accompanying Lean certificates adds claim-owner artifact evidence to the existing mathematics episode and should outrank its report-based anchor without implying that Navier–Stokes regularity has been resolved.
• 2026-09-09T17:27:30Z
  The new quotation distinguishes claimed Navier–Stokes-specific token expenditure from the broader campaign, but does not establish actual cost, a brute-force mechanism, or transferable agent capability; the linked essay supplies no assessable content. The episode remains a corroborated public solution announcement with unresolved mathematical validation, AI contribution and provenance, rather than a newly substantiated breakthrough.
• 2026-09-09T17:23:52Z
  evidence attached: hn.story.49629132 — This article appears to provide independent context on the AI-assisted mathematics program and its possible Navier–Stokes implications.
• 2026-09-09T17:23:52Z
  evidence attached: reddit.post.1wbrutr — It materially contextualizes the reported Navier–Stokes effort by highlighting its extreme message and token expenditure.
• 2026-09-09T16:33:06Z
  Refreshed discussion repeats the announcement, attribution dispute and speculative implications of agent scale without adding an assessable proof review, provenance finding or inspectable workflow. The public solution claim remains corroborated as an announcement, not validated mathematics or demonstrated transferable research-agent capability.
• 2026-09-09T14:34:32Z
  The Technology Review excerpt adds coverage of the already-known announcement and attribution dispute, not a new provenance finding, proof assessment, or demonstrated research-agent capability. The public solution claim remains established as an announcement; mathematical correctness and the agents’ independent contribution remain unresolved.
• 2026-09-09T14:24:00Z
  evidence attached: reddit.post.1wblf3a — The article adds material attribution and provenance controversy around the AI-assisted mathematics program, relevant to re-judging the case.
• 2026-09-09T13:36:03Z
  Refreshed comments interpret the reported agent sandbox and repeat the attribution dispute, but establish neither a security incident nor a verified, transferable research workflow. The already-alerted OpenAI solution announcement remains distinct from mathematical validation; the unsupported Lean assertion does not settle theorem scope or correctness.
• 2026-09-09T12:34:30Z
  The new excerpts add a limited description of agent grouping and tool access, but repeat the already-reported campaign scale and timing without an inspectable workflow or independent proof assessment. Speculation about swarm security establishes no incident; mathematical correctness, independent AI contribution and disputed provenance remain unresolved.
• 2026-09-09T12:31:34Z
  evidence attached: reddit.post.1wbiuey — The scout identifies this as the same mathematics episode, and its unattributed, truncated quotations add an alleged resolution and agent-coordination details without establishing first-party provenance.
• 2026-09-09T12:23:05Z
  evidence attached: reddit.post.1wbjmum — The report adds concrete scale and claimed timing to the developing AI-assisted Navier–Stokes research episode, though validation remains pending.
• 2026-09-09T11:30:48Z
  The Science coverage excerpts add Bubeck’s ambition to apply expensive research campaigns to practical scientific problems, not evidence that the Navier–Stokes workflow transfers to them. They otherwise repeat the contested attribution account without supplying a proof assessment, inspectable agent workflow, or new provenance finding.
• 2026-09-09T11:28:14Z
  evidence attached: hn.story.49624163 — The scout identifies this Science coverage as controversy surrounding the existing mathematics episode, not a separate breakthrough or first-party artifact.
• 2026-09-09T10:26:16Z
  Refreshed discussion supplies no new proof assessment, inspectable agent workflow, or substantive provenance disclosure; the unsupported Lean-formalization assertion does not resolve correctness or theorem scope. The episode remains an already-alerted public solution claim, rather than validated mathematics or demonstrated transferable research-agent capability.
• 2026-09-09T09:29:00Z
  A refreshed comment asserts Lean formalization, but supplies neither an artifact nor an assessment that the formal statement matches the Millennium problem; it does not establish validation. The remaining discussion repeats the already-alerted announcement and provenance dispute without clarifying the agents’ independent contribution.
• 2026-09-09T08:31:27Z
  Refreshed discussion adds speculative compute costs and repeats the attribution dispute, without new proof assessment, inspectable agent-workflow evidence, or a substantive provenance disclosure. The already-alerted OpenAI announcement remains distinct from validated mathematics or demonstrated transferable research-agent capability; reaction-driven hourly review is not earning attention.
• 2026-09-09T07:24:44Z
  The new post and refreshed comments repeat the already-alerted OpenAI announcement without adding independently checkable proof validation, agent-workflow details, or provenance findings. The episode remains a corroborated public solution claim, not an established mathematical result or demonstrated transferable research-agent capability.
• 2026-09-09T07:22:29Z
  evidence attached: reddit.post.1wbei5o — This is weak Reddit corroboration of the reported AI-assisted Navier–Stokes result, though it provides no independently checkable evidence.
• 2026-09-09T06:23:54Z
  The newly attached commentary supplies no assessable new claim, while refreshed reactions continue to amplify the announcement and attribution dispute. The public solution claim remains established as an announcement, not a validated proof or demonstrated transferable research-agent workflow.
• 2026-09-09T06:22:36Z
  evidence attached: hn.story.49621697 — The scout identifies this commentary as context on the existing AI-assisted Navier–Stokes program, but the supplied title and link do not establish independent mathematical validation or justify promoting an analyst over the claim owners.
• 2026-09-09T05:28:15Z
  Refreshed comments repeat the announcement, attribution dispute and speculative engineering implications without adding a substantive proof review or inspectable agent workflow. The public solution claim remains distinct from validated mathematics and demonstrated independent AI contribution; further reaction-driven reviews are not earning attention.
• 2026-09-09T04:28:47Z
  Refreshed discussion extrapolates the reported agent campaign to engineering and repeats the attribution dispute, without adding an inspectable workflow, substantive proof assessment, or provenance disclosure. The already-alerted public solution claim remains consequential but unvalidated; this delta does not establish transferable research-agent capability.
• 2026-09-09T03:26:04Z
  The new engineering discussion extrapolates from the previously reported agent campaign rather than demonstrating transferable capability, and the researcher-response headline supplies no substantive statement to assess. The public solution claim remains established as an announcement, not a validated proof or a resolved account of AI contribution and provenance.
• 2026-09-09T03:22:19Z
  evidence attached: reddit.post.1wb9kg3 — Independent discussion of scrutiny around the same reported mathematics breakthrough could materially affect confidence in the open case.
• 2026-09-09T03:22:19Z
  evidence attached: reddit.post.1wb93h8 — Adds context on the reported scale of agent parallelism behind the AI-assisted Navier–Stokes work, though it is largely speculative.
• 2026-09-09T02:26:28Z
  Refreshed discussion adds no substantive proof review, inspectable research-agent workflow, or provenance disclosure; it continues to amplify the already-alerted OpenAI claim and attribution dispute. The announcement remains consequential, but neither mathematical correctness nor the agents’ independent contribution is established by the supplied evidence.
• 2026-09-09T01:22:35Z
  Refreshed discussion adds no substantive proof assessment, research-agent implementation evidence, or provenance disclosure beyond the already-alerted OpenAI claim. Tao’s problem-selection argument remains expert interpretation of research incentives, not validation of the mathematics or the agents’ independent contribution.
• 2026-09-09T00:25:58Z
  Newly reproduced Tao-attributed excerpts sharpen the research-incentives concern: identifying promising problems may become scarcer than solving them as AI effort scales. This is expert interpretation, not independent validation of the claimed proof or evidence resolving the agent contribution and provenance dispute.
• 2026-09-08T23:25:11Z
  The new Tao-attributed headline adds a research-sustainability concern, not an assessable proof review or new evidence about the agent campaign; his underlying commentary is not reproduced. The episode remains an already-alerted public solution claim with unresolved correctness, AI contribution and provenance, while refreshed reactions add no material clarification.
• 2026-09-08T23:22:32Z
  evidence attached: hn.story.49616968 — Tao's first-party commentary materially contextualizes the open-math-mining implications surrounding the AI-assisted Navier–Stokes episode.
• 2026-09-08T22:46:02Z
  The refreshed discussion adds no inspectable proof assessment, agent-workflow evidence, or substantive provenance disclosure; it mainly repeats the already-alerted announcement and attribution dispute. The public solution claim remains distinct from a validated mathematical result, and the scope clarification is not evidence of a proof defect.
• 2026-09-08T21:45:18Z
  Combs’s quoted commentary clarifies that a potential regularity result is not a general solution of fluid dynamics; it supplies no identified proof defect and does not rebut the reported research-agent achievement. The additional attribution coverage leaves correctness, AI contribution and provenance unsettled rather than materially changing the already-alerted OpenAI claim.
• 2026-09-08T21:22:50Z
  evidence attached: reddit.post.1wb05u0 — Independent expert skepticism materially qualifies the interpretation and significance of the reported Navier–Stokes result.
• 2026-09-08T21:22:50Z
  evidence attached: reddit.post.1wb105h — Reports the broader AI-assisted mathematics episode and the controversy around OpenAI's competing claim, materially contextualizing the open case.
• 2026-09-08T20:31:24Z
  The new attachments recycle the attribution and alleged career-threat dispute; they add neither a substantive data-use disclosure nor independent mathematical validation. The already-alerted OpenAI solution claim remains consequential but unvalidated, and further review should focus on proof assessment or inspectable agent-workflow evidence rather than repeated reactions.
• 2026-09-08T20:23:18Z
  evidence attached: hn.story.49615732 — This hunted observation bears directly on the developing OpenAI-assisted Navier–Stokes mathematics episode, though the linked material needs verification.
• 2026-09-08T20:23:18Z
  evidence attached: reddit.post.1wayuay — It concerns the same reported AI-assisted Navier–Stokes mathematics episode, though it adds no independent verification.
• 2026-09-08T19:48:26Z
  grounded: converges/low — Tao’s tentative proposal for AI assistance in extending human mathematical work loosely converges with Scott’s Human–AI Collaboration position, but the supplied
• 2026-09-08T19:44:13Z
  The added coverage reinforces that OpenAI publicly claimed a solution using a next-generation model and a large research-agent campaign, but does not independently validate the mathematics or autonomous contribution. The quoted inability to rule out training-data influence is a provenance caveat, not an admission that agents accessed private chats; the refreshed discussion otherwise repeats the already-alerted announcement and dispute.
• 2026-09-08T19:40:50Z
  evidence attached: reddit.post.1wawkq5, reddit.post.1wawioy — Both posts echo an alleged OpenAI-assisted Navier–Stokes solution relevant to the existing program case, but neither supplies a proof or first-party confirmation and the stronger-model attribution remains secondhand.
• 2026-09-08T19:24:38Z
  evidence attached: hn.story.49614718 — Independent WSJ coverage corroborates the consequential Navier–Stokes claim and would affect re-judgment of the open case.
• 2026-09-08T19:24:38Z
  evidence attached: hn.story.49614788 — OpenAI's first-party announcement is additional evidence for the already open AI-assisted Navier–Stokes episode.
• 2026-09-08T19:24:38Z
  evidence attached: reddit.post.1waxun0 — Detailed timeline materially contextualizes the developing AI-assisted Navier–Stokes episode.
• 2026-09-08T19:24:38Z
  evidence attached: reddit.post.1wawlek — OpenAI’s linked first-party report is directly relevant to the developing AI-assisted Navier–Stokes episode.
• 2026-09-08T19:24:38Z
  evidence attached: reddit.post.1wawnm0 — This independent article is corroborating coverage of the same disputed AI-assisted mathematics episode.
• 2026-09-08T19:24:38Z
  evidence attached: reddit.post.1waxjqr — The discussion raises a material provenance and attribution challenge around the same reported AI-assisted mathematical discovery.
• 2026-09-08T19:24:37Z
  evidence attached: hn.story.49614049 — Independent coverage materially contextualises the developing claim about an AI-assisted Navier–Stokes discovery.
• 2026-09-08T19:24:37Z
  evidence attached: reddit.post.1wavzkf — The discussion directly contextualizes the Buckmaster–Alpöge episode and confirms AI involvement while highlighting the dispute over the claim.
• 2026-09-08T19:24:37Z
  evidence attached: reddit.post.1wawa5s — Bubeck's apparent refutation is material contradictory evidence for the open AI-assisted Navier–Stokes claim.
• 2026-09-08T19:24:37Z
  evidence attached: reddit.post.1waw7bb — The article appears to discuss the same disputed AI-assisted million-dollar mathematics claim already carried by this open case.
• 2026-09-08T19:24:37Z
  evidence attached: reddit.post.1wauy3y — This is another direct pointer to the same OpenAI Navier–Stokes episode already under verification.
• 2026-09-08T19:24:37Z
  evidence attached: reddit.post.1wav1l6 — The high-engagement post independently corroborates the public Navier–Stokes claim while highlighting ongoing expert dispute.
• 2026-09-08T19:24:37Z
  evidence attached: reddit.post.1wavxwv — The post independently describes OpenAI’s claimed multi-agent Navier–Stokes result, materially advancing the same verification case.
• 2026-09-08T19:24:37Z
  evidence attached: reddit.post.1wavdi7 — This is independent coverage of the same disputed AI-assisted Navier–Stokes result and its verification status.
• 2026-09-08T19:24:37Z
  evidence attached: reddit.post.1wax4v0 — shared external link with case evidence
• 2026-09-08T18:22:36Z
  The new posts repeat the already surfaced OpenAI solution claim rather than adding mathematical validation, research-agent implementation details, or substantiated provenance evidence. The consequential development remains the publicly attributed claim and reported large-scale agent campaign, not an established Navier–Stokes solution or demonstrated autonomous discovery.
• 2026-09-08T18:22:12Z
  evidence attached: reddit.post.1waw0vv — shared external link with case evidence
• 2026-09-08T18:22:12Z
  evidence attached: reddit.post.1wav090 — shared external link with case evidence
• 2026-09-08T17:46:59Z
  grounded: novel/low — The supplied material establishes neither the AI contribution nor a research workflow that bears on Scott’s agent architectures or human–AI division-of-labour c
• 2026-09-08T17:43:19Z
  The episode has shifted from a conditional mathematical research direction to a publicly attributed OpenAI solution claim, with newly quoted details describing an internal next-generation model and a large agent-based research campaign. Those details make this relevant to research-agent capability and economics, but neither proof correctness, autonomous discovery, nor the disputed provenance is established.
• 2026-09-08T17:40:16Z
  evidence attached: hn.story.49613247, hn.story.49613033, hn.story.49612811 — These reports consolidate the claimed Navier–Stokes breakthrough and associated credit controversy into the existing mathematics-program episode; none supplies a claim-owner artifact for anchor promotion.
• 2026-09-08T17:23:23Z
  evidence attached: hn.story.49613262 — A first-party OpenAI post is direct evidence for the open Navier–Stokes AI-mathematics episode.
• 2026-09-08T17:23:23Z
  evidence attached: reddit.post.1wauihg — Independent mainstream coverage of OpenAI's claimed Navier–Stokes result materially contextualizes the open mathematics case.
• 2026-09-08T17:23:23Z
  evidence attached: reddit.post.1wauqbz — Direct OpenAI reporting of a Navier–Stokes solution materially bears on the open AI-assisted mathematics episode.
• 2026-09-08T16:43:36Z
  The refreshed comments continue the attribution dispute without adding an assessable participant statement or technical result. Tao’s attributed assessment remains a credible conditional research signal, distinct from a demonstrated Navier–Stokes solution, autonomous AI contribution, or substantiated misuse of private drafts.
• 2026-09-08T15:38:59Z
  The added questioning coverage broadens circulation of the existing claims without independently substantiating a mathematical result or clarifying the AI contribution. Tao’s attributed conditional assessment remains distinct from claims of a solved Navier–Stokes problem, while the private-draft allegations remain contested and unverified.
• 2026-09-08T15:35:23Z
  evidence attached: hn.story.49611362 — The report adds questioning coverage of the existing AI-assisted Navier–Stokes episode, not evidence for a separate case or confirmation of a solution.
• 2026-09-08T14:39:16Z
  The refreshed comments leave the case as a conditional expert-backed research direction alongside a contested attribution dispute, rather than an established mathematical breakthrough. No new technical evidence or substantive participant statement clarifies the Navier–Stokes extension, AI contribution, or alleged private-data misuse; hourly review is not earning additional attention.
• 2026-09-08T13:37:22Z
  The refreshed discussion remains amplification of the contested attribution narrative, not independent evidence of a mathematical advance or private-data misuse. Tao’s quoted assessment warrants tracking the proposed research direction, but the available material still does not establish a successful Navier–Stokes extension or the extent of AI’s contribution.
• 2026-09-08T12:33:18Z
  The refreshed comments add reactions to the attribution dispute, not a new assessable claim from its participants or evidence that the proposed mathematical extension works. Tao’s attributed assessment remains a conditional research signal; neither a completed Navier–Stokes result nor private-data misuse is established.
• 2026-09-08T11:27:04Z
  The refreshed discussion adds no independent technical evidence or substantive clarification of the contested AI contribution; it remains amplification of the priority dispute. Tao’s attributed assessment supports tracking a conditional research direction, not treating a Navier–Stokes solution or private-data misuse as established.
• 2026-09-08T10:27:18Z
  The refreshed comments continue the contested priority and AI-contribution narrative without adding an assessable mathematical result or substantive denial. Tao’s attributed conditional assessment remains worth tracking, but neither a successful Navier–Stokes extension nor private-data misuse is established.
• 2026-09-08T09:29:27Z
  The refreshed discussion remains amplification of the attribution dispute, with no assessable new result or evidence establishing private-data misuse. Tao’s attributed assessment supports a possible research direction, not a completed Navier–Stokes proof or a demonstrated autonomous AI contribution.
• 2026-09-08T08:30:30Z
  Refreshed comments amplify the priority and private-data dispute without independently establishing misuse, a completed proof, or the model’s contribution. Tao’s attributed assessment remains a conditional research signal, not validation that the proposed Navier–Stokes extension works.
• 2026-09-08T07:33:26Z
  The reported Bubeck denial makes the attribution dispute explicitly contested, but its missing text prevents assessing what is denied or conceded. It neither rebuts Tao’s conditional research assessment nor validates a proof, autonomous AI contribution, or misuse of private research data.
• 2026-09-08T07:22:12Z
  evidence attached: reddit.post.1wagu5g — The reported denial is material context for the ongoing dispute over the AI-assisted mathematics program and its possible Navier–Stokes implications.
• 2026-09-08T06:30:44Z
  The refreshed discussion adds speculation about an OpenAI proof and a research-priority dispute, not independent evidence that the proposed Navier–Stokes route works. Tao’s attributed assessment remains a meaningful but conditional expert signal; the linked statement’s unreproduced contents cannot establish either a completed result or the AI contribution.
• 2026-09-08T06:25:29Z
  grounded: novel/low — No meaningful intersection with Scott’s specific discovery or agent-architecture claims is established: the supplied material verifies neither Tao’s assessment
• 2026-09-08T06:23:03Z
  case created — Named expert commentary and a linked author statement establish a bounded research episode distinct from the existing Hopf and elliptic-curve cases, but do not establish a completed proof.

Decision trace

• 10-11 22:09review_screenjev screen: no material development (noul=0.04)
• 10-08 20:20attention_routeThe editor compared this story and chose to keep watching.
• 10-08 20:15attention_candidatematerial_reprice
• 10-08 20:15repriceThe audit phase has begun in earnest: an ArXiv paper ('Navier–Stokes Lost in Translation') now directly challenges the Lean↔natural-language equivalence of OpenAI's claimed proof, makin
• 10-08 20:15groundThe case converges on three load-bearing Scott positions at once: (1) Mechanically Different Verifiers — the ArXiv 'Lost in Translation' critique is the first citable field instance of a Lea
• 10-08 19:49attention_routeFirst external audit artifact targeting the Lean↔NL equivalence gap; directly tests Scott's verification-loop doctrine. Fits the upcoming briefing as a lead story.
• 10-08 19:40attention_candidateattach
• 10-08 19:40attachshared external link with case evidence
• 10-08 19:31sensor_dirtyvelocity_spike
• 10-08 19:31propose_attachshared external link with case evidence
• 10-08 12:22attention_routeThe editor compared this story and chose to keep watching.
• 10-08 12:21sensor_dirtyvelocity_spike
• 10-08 09:21sensor_dirtycomment_update
• 10-08 05:23sensor_dirtyvelocity_spike
• 10-08 04:27attention_routeQuiet hours with the briefing at 10:00: the critique is hours old, the paper itself still needs direct reading, and nothing resolves before morning — a briefing lead beats both a 4:30am interrupt and
• 10-08 04:23attention_candidatematerial_reprice
• 10-08 04:23repriceThe first external technical audit of the OpenAI claim has arrived: an ArXiv paper ('Navier–Stokes Lost in Translation', hn.story.49994145) reportedly showing that the formalised Lean proof
• 10-08 03:59attention_routeThe editor compared this story and chose to keep watching.
• 10-08 03:35attention_candidateattach
• 10-08 03:35attachArXiv paper directly on Navier–Stokes methods, likely a critique of translation of the AI-assisted program's approach — bears on whether the route to regularity holds.
• 10-08 03:34propose_attachArXiv paper directly on Navier–Stokes methods, likely a critique of translation of the AI-assisted program's approach — bears on whether the route to regularity holds.
• 10-06 12:34repriceTao's first-party 'Future of Mathematics' essay elaborates the anchor authority's September stance into a profession-level reflection (norms under strain, non-renewable problem min
• 10-06 11:21sensor_dirtycomment_update
• 10-06 10:34attachTao's first-party essay on the future of mathematics comes from the same authority whose AI-assisted-methods remark anchors this case and likely elaborates that stance — re-judging the case shoul
• 10-06 10:30propose_attachTao's first-party essay on the future of mathematics comes from the same authority whose AI-assisted-methods remark anchors this case and likely elaborates that stance — re-judging the case shoul
• 10-01 19:34repriceThe 'substantive' flag resolves to a 2-point announcement of a Numberphile interview with Buckmaster — mainstream-tail public coverage carrying no verification, scope, or provenance content
• 10-01 19:23attachNumberphile interview with Buckmaster on Navier–Stokes signals the AI-assisted math program spreading into mainstream public coverage.
• 10-01 19:22propose_attachNumberphile interview with Buckmaster on Navier–Stokes signals the AI-assisted math program spreading into mainstream public coverage.
• 10-01 07:22sensor_dirtyvelocity_spike
• 10-01 00:21sensor_dirtyvelocity_spike
• 09-30 18:21sensor_dirtyvelocity_spike
• 09-30 15:43repriceThe flagged 'substantive' attachment (reddit 1wtvk67) is a 17-point repost of OpenAI's own Sept 8 orchestration description — grouped agents, cached-internet/code tools, Codex cross-pol
• 09-30 15:26attachOpenAI's own reveal of how the ~10,000-agent research swarm organized and shared findings is first-party orchestration context for the very program this case tracks.
• 09-30 15:24propose_attachOpenAI's own reveal of how the ~10,000-agent research swarm organized and shared findings is first-party orchestration context for the very program this case tracks.
• 09-27 11:00repriceThe velocity spike is Tao's companion essay (HN 49852717) running on to ~357 pts / ~459 comments, but it has peaked and turned — rate down to ~12.7 pts/h with momentum cooling — and its added dis
• 09-27 05:20sensor_dirtyvelocity_spike
• 09-27 02:45review_screenjev screen: no material development (noul=0.05)
• 09-27 02:21sensor_dirtycomment_update
• 09-26 22:47repriceThe attentional run on Tao's companion essay continued and accelerated (~140→176 pts, 170→232 comments, still 96.8th percentile), but the new discussion is entirely philosophical reaction with ze
• 09-26 22:21sensor_dirtyvelocity_spike