The Lean code makes OpenAI’s claim inspectable. Machine checking, expert review, prize recognition, and provenance remain separate.
NIK on Twitter / X
>sam altman: "we tried this because there were rumor on the internet">rumor: math professor close to solving navier-stokes>the professor: using codex for a year>openai: has all his logs>checked every codex session tagged to N-S>found the most promising one>spun up 10,000… pic.twitter.com/RInlP88gmA— NIK (@ns123abc) September 8, 2026
GitHub - openai/NavierStokesAndEuler at 8937a8f4cbc7abaab5e9e97d1cc7f5d2319d9538
Lean certificates accompanying Navier-Stokes and Euler results - openai/NavierStokesAndEuler
OpenAI can’t tell if something was written by AI after all
OpenAI’s tool struggled with accuracy.
OpenAI Just Claimed a Huge Math Discovery. Some Academics Are Crying Foul
A landmark announcement by the frontier AI lab has been overshadowed by accusations of impropriety.
OpenAI to release open-source model as AI economics force strategic shift
OpenAI plans to release its first open-weight AI model since 2019 as economic pressures mount from competitors like DeepSeek and Meta, marking a significant strategic reversal for the company behind ChatGPT.
OpenAI’s latest math breakthroughs commit research misconduct, experts say
OpenAI released 10 AI-generated results over the weekend. Some mathematicians are unhappy with their approach
OpenAccess.ai — Rigorous Open Access Publishing
$20 to submit, free to read. AI peer review. Open to human and machine authors. All articles CC-BY 4.0.
On the Navier–Stokes Millennium Prize Problem
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
OpenAI’s math breakthrough played to AI’s strengths
I tried to explain OpenAI’s solution more clearly than OpenAI did.
The case for a validity layer in life science research
When OpenAI recently announced that one of its models had disproved a long-standing conjecture in discrete geometry, the scientific community took notice...
Open source was not ready for AI-speed contributions
AI did not create the maintainer burden problem in open source. It accelerated it. Contributors are being amplified, but maintainers are still the verification bottleneck.
Olmo 3: Charting a path through the model flow to lead open-source AI | Ai2
Our new flagship Olmo 3 model family empowers the open source community with not only state-of-the-art open models, but the entire model flow and full traceability back to training data.
Ed Zitron Just Disproved the Core Claim Behind His AI Bubble Case
OpenAI financial data leaked to the industry’s biggest hater settles an open question — just not in his favor
6 months to live for open models
The most serious test to date of open source AI’s viability is happening right now.
If you're going to cite that NBER report from OpenAI about "how people use AI," you've got to at least caveat it. We have no way to directly verify most of the report, and we do have at least one good reason, via indirect evidence and quoted below, to not trust it. nber.org/papers/w34255
Maria Antoniak
Not the point of the OP, but I was curious and took a closer look at this 2025 piece from OpenAI. Much could be said, but it fails my go-to test for all of these pieces about "how people actually use AI": the tokens "sex" "erotic" and "NSFW" do not appear in the paper.
