AGMAI is a nine-member independent panel of leading mathematicians (including Gowers, Hairer, Vakil, and Witten), hosted at the Institute for Advanced Study and unpaid, announced 2026-09-21 after OpenAI approached some members about an external advisory board and they formed an independent group instead. Its concrete mandate is advising OpenAI on assessing and coordinating the release of a large batch of mathematics results OpenAI reports its internal model produced — announced alongside claims of 100+ solved open problems and a Navier-Stokes resolution that outside specialists have not been able to verify, since no itemized list or underlying proofs were released. The group, which explicitly holds no decision power over any company, has since published its release recommendations (2026-09-30, 'Responsible Release of AI-Generated Mathematics'), and UT Austin math chair Francesco Maggi now publicly describes OpenAI as preparing to release ~400 AI-generated proofs at once. Caveat on sourcing: the supplied web coverage documents only the launch; the recommendations publication and Maggi statement rest on the case's own tracked evidence trail, and the live experiment is whether OpenAI complies with the recommendations or ignores them.
AGMAI's published recommendations (desloppified proofs, attribution, verification artifacts, paid human vetting, zero decision power) are nine elite mathematicians independently arriving at the evidence-package / auditor-not-janitor norms Scott's Proof-Carrying Transformation and transferable-authority arguments predate — dated receipts — while the comply-vs-ignore experiment its no-authority design sets up is now a live public test of his borrowed-authority claim that recommendation without enforceable warrant expires. HN's consolidation against the proprietary-testing ask as 'gatekeeping' sharpens exactly that expiry mechanism (falling reputational cost of OpenAI noncompliance), and Maggi's 'discovery is no longer the scarce part' corroboration is the production-vs-warrant separation restated by a math chair — though domain distance keeps this at medium rather than high.
dev:concept.recommendation-authority-separationip:concept.auditor-not-janitorip:concept.borrowed-authorityip:concept.transferable-authorityip:source.proof-carrying-transformation-ebookip:concept.evidence-packageradar:concept.ai-assisted-mathematicsradar:concept.ai-governanceradar:concept.verificationradar:concept.benchmark-integrityradar:frontiermath-tier3-saturationradar:openai-third-party-assessment-principlesradar:openai-connes-rigidity-disproof-review
queries asked of Scott's wikis
- auditor-not-janitor separation of AI production from warranted acceptance
- recommendation authority without decision power borrowed authority
- benchmark contamination testing frontier models on proprietary systems frontiermath
- AI-generated mathematics verification provenance desloppified proofs attribution
- external release governance legitimacy expert advisory trust washing
- verification artifacts human vetting AI research claims
| source | object | author | score | comments |
|---|
| 🟧 hn | The Advisory Group on Mathematics and Artificial IntelligenceRetrieved article excerptOpen article · Retrieved 2026-09-21T20:23:35.743573+00:00 [What's new](https://terrytao.wordpress.com/ "Return to front page")
Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Tao
- [Home](https://terrytao.wordpress.com/ "Return to front page")
- [About](https://terrytao.wordpress.com/about/)
- [Career advice](https://terrytao.wordpress.com/career-advice/)
- [On writing](https://terrytao.wordpress.com/advice-on-writing-papers/)
- [Books](https://terrytao.wordpress.com/books/)
- [Mastodon+](https://terrytao.wordpress.com/mastodon-posts/)
- [Applets](https://terrytao.wordpress.com/applets/)
- [Subscribe to feed](https://terrytao.wordpress.com/feed/ "Subscribe to the What's new feed")
# Announcing the Advisory Group on Mathematics and Artificial Intelligence
21 September, 2026 in [advertising](https://terrytao.wordpress.com/category/non-technical/advertising/), [math.GM](https://terrytao.wordpress.com/category/mathematics/mathgm/) | Tags: [AI](https://terrytao.wordpress.com/tag/ai/), [Camilo De Lellis](https://terrytao.wordpress.com/tag/camilo-de-lellis/), [Edward Witten](https://terrytao.wordpress.com/tag/edward-witten/), [Francois Charles](https://terrytao.wordpress.com/tag/francois-charles/), [Martin Hairer](https://terrytao.wordpress.com/tag/martin-hairer/), [Melanie Matchett Wood](https://terrytao.wordpress.com/tag/melanie-matchett-wood/), [Nikhil Srivastava](https://terrytao.wordpress.com/tag/nikhil-srivastava/), [Ravi Vakil](https://terrytao.wordpress.com/tag/ravi-vakil/), [Timothy Gowers](https://terrytao.wordpress.com/tag/timothy-gowers/), [Ulrike Tillman](https://terrytao.wordpress.com/tag/ulrike-tillman/) | by [Terence Tao](https://terrytao.wordpress.com/author/teorth/)
*[This is a guest post by the [Advisory Group on Mathematics and Artificial Intelligence](https://agmai.org/). This blog post was initially written in a different file format and converted using AI. — T.]*
We would like to use this guest post to announce the creation of the **Advisory Group on Mathematics and Artificial Intelligence** hosted at the Institute for Advanced Study (Princeton) and online at [agmai.org](https://agmai.org/).
The rapid advances in artificial intelligence (AI) present both opportunities and challenges for mathematical research. We believe that we are at a historic moment for our discipline. Recent events raise urgent questions about how to support the long-term prospects for deep human understanding of mathematics.
**Purpose.** The purpose of this group is to advise AI companies on their interactions with mathematical research and with the mathematical community, including the responsible presentation and release of mathematical results. We seek to work for the best interest of mathematics and the mathematical community, and to serve as one possible channel of communication between mathematicians and the AI industry.
**Independence, Transparency, and Accountability.** This group operates independently of any AI company and members do not accept payment for this work. We will publish our recommendations to AI companies on this website. We are willing to offer such recommendations to any AI company whose models are likely to have a significant impact on mathematics. Although we will give advice, we do not have decision making power at any AI company, and the responsibility for the decisions made by any company will rest with that company.
**Advisory Group Members**
- François Charles (ENS-PSL)
- Camillo De Lellis (IAS, GSSI)
- Timothy Gowers (College de France, Cambridge)
- Martin Hairer (EPFL, Imperial College London)
- Nikhil Srivastava (Berkeley, Simons Institute)
- Ulrike Tillmann (Oxford, INI)
- Ravi Vakil (Stanford)
- Edward Witten (IAS)
- Melanie Matchett Wood (Harvard)
This group came together after OpenAI approached some of its members about establishing an external advisory board. In agreement with OpenAI, they decided to create an independent group and invite others to join.
**Current Task.** We are currently facing the very specific challenge of advising OpenAI on how to coordinate the release of a large number of significant results in mathematics that they report have been produced by their internal model.
We welcome input from the mathematical community on this question. Please use [this form](https://agmai.org/input) to share your thoughts with us as soon as possible**.** Your responses will be used to inform our recommendations and will not be made public without your approval.
### Share this:
- [Print (Opens in new window)
Print](https://terrytao.wordpress.com/2026/09/21/advisory-group-on-mathematics-and-artificial-intelligence/#print?share=print)
- Email a link to a friend (Opens in new window)
Email
- [More](https://terrytao.wordpress.com/2026/09/21/advisory-group-on-mathematics-and-artificial-intelligence/)
- [Share on WhatsApp (Opens in new window)
WhatsApp](https://terrytao.wordpress.com/2026/09/21/advisory-group-on-mathematics-and-artificial-intelligence/?share=jetpack-whatsapp)
- [Share on Bluesky (Opens in new window)
Bluesky](https://terrytao.wordpress.com/2026/09/21/advisory-group-on-mathematics-and-artificial-intelligence/?share=bluesky)
- [Share on Nextdoor (Opens in new window)
Nextdoor](https://terrytao.wordpress.com/2026/09/21/advisory-group-on-mathematics-and-artificial-intelligence/?share=nextdoor)
- [Share on Threads (Opens in new window)
Threads](https://terrytao.wordpress.com/2026/09/21/advisory-group-on-mathematics-and-artificial-intelligence/?share=threads)
- [Share on Tumblr (Opens in new window)
Tumblr](https://terrytao.wordpress.com/2026/09/21/advisory-group-on-mathematics-and-artificial-intelligence/?share=tumblr)
- [Share on Telegram (Opens in new window)
Telegram](https://terrytao.wordpress.com/2026/09/21/advisory-group-on-mathematics-and-artificial-intelligence/?share=telegram)
- [Share on LinkedIn (Opens in new window)
LinkedIn](https://terrytao.wordpress.com/2026/09/21/advisory-group-on-mathematics-and-artificial-intelligence/?share=linkedin)
- [Share on X (Opens in new window)
X](https://terrytao.wordpress.com/2026/09/21/advisory-group-on-mathematics-and-artificial-intelligence/?share=x)
- [Share on Facebook (Opens in new window)
Facebook](https://terrytao.wordpress.com/2026/09/21/advisory-group-on-mathematics-and-artificial-intelligence/?share=facebook)
- [Share on Reddit (Opens in new window)
Reddit](https://terrytao.wordpress.com/2026/09/21/advisory-group-on-mathematics-and-artificial-intelligence/?share=reddit)
- [Share on Mastodon (Opens in new window)
Mastodon](https://terrytao.wordpress.com/2026/09/21/advisory-group-on-mathematics-and-artificial-intelligence/?share=mastodon)
- [Share on Pinterest (Opens in new window)
Pinterest](https://terrytao.wordpress.com/2026/09/21/advisory-group-on-mathematics-and-artificial-intelligence/?share=pinterest)
Like Loading...
### Recent Comments
| | |
| --- | --- |
| Unknown's avatar | Anonymous on [Announcing the Advisory Group…](https://terrytao.wordpress.com/2026/09/21/advisory-group-on-mathematics-and-artificial-intelligence/comment-page-1/#comment-695969) |
| Unknown's avatar | Anonymous on [Crowdsourcing a list of genera…](https://terrytao.wordpress.com/2026/09/10/crowdsourcing-a-list-of-general-resources-on-ai-and-mathematics/comment-page-1/#comment-695968) |
| Unknown's avatar | Anonymous on [Announcing the Advisory Group…](https://terrytao.wordpress.com/2026/09/21/advisory-group-on-mathematics-and-artificial-intelligence/comment-page-1/#comment-695967) |
| Unknown's avatar | Anonymous on [Why Do We Need Human Mathemati…](https://terrytao.wordpress.com/2026/09/19/why-do-we-need-human-mathematicians-anymore/comment-page-1/#comment-695963) |
| Unknown's avatar | Anonymous on [If math is more than proof, we…](https://terrytao.wordpress.com/2026/09/18/if-math-is-more-than-proof-we-need-to-better-celebrate-the-rest-of-it/comment-page-1/#comment-695955) |
| Unknown's avatar | Anonymous on [Announcing the Advisory Group…](https://terrytao.wordpress.com/2026/09/21/advisory-group-on-mathematics-and-artificial-intelligence/comment-page-1/#comment-695950) |
| Unknown's avatar | Anonymous on [Announcing the Advisory Group…](https://terrytao.wordpress.com/2026/09/21/advisory-group-on-mathematics-and-artificial-intelligence/comment-page-1/#comment-695949) |
| Unknown's avatar | Anonymous on [Announcing the Advisory Group…](https://terrytao.wordpress.com/2026/09/21/advisory-group-on-mathematics-and-artificial-intelligence/comment-page-1/#comment-695948) |
| Unknown's avatar | Anonymous on [Announcing the Advisory Group…](https://terrytao.wordpress.com/2026/09/21/advisory-group-on-mathematics-and-artificial-intelligence/comment-page-1/#comment-695947) |
| [just different's avatar](http://hyperspaced844004379.wordpress.com) | [just different](http://hyperspaced844004379.wordpress.com) on [Announcing the Advisory Group…](https://terrytao.wordpress.com/2026/09/21/advisory-group-on-mathematics-and-artificial-intelligence/comment-page-1/#comment-695946) |
| Unknown's avatar | Anonymous on [Announcing the Advisory Group…](https://terrytao.wordpress.com/2026/09/21/advisory-group-on-mathematics-and-artificial-intelligence/comment-page-1/#comment-695945) |
| DH's avatar | DH on [Announcing the Advisory Group…](https://terrytao.wordpress.com/2026/09/21/advisory-group-on-mathematics-and-artificial-intelligence/comment-page-1/#comment-695944) |
| Burt Totaro's avatar | Burt Totaro on [Announcing the Advisory Group…](https://terrytao.wordpress.com/2026/09/21/advisory-group-on-mathematics-and-artificial-intelligence/comment-page-1/#comment-695942) |
| Unknown's avatar | Anonymous on [Why Do We Need Human Mathemati…](https://terrytao.wordpress.com/2026/09/19/why-do-we-need-human-mathematicians-anymore/comment-page-1/#comment-695941) |
| Unknown's avatar | Anonymous on [Announcing the Advisory Group…](https://terrytao.wordpress.com/2026/09/21/advisory-group-on-mathematics-and-artificial-intelligence/comment-page-1/#comment-695940) |
### Top Posts
- [Why Do We Need Human Mathematicians Anymore?](https://terrytao.wordpress.com/2026/09/19/why-do-we-need-human-mathematicians-anymore/)
- [If math is more than proof, we need to better celebrate the rest of it](https://terrytao.wordpress.com/2026/09/18/if-math-is-more-than-proof-we-need-to-better-celebrate-the-rest-of-it/)
- [A Severe Misalignment of AI in Mathematics](https://terrytao.wordpress.com/2026/09/11/a-severe-misalignment-of-ai-in-mathematics/)
- [Announcing the Advisory Group on Mathematics and Artificial Intelligence](https://terrytao.wordpress.com/2026/09/21/advisory-group-on-mathematics-and-artificial-intelligence/)
- [Why I didn't sign the Fields medallists' letter](https://terrytao.wordpress.com/2026/09/17/why-i-didnt-sign-the-fields-medallists-letter/)
- [SAIR's Open Math Model initiative](https://terrytao.wordpress.com/2026/09/18/sairs-open-math-model-initiative/)
- [247A, Notes 1: Rearrangement-invariant spaces](https://terrytao.wordpress.com/2026/09/20/247a-notes-1-rearrangement-invariant-spaces/)
- [The technical debt of AI-generated mathematics](https://terrytao.wordpress.com/2026/09/15/the-technical-debt-of-ai-generated-mathematics/)
- [A CERN for AI-assisted science?](https://terrytao.wordpress.com/2026/09/17/a-cern-for-ai-assisted-science/)
- [Open letter from Fellows of the Royal Society on AI existential risk](https://terrytao.wordpress.com/2026/09/16/open-letter-from-fellows-of-the-royal-society-on-ai-existential-risk/)
### Archives
- [September 2026](https://terrytao.wordpress.com/2026/09/) (28)
- [August 2026](https://terrytao.wordpress.com/2026/08/) (6)
- [July 2026](https://terrytao.wordpress.com/2026/07/) (9)
- [June 2026](https://terrytao.wordpress.com/2026/06/) (3)
- [May 2026](https://terrytao.wordpress.com/2026/05/) (1)
- [March 2026](https://terrytao.wordpress.com/2026/03/) (4)
- [February 2026](https://terrytao.wordpress.com/2026/02/) (3)
- [January 2026](https | digital55 | 162 | 87 |
| 🟧 echo.blog ⭐ | The group announces its creation, independence from AI companies, and commitment to publish recommendations; its current task is advising Op | Advisory Group on Mathematics and Artificial Intelligence, guest posting on Terence Tao's blog | — | — |
| 🟠 reddit | 🚨 AI may be entering a completely different phase. OpenAI | BilelKort | 382 | 237 |
| 🟧 hn | OpenAI forms math advisory group as its AI resolves more than 100 open problems | sophymarine | 5 | 1 |
| 🟠 reddit | Apéry irrationality marked solved on FrontierMath singularity | filterdust | 327 | 52 |
| 🟧 hn | The BR essays that foresaw OpenAI's latest scandal | bryanrasmussen | 1 | 1 |
| 🟧 hn | Responsible Release of AI-Generated Mathematics | aureianimus | 123 | 214 |
| 🟠 reddit | UT Austin Math Chair Francesco Maggi says OpenAI appears to be preparing to release ~400 AI-generated proofs at once, mathematics is approaching a point where discovery is no longer the scarce part; human understanding is singularity | 141_1337 | 1015 | 501 |
| 🟧 hn | UT Austin Math Chair says OpenAI preparing to release 400 AI-generated proofs | optimalsolver | 2 | 0 |
| 🟧 hn | OpenAI Is Pissing Off a Bunch of Mathematicians–Again | beardyw | 4 | 0 |
| 🟠 reddit | OpenAI: Sharing AI progress in mathematics OpenAI | _prototype | 638 | 358 |
| 🟠 reddit | Sharing AI progress in mathematics singularity | AMBNNJ | 985 | 330 |
| 🟠 reddit | OpenAI plans to release hundreds of AI solved math problems soon singularity | Outside-Iron-8242 | 226 | 105 |
| 🟧 hn | Sharing AI Progress in Mathematics | OfficialTurkey | 1303 | 1481 |
| 🟧 hn | Mathematical manuscripts and supporting proof artifacts produced by OpenAI | vikas-sharma | 43 | 0 |
| 🟧 hn | Read the 722 new OpenAI math papers | curtis-jm | 1 | 0 |
2026-10-07T01:38:18Z
The case's named resolution trigger fired: a week after AGMAI's recommendations, OpenAI publicly released the tracked batch — 722 manuscripts across 372 families, many Lean-proofed, from an unreleased frontier model — proving out the externally-visible release-governance hypothesis, but complying selectively: the cheap process norms (verification artifacts, expedient public release) were followed while the costly asks (paid vetting, halting proprietary-model testing) were ignored, with HN sentiment having consolidated to lower noncompliance's reputational cost. Resolving absorbed at peak attention (99.5th-percentile velocity across 3 platforms justifies high heat despite cooling momentum); independent verification of the mathematics and Apéry provenance adjudication are new questions carried in adjacent tracking, not this case's hypothesis.
2026-10-06T23:36:37Z
evidence attached: hn.story.49985531 — The public 722-paper OpenAI math collection is the concrete release batch the advisory group's release-governance case is tracking.
2026-10-06T23:36:37Z
evidence attached: hn.story.49984976 — The openai/math repo of AI-produced manuscripts (score 38) is the released batch the AGMAI advisory group was consulted on — the case's central event now public with real traction.
2026-10-06T23:36:37Z
evidence attached: hn.story.49984923 — This is OpenAI's actual release of the large batch of internal-model math results the advisory group case was formed around, the event that case resolves on.
2026-10-06T23:36:37Z
evidence attached: reddit.post.1wzdhnr — WIRED's independent coverage of the same OpenAI math-batch release, including the mathematician backlash, is second-source corroboration for this open case.
2026-10-06T23:36:37Z
evidence attached: reddit.post.1wzg6bt — The advisory group's batch release has landed — OpenAI published 722 model-produced math manuscripts (many Lean-proofed) from an unreleased frontier model, directly advancing this case.
2026-10-06T23:36:37Z
evidence attached: reddit.post.1wzg30i — This official 'Sharing AI progress in mathematics' publication is plausibly the batch math release the independent advisory group was consulted on, advancing the release-governance case.
2026-10-06T20:42:17Z
evidence attached: hn.story.49981746 — Wired coverage of renewed mathematician backlash is mainstream reception evidence for the OpenAI math release-governance episode.
2026-10-06T20:42:17Z
evidence attached: hn.story.49982415 — Named UT Austin math chair independently confirming OpenAI is preparing a 400-proof AI-mathematics release — direct third-party corroboration of the episode the advisory group is deliberating.
2026-10-06T05:49:03Z
grounded: converges/medium — AGMAI's published recommendations (desloppified proofs, attribution, verification artifacts, paid human vetting, zero decision power) are nine elite mathematici
2026-10-06T05:40:39Z
The input to AGMAI's comply-vs-ignore experiment moved from company assertion to independent institutional corroboration: UT Austin math chair Francesco Maggi publicly describes OpenAI preparing to release ~400 AI-generated proofs at once (263/118, fresh 95.5th-percentile velocity) — the first influential math-establishment entrant beyond AGMAI itself, expanding the periphery into insider math communities and making the batch release imminent rather than prospective. State advances to accelerating on this substantive movement; heat holds at medium because the magnitude-valve spread reading is real (3 platforms, recommendations thread still growing at day 6) but velocity concentrates in one new locus and no core trigger (OpenAI response, actual release, Apéry adjudication) has fired.
2026-10-06T05:26:22Z
evidence attached: reddit.post.1wysmxl — Independent authority (UT Austin math chair) publicly reacting to the same ~400-proof batch release OpenAI's advisory group is weighing — strong spread (263/118) corroborating the batch-release episode.
2026-10-01T05:24:28Z
Post-publication follow-up is engagement depth, not new meaning: the recommendations thread grew to 83 pts/103 comments at the 87.9th percentile of its age cohort with steady momentum — a genuine sustained discussion (unlike the Apéry thread's residual spikes), which is what holds the case at medium heat rather than cooling it — but the periphery is not expanding (no new outlets, communities, or implementations) and no named trigger has fired, so nothing is material. Interpretively, the discussion is consolidating resistance to the proprietary-testing ask as 'gatekeeping', which lowers the reputational cost of OpenAI ignoring the recommendations and sharpens the comply-vs-ignore experiment.
2026-09-30T05:48:38Z
The case's first named trigger fired: AGMAI published its release recommendations ('Responsible Release of AI-Generated Mathematics', HN front page, 20 pts/12 comments), converting the core question from 'will the group publish' to 'does OpenAI comply — does recommendation-authority-separation yield external warrant or collapse into trust-laundering.' Content reads as mostly uncontroversial process norms (desloppified proofs, proper attribution, expedient publication with verification artifacts) plus contested asks (companies pay human mathematicians to vet AI-generated results; stop testing advanced math on proprietary models). Medium heat prices the fresh front-page observable and active substantive discussion, not the near-zero aged aggregate rate.
2026-09-30T05:26:12Z
evidence attached: hn.story.49903713 — AGMAI's published release recommendations reaching the HN front page is the independent spread and publication this case predicted.
2026-09-29T09:10:39Z
Third consecutive residual velocity-spike: the aging Apéry thread's cumulative score crossed a static p90 while measured rates sit at 0.0 pts/h and 0.0 comments/h (32nd percentile, flat momentum) and the only movement anywhere is +8 points on the launch-framing Reddit post (378→386) — no new evidence, outlets, communities, or implementations. Meaning unchanged: corroborated-but-quiet on AGMAI's publication, OpenAI's coordinated release, or Apéry provenance adjudication; the magnitude-valve footprint remains the already-alerted launch-plus-Apéry spread, and static p90 thresholds on this case's aged high-score threads are liable to keep firing spuriously.
2026-09-28T10:45:08Z
Second consecutive residual velocity-spike: the trigger is the same Apéry thread's cumulative 315-pt score crossing a static p90 threshold while measured rates halved again (1.67 pts/h vs ~180 launch peak, 50th percentile, cooling) and no new evidence, comments, outlets, or communities appeared — the magnitude-valve footprint is the already-alerted launch-plus-Apéry spread, not expanding periphery. Meaning unchanged: batch results surfacing through contested individual human+AI channels ahead of any AGMAI recommendation; the corroborated-but-quiet waiting posture stands on AGMAI's publication, OpenAI's coordinated release, or Apéry provenance adjudication.
2026-09-28T04:39:31Z
No change in meaning: the velocity-spike trigger proved residual — every evidence object is engagement-static over ~5h, the current rate is ~3.5 pts/h against the ~180 launch peak with cooling momentum and a peer-median 60th percentile, and the magnitude-valve's three-platform top-decile footprint is the already-alerted launch-plus-Apéry spread, not expanding periphery (no new outlets, communities, or implementations in this window). The operative read stands — batch results surfacing through contested individual human+AI channels ahead of any AGMAI recommendation — and the case returns to a corroborated-but-quiet waiting posture on AGMAI's publication, OpenAI's coordinated release, or Apéry provenance adjudication.
2026-09-27T23:30:19Z
The first surfaced batch result acquired decisive texture: FrontierMath's Apéry irrationality entry reads 'Solved (human + AI)', tied to a Master's student's preprint with an active community dispute over provenance (widespread suspicion the proof is mostly model-generated with minimal acknowledgment). The meaning shifts: the batch is beginning to release through individual, contested human+AI channels before AGMAI has published anything — the first live public stress-test of the governance-vs-trust-laundering question. Day-7 velocity re-spiked (11x peer baseline on the Apéry thread, 91st percentile) but is cooling; attention is re-attaching to surfacing dynamics, not the announcement.
2026-09-27T12:40:14Z
grounded: converges/medium — AGMAI is the highest-credibility institutional instantiation yet of Scott's auditor-not-janitor separation — OpenAI produces, Gowers/Witten et al. gate warrante
2026-09-27T12:32:55Z
The case gains its first external substantive trace beyond announcement-and-commentary — FrontierMath now marks the Apéry irrationality as solved — corroborating that reported batch results are beginning to surface in verifiable channels; with engagement collapsed to a trickle from its launch peak, AGMAI settles into a corroborated-but-quiet posture awaiting its published recommendations or OpenAI's coordinated release as the next meaningful events.
2026-09-27T12:22:53Z
evidence attached: hn.story.49865844 — Boston Review commentary framing the OpenAI math results as a scandal — context and spread for the release-governance case, though commentary not corroboration.
2026-09-27T12:22:53Z
evidence attached: reddit.post.1wrin3q — FrontierMath open problem (Apéry irrationality) marked solved — external evidence consistent with the reported batch of significant AI math results awaiting release.
2026-09-22T05:23:30Z
The episode now has loud cross-platform spread and accelerating discussion, warranting near-term attention, but the new headline and commentary merely repeat the announcement rather than independently validating the advisory process or mathematical claims. AGMAI remains a prospective, nonbinding public-advice mechanism, not demonstrated external oversight.
2026-09-22T05:22:48Z
evidence attached: hn.story.49796966 — This independently surfaces the advisory group and OpenAI’s reported math results, materially supporting the open release-governance case.
2026-09-21T22:42:54Z
The available primary announcement supports a concrete advisory initiative, but explicitly leaves release decisions with OpenAI rather than establishing external oversight. The newly attached Reddit discussion amplifies capability claims without independently validating either the mathematics or the advisory process.
2026-09-21T22:23:12Z
evidence attached: reddit.post.1wmq961 — This widely echoed summary directly bears on the advisory group's role and the claimed scale of OpenAI's mathematics results.
2026-09-21T20:48:23Z
grounded: novel/low — The proposed advisory process loosely resembles Scott’s separation of AI production from warranted acceptance, but the supplied material establishes neither a c
2026-09-21T20:43:24Z
case created — The concrete advisory mandate and promised public recommendations form a separate episode from verification of any particular Millennium Prize claim.