Verified · Oct 28, 2026
Independently verifiedOpenAI announced three results on Monday, October 26 — an ETH disproof, Kakeya progress, a QCD mass-gap bound — and per Scientific American, Anthropic posted its own ETH disproof mere hours later, as the releases run against the recommendations of OpenAI's own advisory group
3 sourcesOpenAI's research post (RSS pubDate 'Mon, 26 Oct 2026 14:30:00 GMT'; the fetched openai.com/news listing titles it 'Working with academic communities to build scientific understanding', Research, October 26, 2026) opens its summary: 'Today, in collaboration with researchers at Caltech, ETH Zurich, and the MIT Center for Theoretical Physics (“MIT CTP”), we're sharing three new results across mathematics, computer science, and physics: a proof that the Exponential Time Hypothesis is false; progress on the Kakeya set conjecture in finite fields; and a new upper bound on the QCD mass gap.' — the one sentence of the official capture this run saw end to end (the reader capture truncated at the second sentence's start on three attempts; recorded in the source notes, and everything beyond this sentence comes from the opened media layers). Scientific American (Joseph Howlett & Peter Hall, edited by Lee Billings; page date label 'October 27, 2026'; opened via raw HTML in full) frames the drop: 'Just a few weeks after dropping hundreds of artificial-intelligence-generated math breakthroughs on a field that's already in crisis, OpenAI is piling on more.' and 'Yesterday the company dropped three massive proofs that touched on math, physics and computer science, sending shockwaves rippling through those fields.' Per the outlet, on the ETH result: 'OpenAI's proof provides an algorithm to solve 3-SAT that is just a tiny bit faster than exponential time, refuting ETH.' — with stakes: 'First suggested in 1999, ETH can be thought of as an even stronger version of P ≠ NP', and vetting: 'Russell Impagliazzo and Ramamohan Paturi, two computer scientists at the University of California, San Diego, who first suggested ETH, as well as Ryan Williams, a computer scientist at the Massachusetts Institute of Technology, are now working with OpenAI to perform an independent investigation of the result.' On Kakeya per the outlet: 'In last month's “slop drop,” OpenAI's internal model solved the four-dimensional Kakeya problem. Now it's solved the problem in every dimension, proving that there's a limit to how small a space a high-dimensional stylus can take up.' On Yang-Mills per the outlet: 'Today OpenAI claimed to prove the first of the two—that the “Yang-Mills theory” is mathematically consistent in all relevant cases: in other words, it “exists.”' — while 'The part of the Clay problem that remains open is more quantitative, asking whether a certain number in the theory, called the “mass gap,” is always bigger than zero.' The process fight is the second half of the story: 'These latest releases from OpenAI continue to contradict the recommendations of the Advisory Group on Mathematics and Artificial Intelligence (AGMAI), the expert panel the company organized in response to widespread criticism from mathematicians.'; 'The large language model (LLM) that produced the new proofs remains proprietary, and the exact prompts used, time spent computing and “chain of thought outputs” involved have not been made public.'; and 'a paper relating to the “million-dollar” Yang-Mills problem (one of seven Millennium Prize Problems set by the Clay Mathematics Institute in 2000) has still not been made public'. And the counter-announcement: 'Mere hours after OpenAI's announcement, Anthropic posted its own independent result disproving ETH, based on work by an internal Anthropic model.' — per OfficeChai (published_time 2026-10-27T05:12:13+00:00; body read via the reader channel), that run was Claude Opus 6, consumed roughly 14 million tokens, and took about six hours, working without human guidance during the proof-writing phase — OfficeChai's rendering of an Anthropic announcement whose first-party page this run could not locate (sitemap fetched in full — 583 URLs, zero ETH/proof matches; /news and /research index pages fetched raw; four slug probes 404).
Why now
Two frontier labs claimed disproofs of the same conjecture within hours of each other on Monday, and the field's response is the part your audience can still watch move: Scientific American's own page carries 'Editor's Note (10/27/26): This is a breaking news story and will be updated.', the ETH result is under an independent investigation OpenAI itself tapped — Impagliazzo, Paturi, and Williams, per the outlet — and OpenAI will sponsor a computer-science conference about the proof, per Williams. The process fight is equally live: AGMAI, the advisory panel OpenAI convened after earlier criticism, is on record per Scientific American that the releases 'continue to contradict the recommendations of' the panel, and the Yang-Mills paper 'has still not been made public'. Whoever posts the vetting outcome next owns the biggest math-story follow-up of the quarter — creators who set up the layers now will be first to the payoff.
Why it is worth publishing
This is the best layer-discipline exercise of the week: an official sentence you can quote exactly, an opened roughly-1,100-word outlet read whose process reporting goes where the official post does not, and a counter-claim that reaches you only through relays — Anthropic's own page was not locatable this run, and the card says so rather than pretending otherwise. Math-adjacent creators get a genuinely accessible explainer spine (what 3-SAT and 'a tiny bit faster than exponential time' mean, why a 1999 conjecture matters to P ≠ NP); media-literacy channels get the AGMAI process fight and the proprietary-model details; and the breaking-story caveat gives everyone a built-in reason to follow up when the vetting lands.
Evidence basis
Three opened sources this run: the OpenAI research post (official; reader channel — bot-gated domain, no Wayback rows; only the summary's opening sentence captured in full, truncation recorded), Scientific American (media; raw HTML in full; byline Howlett & Hall, edited by Billings; page date label October 27, 2026; Editor's Note records breaking-story status), and OfficeChai (media; published_time 2026-10-27T05:12:13+00:00; body via reader channel — client-rendered page). Calendar (computed once this run from the actual calendar; the four date=weekday pairs are identical across this run's cards, with annotations citing each card's own opened evidence): 2026-10-26 = Monday (both OpenAI posts' dates, RSS pubDates; SciAm's 'Yesterday' relative to its own page); 2026-10-27 = Tuesday (SciAm page label; OfficeChai published_time); 2026-09-01 = Tuesday (Astra's Critical designation, per Help Net Security — cited on the Terra card); 2026-10-28 = Wednesday (this card's publish date). Year-only mentions (no weekday claims): 1999 (ETH first suggested, per SciAm), 2000 (Clay Mathematics Institute set the Millennium Prize Problems, per SciAm). Heat: a two-lab proof race on a conjecture central to computational complexity, verified against one opened official sentence plus two opened media reads, with the Anthropic leg riding relays at origin-unopened status — the negative search is recorded, which is itself the differentiator against every account that just says 'Anthropic says'.
“OpenAI says its AI produced a disproof of the Exponential Time Hypothesis — and per Scientific American, mere hours later Anthropic posted its own.”
Angle
The angle is the race AND the process fight: two labs claimed disproofs of the same 1999 conjecture within hours, OpenAI's own advisory group says the releases contradict its recommendations, and none of it is verified math yet — build the card as a timeline with a claims-status column (claimed / under investigation / relayed-only), not as a breakthrough post.
Format
Long-form explainer
Demo idea
A whiteboard race timeline: Monday's OpenAI announcement naming the three results (the official sentence on screen, quoted exactly), then Scientific American's 'Mere hours after OpenAI's announcement' Anthropic item — each box stamped claimed / under independent investigation / relayed-only, ending on AGMAI's objection and the still-not-public Yang-Mills paper.
Platform notes
This is a claims-status card, and the status discipline is the trust moat: OpenAI 'says' and 'announced' — never a bare 'proved' or 'refuted' in your own voice, because per Scientific American the ETH result is under an independent investigation OpenAI itself commissioned (Impagliazzo, Paturi, Williams) and the model, prompts, and computing time behind the proofs have not been made public. The Anthropic-side numbers (Claude Opus 6, roughly 14 million tokens, about six hours, no human guidance during proof-writing) are OfficeChai's rendering of Anthropic's announcement — label them that way, never as our read of a primary source; this run could not locate any Anthropic first-party page for the result (sitemap, both index pages, four slug probes — the negative is on the record). Keep the conjecture's name precise: the Exponential Time Hypothesis, first suggested in 1999, related to but distinct from P ≠ NP (per Scientific American) — do not tell your audience ETH was 'solved' or that this settles P versus NP. The Yang-Mills boundary stays split: SciAm reports OpenAI claimed the existence half, and the mass-gap-positivity half remains open per the same outlet — never fuse the two into 'OpenAI solved Yang-Mills'. The 'Today' inside SciAm's Yang-Mills section is the outlet's announcement-relative word; your card says Monday, October 26. SciAm's page is a breaking story per its own Editor's Note — timestamp your follow-ups. zh terms stay in English: OpenAI, Anthropic, Claude Opus 6, ETH, Exponential Time Hypothesis, 3-SAT, Kakeya, QCD mass gap, Yang-Mills, AGMAI, P ≠ NP, Clay Mathematics Institute, Scientific American.
Usable claims
- On Monday, October 26, 2026, OpenAI announced three new results, naming collaborators 'at Caltech, ETH Zurich, and the MIT Center for Theoretical Physics (“MIT CTP”)'; the post's own summary sentence lists them as 'three new results across mathematics, computer science, and physics: a proof that the Exponential Time Hypothesis is false; progress on the Kakeya set conjecture in finite fields; and a new upper bound on the QCD mass gap'. Per Scientific American's opened report (page date label October 27, 2026): 'Yesterday the company dropped three massive proofs that touched on math, physics and computer science, sending shockwaves rippling through those fields.'; on the ETH result, 'OpenAI's proof provides an algorithm to solve 3-SAT that is just a tiny bit faster than exponential time, refuting ETH.', with 'Russell Impagliazzo and Ramamohan Paturi... as well as Ryan Williams... now working with OpenAI to perform an independent investigation of the result'; on the process controversy, the releases 'continue to contradict the recommendations of' OpenAI's own Advisory Group on Mathematics and Artificial Intelligence (AGMAI), 'The large language model (LLM) that produced the new proofs remains proprietary, and the exact prompts used, time spent computing and “chain of thought outputs” involved have not been made public.', and on Yang-Mills, 'a paper relating to the “million-dollar” Yang-Mills problem (one of seven Millennium Prize Problems set by the Clay Mathematics Institute in 2000) has still not been made public', with the Clay problem's mass-gap-positivity half per the outlet 'The part of the Clay problem that remains open is more quantitative, asking whether a certain number in the theory, called the “mass gap,” is always bigger than zero.'; and on the counter-announcement, 'Mere hours after OpenAI's announcement, Anthropic posted its own independent result disproving ETH, based on work by an internal Anthropic model.' Per OfficeChai's opened report (published_time 2026-10-27T05:12:13+00:00), the Anthropic run was Claude Opus 6, consumed roughly 14 million tokens, and took about six hours, working without human guidance during the proof-writing phase — OfficeChai's rendering of Anthropic's announcement, which no opened first-party Anthropic page corroborates this run.
Evidence pipeline
From the news
Breakdown
Every layer on this card has a different evidential weight, and the card is built to keep the weights visible. The official layer is one sentence: OpenAI's summary sentence naming Caltech, ETH Zurich, and MIT CTP and listing the three results — captured in full this run, quoteable verbatim, and (per the source notes) the only part of the post's detail this run actually saw, because the reader capture truncated at the second sentence's start on three attempts and no Wayback capture exists. Everything else about what the results contain rides Scientific American's opened full read: the ETH mechanics ('an algorithm to solve 3-SAT that is just a tiny bit faster than exponential time'), the Kakeya history (Wang and Zahl's three-dimensional proof last year; the four-dimensional case in 'last month's “slop drop,”'; now every dimension), the Yang-Mills split (the claimed existence half; the mass-gap-positivity half still open), the vetting cast (Impagliazzo, Paturi, Williams), and the entire process fight — AGMAI's objection, the proprietary model, the unpublished prompts and computing time, the not-public Yang-Mills paper. Note the outlet's two frames: its opening 'Yesterday the company dropped' (relative to its October 27 page — consistent with the Monday, October 26 RSS dates) and a leftover announcement-relative 'Today' inside the Yang-Mills section; the card dates everything from the calendar, never from either. The Anthropic layer has the weakest weight and the card says so: 'Mere hours after OpenAI's announcement, Anthropic posted its own independent result disproving ETH' is Scientific American's sentence; the Opus 6 / 14M-tokens / six-hours / no-human-guidance details are OfficeChai's rendering of Anthropic's announcement; and the first-party search — sitemap in full (583 URLs), both index pages raw, four slug probes — came back empty, which is recorded rather than smoothed over. Nothing here is verified mathematics: the vetting is OpenAI-commissioned and in progress, the advisor group is in open disagreement with the releaser, and the page itself is flagged breaking. The skill this card teaches is saying 'claims to have proved' without once writing 'proved' — and being the account whose audience knows exactly which sentences are whose.
Sources
Risks
- Say 'claims', 'announced', and 'says it proved' — never a bare 'proved' or 'refuted' in your own voice. Attribute every proof statement to its claimant and every process criticism to Scientific American's reporting; label the Anthropic-side numbers as OfficeChai's report of Anthropic's announcement, not as our read of a primary source. Keep the conjecture's name precise (the Exponential Time Hypothesis, a 1999 conjecture related to but distinct from P ≠ NP per Scientific American), and tell your audience the math itself is pending independent investigation — the story today is the race and the process fight, not a settled result.
Demo ideas
- A whiteboard race timeline: the official announcement sentence on screen (quoted exactly as captured), Scientific American's 'Mere hours after' item as the second box — each box stamped claimed / under independent investigation / relayed-only, ending on AGMAI's objection and the still-not-public Yang-Mills paper.
- A 'who verified this?' checkpoint segment: three prompts to ask about any AI-math headline (who ran the model, who checked the proof, where is the paper) answered against this week's facts — the LLM is proprietary and the prompts are unpublished per Scientific American, the investigation is OpenAI-tapped per the same outlet, and the Yang-Mills paper is not public.