Openai says it cracked navier–stokes, one of math's seven $1 million millennium prize problems, untouched since they were set in 2000. it took roughly 10,000 ai agents and 88 hours, the proof is machine-checked in lean, and mathematicians are still going through it 🧮