Explainer thread: the release's "4 biggest claims in plain English" (~203k views)

Posted 22:39 UTC: "OpenAI just released 722 AI-written math papers. Here are the 4 biggest claims in plain English. None have been confirmed by outside mathematicians yet." It starts with quasi-RH (no zeros with real part above 7/8, with a Lean proof) and the Unique Games Conjecture. ~203k views. The same account had posted at 08:58 UTC Oct 6 that OpenAI was "about to release 400 papers" (https://x.com/imjustnewatai/status/2107394936395960670, ~249k views).

OpenAI just released 722 AI-written math papers. Here are the 4 biggest claims in plain English. None have been confirmed by outside mathematicians yet.

1/ Quasi-Riemann hypothesis. Zeta has no zeros with real part above 7/8. It's not the Riemann hypothesis (that needs 1/2), but nobody had ever cleared a fixed strip before. Has a Lean proof. https://github.com/openai/math/blob/main/preprints/The-Quasi-Riemann-Hypothesis-September-30-2026/paper.pdf

2/ Unique Games Conjecture. The central open question on which problems computers can't even approximate well. A proof means the best known algorithms for problems like Max-Cut can't be beaten unless P = NP. Has a Lean proof. https://github.com/openai/math/blob/main/preprints/The-Unique-Games-Theorem-September-23-2026/paper.pdf

3/ Hodge conjecture for CM abelian varieties. A special case of a Millennium Prize problem, about which topological features of a shape come from pieces defined by polynomial equations. No Lean proof yet. https://github.com/openai/math/blob/main/preprints/The-rational-Hodge-conjecture-for-CM-abelian-varieties-September-30-2026/paper.pdf

4/ Free group factors. Open since the 1940s: are the operator algebras built from free groups on 2 and 3 generators the same? Claimed answer: yes, all of them are. Has a Lean proof. https://github.com/openai/math/blob/main/preprints/An-isomorphism-of-the-free-group-factors-September-23-2026/An-isomorphism-of-the-free-group-factors-September-23-2026.pdf

Quoting @OpenAI: We’re releasing a broad range of new mathematical results produced by an internal frontier model.

We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results.

https://github.com/openai/math

views 217763 · likes 1795 · reposts 145 · replies 41 (at fetch time)

Archived 2026-10-07 via fxtwitter (unofficial).