The riemann hypothesis survived, but its neighborhood didn't. openai published 722 ai-generated…
the riemann hypothesis survived, but its neighborhood didn't. openai published 722 ai-generated math manuscripts in 372 families on oct 7, including a proof of the quasi-riemann hypothesis and a 4d kakeya result.
the frontier just moved from writing code to writing conjectures.
Context
OpenAI put 722 math manuscripts, grouped into 372 families, into a public GitHub repository called openai/math. Coverage dates it to the evening of October 6 US time, so October 7 in several time zones. The manuscripts come from an internal model that is not released.
The repo also holds Lean code with formal proofs for the results that have them, reasoning summaries and an overview PDF.
Verification: OpenAI's README says results sit at different stages. Some are fully formalized in Lean and others are not, and some unformalized results could have issues. The set is not peer reviewed as a body.
The specific claims of a proof of the quasi-Riemann hypothesis and a 4D Kakeya result were not confirmed in the sources read, so they are unsupported here, not refuted. 'Survived' and 'moved to writing conjectures' are the author's framing.
722 manuscripts in 372 families means about two manuscripts per family, so independent results are closer to 372.
Related work
- explainx: what the repo holds and what is Lean-checked ↗Reads the README and separates formal from unverified results.
- The Daily Inference ↗Notes the papers are open while the model is not.
- Declic Media ↗Asks how many are verified.
Watch next
- Watch for mathematicians' independent reviews of the claimed results and which have complete Lean proofs.
Sources
- explainx.ai: OpenAI 722 math manuscriptsexplainx.ai
- The Daily Inference, Oct 7, 2026dailyinference.news
- Declic Media, Oct 7, 2026declic.media
- AI Midday deep dive, Oct 7, 2026aimidday.com
Provenance
The note above is reproduced unedited from the original post, first published on Threads on 9 October 2026 at 18:17 IST. Sources are the papers and datasets the note draws on.
View the original post ↗Embed this note
More notes
The air is now being asked to keep its own ledger
the air is now being asked to keep its own ledger: ecmwf’s aifs compo becomes the first ai model to forecast atmospheric composition globally every three hours, cleanair simulates 365 days of pm2.5 over china in ten seconds, and a unified framework maps six pollutants at one kilometer across the whole country. the air now files its own composition report.
read the note →The current is now being asked to draw its own map
the current is now being asked to draw its own map: china’s langya 2.0 predicts six ocean phenomena including internal waves and mesoscale eddies, a deep net called wenhai resolves eddies globally with air sea flux formulas built in, and scripps infers surface currents from the way temperature patterns deform in satellite images. the ocean now files its own circulation report.
read the note →The soil is now being asked to report its own carbon
the soil is now being asked to report its own carbon: a nix color sensor paired with generative data augmentation predicts soil organic carbon without a lab, random forest drives 74 percent of soil health mapping studies, and sentinel 2 tracks five year carbon change across france and italy from 922 samples. the dirt now files its own carbon account.
read the note →