On October 6, 2026, OpenAI published 722 mathematical manuscripts (372 result families) on GitHub, produced by an unreleased internal frontier model, with Lean 4 formalizations for many results, per-result compute estimates (~3 hours ChatGPT Pro equivalent), and a release protocol developed with the independent Advisory Group on Mathematics and AI (AGMAI) at the Institute for Advanced Study. Three results have since been withdrawn (confirmed via GitHub history), making the AGMAI-advised protocol's quality control a live stress test. Community verification is underway: the Lean repository compiles; one named expert review (Barnette #180) is favorable; a substantive critique notes headline claims not matching formalized statements in ≥10 families; Terence Tao has blogged on Lean reliability and amplified an Association for Human Mathematics statement urging mathematicians to discontinue work with OpenAI; Fields Medalist Hugo Duminil-Copin reacted viscerally. Two independent Lean-verified building-on artifacts exist (CrocSwap/integer-mult-bounds improvement; DaniilKi/simplex-product-growth extension), both single-group and unaudited. No completed expert verification of the core batch, no confirmation of AGMAI's September 29 primary recommendations (rumored to contradict OpenAI's framing), no second batch, and no cross-lab protocol adoption have been confirmed. Mainstream coverage includes NYT, Scientific American, The Verge, and The Conversation.
| source | object | author | score | comments |
|---|
| 🟧 openai ⭐ | Sharing AI progress in mathematicsRetrieved article excerptOpen article · Retrieved 2026-10-07T06:21:44.263828+00:00 October 6, 2026
[Research](https://openai.com/news/research/)[Publication](https://openai.com/research/index/publication/)
# Sharing AI progress in mathematics
[View on GitHub(opens in a new window)](https://github.com/openai/math)
Loading…
Share
We’re releasing a broad range of new mathematical results produced by an [internal frontier model](https://openai.com/index/navier-stokes-solution/).
As we look to improve how we share results with the math community, we’ve been consulting with the independent [Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study(opens in a new window)](https://agmai.org/) to develop best practices, and we have drawn on their advice and [public recommendations(opens in a new window)](https://agmai.org/general-sep29/) to inform how we release these results.
For this release, we’re publishing the results in a GitHub repository, with protocols for paper revisions and citations. We’re continuing to explore other community-hosted alternatives for this release which meet the committee’s guidelines. For future releases, we are committed to further improving the quality of the papers via the citations, mathematical exposition, and presentation of the results for better understanding.
As part of our GitHub repository, we are sharing formalizations of many of the proofs in Lean, a programming language that allows mathematical proofs to be checked by a computer. We will update the repository with more formalizations as we obtain them.
To promote scientific transparency and openness, we are also publishing additional details about how we obtained the results in the repository. These include 10 summaries of the model’s reasoning, estimations of compute spent in terms of Pro usage on ChatGPT, and statistics about the number of attempted problems. The average result used the equivalent compute of roughly three hours of ChatGPT Pro thinking.
We want this progress to push the frontier of human knowledge and enable further progress in mathematics. We will be funding a series of workshops, conferences, and special programs around the understanding of major results produced by AI—we will share more on this in the near future.
We want to directly empower scientists with state-of-the-art capabilities and are working to responsibly release the model that produced these results. This is why it is important to continue to evaluate our internal frontier models on mathematics and other sciences, so we can accelerate developing the tools to advance those fields. We will continue to act on feedback from the community and update our standards for future disclosures of major scientific advancements.
- [2026](https://openai.com/news/?tags=2026)
## Author
OpenAI
## Keep reading
[View all](https://openai.com/news/)
oai ironclad cua 1x1
[Advancing computer use with Ironclad
PublicationOct 6, 2026](https://openai.com/index/advancing-computer-use-with-ironclad/)
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/) | OpenAI | — | — |
| 🟧 hn | OpenAI unleashes hundreds more math results upon a field in shock | mr_fantastic | 9 | 2 |
| 🟠 reddit | Rumor from an NYU math professor that this was only batch #1 of 3 of OpenAI math solutions… singularity | socoolandawesome | 505 | 258 |
| 🟧 hn | OpenAI Releases Findings on 377 Math Problems, Further Roiling Field | krunck | 2 | 2 |
| 🟠 reddit | OpenAI unleashes hundreds more math results upon a field already in shock artificial | scientificamerican | 12 | 35 |
| 🟠 reddit | Interesting thoughts from an expert on a specific problem (#180 Barnette's Conjecture) from OpenAl solutions singularity | Anen-o-me | 337 | 65 |
| 🟠 reddit | Prinz tweets that OpenAI’s new maths results show something more interesting than raw problem-solving ability: what mathematicians call “research taste”. singularity | Southern-Break5505 | 543 | 136 |
| 🟧 hn | Association for Human Mathematics's Statement on OpenAI's Recent Math Release | mariofdistrust | 14 | 1 |
| 🟠 reddit | The Advisory Group on Mathematics and Artificial Intelligence, from whom OpenAI has claimed to derive its legitimacy, said that frontier AI corporations should not test advanced mathematical problems on internal models. OpenAI has indicated total disregard for the norms of scientific research. singularity | Charuru | 0 | 129 |
| 🟠 reddit | AI Systems Are Already Building on OpenAI's Massive Math Drop — New Lean-Verified Extension Reported Just Days Later singularity | aKaizuh | 26 | 0 |
| 🟠 reddit | How long will it take for this to be proven wrong? singularity | Leading-Obligation74 | 0 | 10 |
| 🟧 hn | AHM Statement on OpenAI's October 6 Release of Mathematical Documents | smilelamp | 15 | 15 |
| 🟠 reddit | Fields Medalist Terence Tao reposts statement from the Association for Human Mathematics urging mathematicians to stop working with OpenAI for continuing to solve open math problems against their recommendations artificial | Eliv_nurotic | 253 | 286 |
| 🟠 reddit | Fields Medalist Terence Tao reposts statement from the Association for Human Mathematics urging mathematicians to stop working with OpenAI for continuing to solve open math problems against their recommendations OpenAI | Eliv_nurotic | 731 | 1190 |
| 🟧 hn | An Upper Bound of 9/4 for the Matrix Multiplication Exponent [pdf] | theanonymousone | 1 | 0 |
| 🟧 hn | Terence Tao Responds to the OpenAI Math Drop | ent101 | 540 | 541 |
| 🟠 reddit | Researchers are already significantly improving on OpenAI’s recent math results, verified in Lean OpenAI | Eliv_nurotic | 351 | 93 |
| 🟠 reddit | Researchers are already significantly improving on OpenAI’s recent math results, verified in Lean artificial | Eliv_nurotic | 235 | 66 |
| 🟧 hn | OpenAI withdraws three mathematical results | sashank_1509 | 342 | 586 |
| 🟧 hn | OpenAI Withdraws 3 Math Papers | theemathas | 336 | 3 |
| 🟧 hn | OpenAI withdraws three of their recent manuscripts | qnleigh | 2 | 1 |
| 🟧 hn | AHM Statement on OpenAI's October 6 Release of Mathematical Documents | kkoncevicius | 44 | 42 |
| 🟧 hn | Ask HN: Which next advancements in the math are unlocked with OAI papers? | vld_chk | 1 | 0 |
| 🟧 hn | About OpenAI's "Breakthrough" on 377 Math problems [video] | Topfi | 1 | 0 |
| 🟧 hn | AHM Statement on OpenAI's October 6 Release of Mathematical Documents | epaga | 2 | 0 |
| 🟠 reddit | I used AI to build on OpenAI’s new mathematical discoveries and ended up with two open-source research projects OpenAI | Moretheevu | 1 | 1 |
| 🟠 reddit | I used AI to build on new mathematical discoveries and ended up with two open-source research projects singularity | Moretheevu | 12 | 17 |
| 🟠 reddit | Single prompt handed to a single AI agent singularity | ilkamoi | 142 | 29 |
| 🟠 reddit | Fields Medalist Terence Tao quips about LLMs: “OpenAI Releases Final Ten Minutes of 500 Previously Unreleased Films, Ushering in New Era of Movie Watching”, plus addt’l notes singularity | nicko_rico | 329 | 560 |
| 🟠 reddit | Navier Stokes Solution Fail Verification OpenAI | Derek-Bond | 0 | 15 |
| 🟧 hn | OpenAI mathematics papers have no correspondence address | jjgreen | 5 | 1 |
| 🟠 reddit | Mathematicians marvel, and grumble, at OpenAI’s trove of new results artificial | scientificamerican | 24 | 17 |
| 🟧 hn | OpenAI's New Math Breakthroughs Put AI's Role in Science Under the Microscope | joeymabia1 | 2 | 0 |
| 🟧 hn | AHM Statement on OpenAI's October 6 Release of Mathematical Documents | doppp | 4 | 0 |
| 🟧 hn | OpenAI, the Partition Principle, and Mathematics | md224 | 189 | 285 |
| 🟧 hn | 'Breathtaking,' 'Devastating': Mathematics Reels After New OpenAI Release | furcyd | 6 | 0 |
| 🟧 hn | OpenAI withdraws 3 preprints after releasing 722 manuscripts | DeepLogin | 3 | 0 |
| 🟧 hn | 'Breathtaking,' 'Devastating': Mathematics Reels After New OpenAI Release | marojejian | 23 | 22 |
| 🟠 reddit | Mathematicians want OpenAI out of math research, but their argument doesn't add up artificial | pradeepviswav | 0 | 45 |
| 🟠 reddit | The most exciting claims from OpenAI’s heap of new proofs artificial | scientificamerican | 50 | 8 |
| 🟠 reddit | On recent math solutions posted by OpenAI singularity | stigmatized_ | 0 | 47 |
| 🟠 reddit | Prof. Tristan Buckmaster on the controversy over OpenAI's math findings singularity | CuTe_M0nitor | 0 | 1 |
| 🟠 reddit | Hugo Duminil-Copin (2022 Fields Medalist): OpenAI's solving of 350 major problems feels as if I had been run over by trucks; all the problems (and thus research directions) that I used to mention in my talks, papers, and grant applications have been solved." singularity | UndeadPrs | 735 | 600 |
| 🟧 hn | Several major bugs in OpenAI's Math release | unprovable | 2 | 1 |
| 🟠 reddit | Some nuance on the mathematical proofs released by OpenAI singularity | niagalacigolliwon | 11 | 83 |
| 🟧 hn | What mathematicians should know about the Lean Theorem Prover: reliability & AI | matt_d | 157 | 42 |
| 🟧 hn | Show HN: Reducing an OpenAI proof by 25% in a few hours | athrowaway3z | 1 | 0 |
| 🟧 hn | 100+ reactions to 100+ solutions | jacobedawson | 70 | 65 |
| 🟠 reddit | 100+ reactions from leading mathematicians on the state of math and AI OpenAI | OmOshIroIdEs | 34 | 3 |
| 🟠 reddit | I read all 242 Lean scope notes in OpenAI's math repo. In at least 10 result families, the note says the headline result is not what Lean checked. OpenAI | MysteriousAvocado580 | 0 | 6 |
| 🟠 reddit | Fields Medalist on the OpenAI Math Release OpenAI | PianistWinter8293 | 1309 | 435 |
| 🟧 hn | Why OpenAI's latest results dump has left mathematicians in shock | ColinWright | 4 | 1 |
| 🟧 hn | 'Pure insanity': Mathematicians react to OpenAI's math results drop | sbulaev | 1 | 0 |
2026-10-11T10:09:20Z
grounded: converges/high — This case is a live, multi-community field test of several load-bearing frameworks in Scott's canon: the Governance Stack's Authority Infrastructure layer (AGMA
2026-10-11T09:53:45Z
New Verge coverage adds independent mainstream corroboration; measured heat shows cooling momentum but peer_percentile 96.7 confirms cross-platform top-decile spread. Two Lean-verified building-on artifacts (CrocSwap, DaniilKi) and three withdrawals stress-test AGMAI protocol. Technical critique (scope-note gaps in ≥10 families) and second Fields Medalist voice (Duminil-Copin) directly contest verification quality. AHM boycott call amplified by Tao creates organized resistance with multiple Fields Medalist voices. Core resolution variables unchanged: no completed expert verification, no AGMAI primary text, no second batch, no cross-lab adoption.
2026-10-11T09:35:24Z
evidence attached: hn.story.50041162 — The Verge covers mathematician reactions to OpenAI's math drop, independent corroboration of the accelerating case.
2026-10-11T04:40:07Z
Scott up-voted the case (explicit attention signal). Measured heat shows peer_percentile 98.1 and accelerating momentum despite lower absolute rate — cross-platform top-decile spread confirmed. Velocity spike on Duminil-Copin Fields Medalist reaction (381 vs p90 132) shows institutional resistance narrative still expanding. Technical critique (Lean scope notes gaps in ≥10 families) and second Fields Medalist voice now directly contest verification quality. Two Lean-verified building-on artifacts (CrocSwap, DaniilKi) and three withdrawals stress-test AGMAI protocol. Core resolution variables unchanged: no completed expert verification, no AGMAI primary text, no second batch, no cross-lab adoption.
2026-10-11T01:05:26Z
New substantive technical critique reveals gaps between headline claims and formalized statements in ≥10 result families; Fields Medalist Duminil-Copin's direct 'run over by trucks' reaction adds second Fields Medalist voice to institutional resistance; Conversation article extends mainstream coverage. Verification quality now directly contested; institutional pushback now has multiple Fields Medalist voices. Core resolution variables unchanged: no completed expert verification of core batch, no AGMAI primary text confirmation, no second batch, no cross-lab protocol adoption.
2026-10-11T00:36:53Z
evidence attached: hn.story.50038054 — Conversation article covering OpenAI's math-results dump with Lean proofs, the same episode the accelerating case tracks.
2026-10-11T00:36:53Z
evidence attached: reddit.post.1x2rufy — Fields Medalist Hugo Duminil-Copin's public reaction to OpenAI math release — independent expert corroboration of the release's scope and impact.
2026-10-11T00:36:53Z
evidence attached: reddit.post.1x2syz2 — Direct critique of OpenAI math release's Lean scope notes — headline claims not matching formalized statements — material evidence for the release's verification quality.
2026-10-10T22:30:52Z
Measured heat shows sharp cooling (6.5 pts/hr vs 948 peak) but peer_percentile 88.5 and magnitude_valve_eligible confirm cross-platform top-decile spread. Periphery expands: compiled 100+ mathematician reactions (reddit.post.1x2notw), continued mainstream coverage. Two Lean-verified building-on artifacts (CrocSwap, DaniilKi) and three withdrawals stress-testing AGMAI protocol remain the only concrete uptake signals. Institutional resistance organized (AHM + Tao amplification, Duminil-Copin Fields Medalist reaction). Core resolution variables unchanged: no completed expert verification of core batch, no AGMAI Sept 29 primary text confirmation, no second batch, no cross-lab protocol adoption. Velocity down, periphery widening.
2026-10-10T21:38:13Z
evidence attached: reddit.post.1x2notw — shared external link with case evidence
2026-10-10T05:31:56Z
Two concrete Lean-verified building-on artifacts now exist (CrocSwap integer-mult-bounds improvement; DaniilKi simplex-product-growth extension), three withdrawals stress-test the AGMAI protocol, organized institutional resistance (AHM statement amplified by Terence Tao), a Fields Medalist's visceral public reaction (Duminil-Copin), and Tao's authoritative blog post on Lean reliability — but still no completed expert verification of the core batch, no confirmation of AGMAI's Sept 29 primary text (rumored to contradict OpenAI's framing), no second batch, and no cross-lab protocol adoption. Periphery expanding: builders, mainstream media, institutional governance conflict.
2026-10-10T04:39:54Z
evidence attached: hn.story.50019499 — HN discussion of community reactions to OpenAI's AGMAI math release provides independent corroboration of its impact
2026-10-10T03:38:50Z
Case now has two concrete Lean-verified building-on artifacts (CrocSwap integer-mult-bounds improvement; DaniilKi simplex-product-growth extension), three withdrawals stress-testing the AGMAI protocol, organized institutional resistance (AHM statement amplified by Terence Tao), a Fields Medalist's visceral public reaction (Duminil-Copin), and Tao's authoritative blog post on Lean reliability — but still no completed expert verification of the core batch, no confirmation of AGMAI's Sept 29 primary text (rumored to contradict OpenAI's framing), no second batch, and no cross-lab protocol adoption. Periphery expanding: builders, mainstream media, institutional governance conflict.
2026-10-10T01:44:12Z
evidence attached: hn.story.50026202 — Independent builder reduces an OpenAI proof by 25%, demonstrating community engagement with the released mathematical formalizations.
2026-10-10T01:44:12Z
evidence attached: hn.story.50024090 — Terry Tao's authoritative blog post on Lean theorem prover reliability and AI directly addresses the math community verification question central to the open case's hypothesis.
2026-10-10T01:44:11Z
evidence attached: reddit.post.1x1uwtl — Substantive mathematician's critique of OpenAI's AGMAI math release and Lean formalizations, directly bearing on the case's hypothesis about math community verification and release protocol adoption.
2026-10-09T19:58:39Z
evidence attached: hn.story.50022754 — Blog post reporting bugs in OpenAI's math release directly bears on the open case about that release's verification and adoption.
2026-10-09T19:58:39Z
evidence attached: reddit.post.1x1mzkn — Fields Medalist's strong public reaction to OpenAI's claimed 350 solved problems — independent expert corroboration of the case's core claim.
2026-10-09T19:58:39Z
evidence attached: reddit.post.1x1riz0 — Direct expert commentary (Buckmaster) on the OpenAI math findings controversy covered by the case.
2026-10-09T19:58:39Z
evidence attached: reddit.post.1x1t7ru — Singularity community discussion reacting to OpenAI's math solutions release, adding community-reception evidence to the open case.
2026-10-09T19:58:39Z
evidence attached: reddit.post.1x1qgik — Scientific American coverage of OpenAI's new proofs — independent corroboration of the math-release episode.
2026-10-09T19:58:38Z
evidence attached: reddit.post.1x1r4gx — Opinion piece reacting to OpenAI's math release, directly bearing on the open case about community reception and verification.
2026-10-09T19:58:37Z
evidence attached: hn.story.50023260 — shared external link with case evidence
2026-10-09T17:52:02Z
Protocol stress test confirmed: three results withdrawn via GitHub PR, validating the release protocol's quality-control mechanism. Second independent builder artifact (DaniilKi/simplex-product-growth) joins CrocSwap's Lean-verified improvement, confirming building-on uptake. Institutional pushback escalated via Terence Tao amplifying AHM statement. Initial explosive attention (peak 811 pts/h) has cooled to sustained high engagement (12.8 pts/h, 88.5th percentile), shifting from 'look again within hours' to 'track weekly'. Core resolution variables — community verification completion and cross-lab protocol adoption — remain open.
2026-10-09T13:51:10Z
evidence attached: hn.story.50019947 — Withdrawal of three preprints after the 722-manuscript release is a direct follow-up to the open math-release episode.
2026-10-09T08:13:56Z
Case has moved from corroborated to accelerating: two independent builder artifacts now exist (CrocSwap Lean-verified improvement + DaniilKi independent extension), mainstream coverage from NYT and Scientific American, high-authority institutional pushback via Terence Tao amplifying AHM statement, and protocol stress test via three confirmed withdrawals. Measured heat at 99th percentile with steady momentum across three platforms. The episode is now a live, multi-community field test of third-party-advised release governance.
2026-10-09T04:52:45Z
evidence attached: hn.story.50013552 — NYT coverage of mathematician reactions to OpenAI's release is independent corroboration of the episode's impact.
2026-10-09T04:52:45Z
evidence attached: hn.story.50013902 — Blog post analyzes the mathematical content of OpenAI's recent release, bearing on community verification.
2026-10-09T04:52:45Z
evidence attached: hn.story.50014827 — shared external link with case evidence
2026-10-08T23:06:44Z
evidence attached: hn.story.50010818 — Independent Medium coverage of OpenAI's math release with Lean proofs adds external attention to the corroborated case.
2026-10-08T23:06:44Z
evidence attached: reddit.post.1x0zwf7 — Independent Scientific American coverage of mathematicians' reactions to OpenAI's math release directly bears on the case's hypothesis about community verification and adoption of the release protocol.
2026-10-08T23:06:43Z
evidence attached: hn.story.50008412 — MathOverflow post notes lack of correspondence address for OpenAI math release, relevant to release protocol.
2026-10-08T23:06:43Z
evidence attached: reddit.post.1x0wlqn — Community discussion of a claimed Navier-Stokes solution verification failure with Lean proof errors, relevant to the case's theme of AI-generated mathematics verification standards.
2026-10-08T21:23:01Z
Periphery genuinely expanding: second independent builder artifact (DaniilKi/simplex-product-growth) confirmed alongside CrocSwap/integer-mult-bounds; Scientific American coverage; Terence Tao blog amplification of AHM statement; three withdrawals confirmed via GitHub — all within ~60h. Measured_heat accelerating at 98th percentile (205 pts/h, 3 platforms) and magnitude_valve_eligible confirm spread outrunning prior medium heat. Core resolution variables (expert verification of batch, AGMAI primary-text check, cross-lab protocol adoption) remain weeks-scale, but the governance/verification field test is now visibly live across implementations, outlets, and institutional reaction.
2026-10-08T17:49:20Z
evidence attached: reddit.post.1x0q7vz — Fields Medalist Terence Tao's public commentary on OpenAI's math releases provides high-authority external reaction to the episode.
2026-10-08T17:49:20Z
evidence attached: reddit.post.1x0r22t — Scientific American article covers OpenAI's release of hundreds of mathematical results, directly corroborating the open case's scope and external visibility.
2026-10-08T17:49:20Z
evidence attached: reddit.post.1x0seng — Builder demonstrates concrete open-source artifacts (simplex-product-growth, curveball-error-budget) extending OpenAI's published mathematical research with AI assistance.
2026-10-08T16:11:55Z
Second independent building-on artifact confirmed (builder's simplex-product-growth + CrocSwap/integer-mult-bounds) shows the release is being used as a foundation — a material advance on the verification axis. But Scott's feedback_interrupt vote signals the social heat (97.8th percentile, AHM/Tao controversy, batch rumors) has outrun substantive verification progress: core batch still lacks completed expert review, AGMAI primary-text check and cross-lab adoption unresolved. Cooling heat to medium respects the vote while keeping the case live for the weeks-to-months governance/verification window.
2026-10-08T15:50:38Z
evidence attached: reddit.post.1x0shek — Builder demonstrates independent adoption of OpenAI's released mathematical discoveries by extending them into two open-source projects, corroborating the release's utility.
2026-10-08T13:59:38Z
Measured heat accelerating at 99.2th percentile across three platforms (174 pts/h, accelerating momentum) with magnitude-valve-eligible spread — the periphery is expanding (video commentary, Ask HN on unlocked advancements, duplicate AHM coverage) while substantive developments hold at three confirmed withdrawals stress-testing the AGMAI protocol, AHM/Tao organized resistance to the third-party-advised model, and a single Lean-verified building-on artifact (CrocSwap/integer-mult-bounds). The critical verification/governance window remains active; AGMAI primary-text check, batch-1-of-3 rumor, completed expert verification, and cross-lab adoption all unresolved.
2026-10-08T12:41:57Z
evidence attached: hn.story.50004713 — shared external link with case evidence
2026-10-08T11:58:22Z
Three results withdrawn (confirmed via GitHub history/PR) turns the verification hypothesis into a live stress test of the AGMAI-advised release protocol. First concrete building-on artifact appears: CrocSwap/integer-mult-bounds (Lean-verified improvement on OpenAI's batch), single group, unaudited. AHM statement amplified by Terence Tao (blog + Mathstodon) constitutes organized institutional resistance to the third-party-advised release model. AGMAI Sept 29 primary-text check and batch-1-of-3 rumor remain unresolved; no completed expert verification of core batch; no other-lab protocol adoption. Measured heat cooling (153 pts/h vs 616 peak) but 98th-percentile cohort spread across three platforms — withdrawal and first building-on signal may reignite attention.
2026-10-08T10:42:27Z
evidence attached: hn.story.50004101 — Video commentary on OpenAI's 377-problem math release; additional independent coverage of the same episode.
2026-10-08T10:42:27Z
evidence attached: hn.story.50003448 — Community discussion asking about downstream math advancements unlocked by OpenAI's released math results; directly engages the open case.
2026-10-08T10:42:27Z
evidence attached: hn.story.50003677 — shared external link with case evidence
2026-10-08T09:20:28Z
OpenAI withdrew three results from the 377-result batch (confirmed by three independent GitHub/HN sources), making the verification hypothesis concrete: the release protocol's quality control is being stress-tested in real time. The building-on axis now has a named, Lean-verified artifact (CrocSwap/integer-mult-bounds), still single-group and unaudited. AHM/Tao institutional resistance remains the organized counterweight. AGMAI Sept 29 primary-text check and batch-1-of-3 rumor remain unresolved. Measured heat cooling (148 pts/h vs 593 peak) but 99th-percentile cohort spread across three platforms — withdrawal may reignite attention.
2026-10-08T08:40:10Z
evidence attached: hn.story.50003100 — GitHub PR showing manuscript withdrawals; third independent source confirming the withdrawal episode
2026-10-08T08:40:10Z
evidence attached: hn.story.50003107 — GitHub history.md confirmation of OpenAI withdrawing three math papers; second independent source for same development
2026-10-08T08:40:10Z
evidence attached: hn.story.50002650 — OpenAI withdrawing three mathematical results directly contradicts/develops the corroborated release case; requires re-judging verification and protocol adoption hypothesis
2026-10-08T07:52:59Z
The building-on axis moved from a bare claim to a concrete checkable artifact: the Lean-verified integer-multiplication-bound improvement now has a named public repo (github.com/CrocSwap/integer-mult-bounds), the first tangible community building-on within ~2 days of release. Still single-group and unaudited; AHM/Tao institutional resistance stands as the counterweight. Measured heat is cooling off peak (94 pts/h vs 561) but still 98th-percentile for its cohort across three platforms and magnitude-valve eligible — genuinely broad spread, so medium heat holds despite cooling momentum.
2026-10-08T07:01:41Z
evidence attached: reddit.post.1x0jls1 — Independent researchers verifying and improving OpenAI's released math results in Lean directly corroborates the case's hypothesis about community verification of the advised-release protocol.
2026-10-08T07:01:41Z
evidence attached: reddit.post.1x0jjv8 — Researchers independently improving on OpenAI's released math results with Lean verification, extending the case's episode of structured third-party-advised AI mathematics release.
2026-10-08T05:42:11Z
Institutional pushback now primary-sourced via Terence Tao's blog (AHM statement) and Mathstodon response — high-authority resistance to the release protocol is verified. AGMAI Sept 29 recommendations still need direct agmai.org check to resolve governance contradiction claim. Verification uptake, formalization building-on, and cross-lab protocol adoption remain on weeks-to-months clocks with no confirmed progress. Measured heat shows cooling momentum (74 pts/h vs 417 peak) but 94th-percentile peer rate and hot topic bands confirm broad, multi-platform spread. The case remains a live field test of Scott's Governance Stack and Verification Loops frameworks.
2026-10-08T05:40:43Z
evidence attached: hn.story.50002008 — Terence Tao's public response on Mathstodon to OpenAI's math drop — independent expert corroboration of the open corroborated case on AI-generated mathematics release.
2026-10-08T05:34:20Z
grounded: converges/high — The case is a live field test of the governance and verification patterns Scott's canon prescribes: AGMAI as an independent Authority Infrastructure layer (Gove
2026-10-08T04:34:07Z
Primary-source confirmation of the AHM statement on Terence Tao's blog (Fields Medalist amplification) moves the institutional-reaction axis from secondhand reports to verified high-authority pushback — directly relevant to whether the math community verifies/adopts the release protocol. The AGMAI Sept 29 recommendations still need direct checking against agmai.org to resolve the governance contradiction claim. Verification and protocol adoption remain on weeks-to-months clocks; no completed verification, formalization uptake, or lab adoption yet. Measured heat shows cooling momentum (64 pts/h vs 381 peak) but 94th-percentile peer rate confirms the story's spread remains broad.
2026-10-08T04:32:07Z
evidence attached: hn.story.50001740 — Paper from the openai/math GitHub release (matrix multiplication exponent bound) is a concrete first-party artifact from the batch under community verification.
2026-10-08T04:32:07Z
evidence attached: reddit.post.1x0gqmb — Terence Tao amplifying AHM statement against OpenAI's math release is high-authority community pushback directly relevant to whether mathematicians verify/adopt the release protocol.
2026-10-08T04:32:07Z
evidence attached: reddit.post.1x0gpxr — shared external link with case evidence
2026-10-08T00:32:40Z
The institutional-reaction axis moves from 'content unknown' to backlash-leaning: secondhand reports indicate the AHM statement urges mathematicians to discontinue work with OpenAI, and a separate claim that AGMAI's own Sept 29 recommendations counseled against testing advanced problems on internal models would, if confirmed against agmai.org, undercut the release's legitimacy framing. Alongside Aaronson's expert commentary and an unverified Lean-verified extension claim — the first potential building-on signal — these are real new strands on the resolution variables, but none yet constitutes verification or protocol adoption.
2026-10-08T00:26:04Z
evidence attached: hn.story.50000421 — Formal math-community statement (on Terry Tao's blog) responding to the Oct 6 release — central to whether the community verifies and accepts the advised-release protocol.
2026-10-08T00:26:04Z
evidence attached: reddit.post.1x0c889 — Surfaces Scott Aaronson's expert commentary on the Oct 6 math release — exactly the expert-response evidence that case's resolution tracks; flag as first-tier context despite low Reddit score.
2026-10-08T00:26:04Z
evidence attached: reddit.post.1x0cqu6 — Reported Lean-verified extension of OpenAI's math drop days later is early follow-on-adoption evidence bearing on whether AI-generated math becomes standard practice.
2026-10-08T00:26:04Z
evidence attached: reddit.post.1x0cls6 — shared external link with case evidence
2026-10-07T22:46:20Z
First institutional reaction lands: the Association for Human Mathematics has issued a formal statement on the release — a new actor class on the community-acceptance axis — but its content is unknown and traction near-zero (4 pts, 0 comments), so it registers as material presence, not yet classifiable endorsement or backlash. The Barnette expert thread's 76→164 pt surge is engagement amplifying an existing signal, not new substance; the loud spread (magnitude-valve-eligible, ~95th percentile peer rate) stays at medium heat because momentum is steady off peak and the resolution variables — verification and protocol adoption — still run on a weeks-to-months clock.
2026-10-07T22:34:02Z
evidence attached: hn.story.49999159 — Independent corroboration signal: an organized mathematicians' association formally reacting to OpenAI's math release is exactly the community-acceptance variable that case's resolution hinges on.
2026-10-07T19:42:13Z
The meaning shifts from 'loud spread + speculation' to 'spread plus the first signs of mathematical engagement': a domain expert's technical read of released result #180 (Barnette's Conjecture) — favorable on novelty of the complex-valued exponential-sum technique — is the earliest movement on the verification axis, though it is expert reception, not a correctness verification. SciAm coverage and Prinz's 'research taste' commentary are periphery and reception, largely amplification of what the case already knows; medium heat holds because the periphery is still expanding (new outlet, expert threads surging 14→76 pts) while resolution substance moves on a weeks-to-months clock.
2026-10-07T18:32:49Z
evidence attached: reddit.post.1x030cj — Named academic commentary on the release's 'research taste' is part of the community reception that resolves the case.
2026-10-07T18:32:49Z
evidence attached: reddit.post.1x035ne — Independent domain expert engaging substantively with one released OpenAI result is exactly the math-community verification evidence the case turns on.
2026-10-07T18:32:49Z
evidence attached: reddit.post.1x03feu — shared external link with case evidence
2026-10-07T17:37:01Z
The periphery crossed from thin to broad: NYT mainstream coverage ('further roiling the field') plus a 4x Reddit surge on the batch-1-of-3 rumor thread (227 pts / 114 comments, 7.2x peer velocity) now give two independent lines beyond the first-party release, so this is a corroborated multi-source story rather than a thinly-traced one. But the added signal is still spread and takeoff speculation — zero verification, formalization uptake, or protocol adoption has surfaced — so heat rises to medium on the loud spread reading (magnitude valve, top-decile across 3 platforms, 90th percentile peer rate), not on resolution progress.
2026-10-07T15:29:39Z
evidence attached: hn.story.49993463 — NYT mainstream coverage of OpenAI's 377-problem math release 'further roiling the field' — independent high-authority spread beyond the original GitHub drop.
2026-10-07T14:46:01Z
The release's social footprint grew — the Reddit rumor thread jumped from 8 to 53 points with 19 comments — but the added signal is awareness and speculation, not the community verification or lab protocol-adoption the hypothesis actually tests; the only substantive element is still the uncorroborated 'batch 1 of 3' professor rumor (a plausibly domain-adjacent source, but single-echo). Meaning unchanged: a live first-party release waiting on a weeks-scale verification clock, so heat stays low despite the hot sibling neighbourhood.
2026-10-07T14:27:38Z
evidence attached: reddit.post.1wzxpir — Uncorroborated professor rumor that OpenAI's math release is batch 1 of 3 directly bears on whether the advised-release practice is continuing; flag as weak single-source signal.
2026-10-07T08:40:06Z
The second-platform attachment proved to be a thin echo rather than independent uptake: a low-traction HN repost whose only comment is vague sentiment, adding no verification or protocol-adoption signal. The case's meaning is unchanged — a live first-party release awaiting a weeks-scale community verification and lab-adoption test — so attention cools until a substantive verification or adoption signal arrives.
2026-10-07T08:25:41Z
evidence attached: hn.story.49989115 — Independent press coverage of a further large batch of released OpenAI math results directly bears on whether the advised-release protocol and verification uptake continue.
2026-10-07T06:41:25Z
case created — The claim owner's own release artifact materializes the previously reported AGMAI-guided batch of AI mathematics results — no open case tracks the release itself (distinct from the single Millennium-claim case), and verification plus formalization updates are live.