OpenAI's new model Aeon solves Navier-Stokes
This matters to anyone interested in the capabilities of the latest AI models, as it shows a significant improvement in mathematical reasoning.
OpenAI confirmed to the New York Times that they have made substantial progress on another Millennium Prize problem. The new unnamed OpenAI model, which finished training about two weeks ago, is massively better at math than Astra, which two weeks ago was the best in the world. Aeon solved Navier-Stokes in 88 hours, start to finish.
so far anyway it’s all math, presumably leaning heavily on Lean and brute force. the new results don’t mean that AGI is in general has been solved. and the G is for general, not math. every time I have said things like that before OpenAI’s fan boys (and sometime their staff) have attacked me, but so far I have always been correct. Andrew Curran @AndrewCurran_ OpenAI confirmed to the New York Times that they have made "substantial progress" on another Millennium Prize problem in the last five days, and are preparing to announce. The rumors for the last 48 hours have been OpenAI solved the Hodge Conjecture, and that Anthropic has solved the Birch and Swinnerton-Dyer Conjecture. Since Navier-Stokes rumors abound, so I was reluctant to post about either. However, OpenAI's statement to the NYT now gives the Hodge rumors some very serious support. In general people have not updated yet that the new unnamed OpenAI model, the one that finished training about two weeks ago, which I believe will be named Aeon, is massively better at math than Astra, which two weeks ago was the best in the world. Aeon solved Navier-Stokes in 88 hours, start to finish. Follow the trend line. That means everything is on the table. Literally everything. And this does not end with math. Please update. We are taking off. 🔗 View Quoted Tweet 💬 6 🔄 3 ❤️ 40 👀 5407 📊 8 ⚡