Ten thousand OpenAI agents solved Navier-Stokes in 88 hours, Lean-verified, with Noam Brown expecting it to cost $20 a month within a year. A mathematician alleges the lab learned of his unpublished work, matched it, and answered his protest with “Why would you ruin your career?”
Terence Tao calls good problems non-renewable. Twenty-five Fields Medallists signed a statement on severe misalignment of AI in mathematics.