Overview
- On Thursday Sam Altman told the Cheeky Pint podcast OpenAI will continue releasing AI-found mathematical and scientific results and confirmed the company holds more undisclosed discoveries.
- Altman said he feels empathy for mathematicians, revealed an internal Slack channel called "Model Name-Hold My Beer," and estimated OpenAI has spent hundreds of millions on the effort with roughly $10 million on the Navier–Stokes work.
- This month OpenAI posted hundreds of AI-written manuscripts on GitHub, briefly withdrew some after finding errors, and provided machine-checked Lean formalizations for a subset but left most claims without peer review or full training-data provenance.
- Prominent researchers and a letter signed by 28 Fields Medal winners have demanded clearer attribution, transparent training-data disclosure, and rigorous verification, and bodies such as the Clay Mathematics Institute and the Institute for Advanced Study are now involved in adjudicating prize-relevant claims.
- Independent formal checks and journal reviews are underway and expected to take months, and the volume and pace of AI results are straining researchers, shifting who can marshal the resources to claim and verify major discoveries.