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...
The work break room can be a place of rest, gossip, fun or recovery. But it can also be a cause for complaint when yesterday's fish dinner becomes a smelly microwaved lunch. For most people, microwaving fish at work is a big no-no.
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).
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.