1 points, 0 comments on Hacker News
Artificial intelligence has solved a major mathematics problem, but credit for the accomplishment is murky.
OpenAI has published a formal account of an AI-assisted result on the Navier-Stokes Millennium Prize Problem, saying an internal system produced an analytical proof that three-dimensional incompressible Navier-Stokes dynamics can develop a finite-time singularity. The company also says GPT-6 Ast...
been working on Routi Bot. an open source mac app inspired by Grok Bot. each bot has its own instructions, desktop and can be used with AI provider/model (openai astra, claude fable, deepseek, grok, etc).
OpenAI has announced GPT-6 Astra , its next-generation flagship model, with a staged rollout across ChatGPT, the OpenAI API, Microsoft Azure , and AWS Bedrock. The September 3, 2026 release turns a previously signaled technical breakthrough into a defined product launch, centered on OpenAI's cla...
NYU's Tristan Buckmaster accuses OpenAI's Sébastien Bubeck of racing to claim credit for a Navier-Stokes proof after learning about his unpublished work with Anthropic's Levent Alpöge.