Wes Roth · AI

OpenAI JUST solved math....

OpenAI says 10,000 AI agents produced a proposed solution to the Navier–Stokes Millennium Prize Problem in just 88 hours. But the announcement has sparked a dispute over credit, competing research, and the role of human mathematicians. We break down the math, Tristan Buckmaster and Levent Alpöge’s work, OpenAI’s response, and what this could mean for the future of scientific discovery. From Euler’s equations and fluid dynamics to Lean proof verif

Introductie van de bron.