> booting the archive…
we use a small set of cookies. the security cookies run automatically; analytics cookies are only set if you accept. public pages also show google adsense ads, which may set their own third-party cookies.
> booting the archive…
OpenAI released 722 math manuscripts in 372 families on 6 October, then withdrew three a day later. The review queue is now the real story.
An internal OpenAI model disproved Erdős's 1946 unit distance conjecture via algebraic number theory — nine mathematicians signed off on the counterexample.
OpenAI says its agent swarm cracked Navier–Stokes in 88 hours. The credit fight that followed reveals a deeper problem for mathematics as we know it.
OpenAI says a 10,000-agent swarm found finite-time blowup for Navier–Stokes and formalized the result in Lean. Mathematicians are now checking what it proves.