Today's gold star is Oracle. Today's white star is Micron.
OpenAI agents found a Navier-Stokes blowup, Lean-checked — a Clay Millennium problem, with a priority fight against Buckmaster/Alpöge
read on XA singularity in 3D Navier-Stokes is the Clay problem. OpenAI says 10,000 agents and a Lean proof. Fefferman still names Córdoba and Martínez-Zoroa as the strategy. Buckmaster posted first on Euler and called one of his own papers AI slop. The math may be real and the credit fight ugly. Wait for independent Lean replay, not the press release.