
NPRSig. 8AnalysisAIScienceTechnology
AI solved one of math's hardest problems. Humanity learned nothing (so far)
OpenAI says its AI solved the Navier-Stokes problem, but mathematicians argue the 166-page proof is technically correct yet nearly useless for human understanding. The article frames the episode as a clash between rushed corporate AI goals and the mathematical community’s collaborative norms.









