OpenAI 新模型 Aeon 在数学领域表现大幅超越 Astra

so far anyway it’s all math, presumably leaning heavily on Lean and brute force. the new results do...

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 ⚡