The theorem mill just hit 372. openai says an unreleased internal model produced 372 results on…
the theorem mill just hit 372. openai says an unreleased internal model produced 372 results on open math problems, per oct 8, including solving the kakeya conjecture in four dimensions.
the proof pipeline now outpaces the referees.
Context
Verified event date: OpenAI published 'Sharing AI progress in mathematics' on Oct 6, 2026, releasing a broad range of new mathematical results produced by an internal frontier model, in a GitHub repository. Scientific American (Oct 6) says the company released 372 results from the model, each resolving or making substantial progress on a major open question.
The repository includes a preprint titled 'Every four-dimensional Kakeya set has full Hausdorff dimension' dated Sep 24, 2026. A whataifound.org entry grades the Kakeya claims as 'Claimed' and a Post-Cutoff entry notes a viral post conflated two Kakeya problems.
The 372 results and the four-dimensional Kakeya set result match OpenAI's release and Scientific American. The post says 'per oct 8'; both are dated Oct 6. The sources read call the results claims from OpenAI's manuscripts, not independently verified ('Claimed' at whataifound.org). 'The proof pipeline now outpaces the referees' is the author's.
'the theorem mill just hit 372' is the author's opinion.
Related work
Watch next
- Check whether outside mathematicians have verified the four-dimensional Kakeya paper.
Sources
- OpenAI, Sharing AI progress in mathematics, Oct 6, 2026openai.com
- Scientific American, Oct 6, 2026scientificamerican.com
- GitHub, openai/math Kakeya preprintgithub.com
Provenance
The note above is reproduced unedited from the original post, first published on Threads on 11 October 2026 at 10:44 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 →