1 points, 0 comments on Hacker News
Source: [Hacker News](https://correresmidestino.com/you-still-need-a-human-translator/)
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).
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.
OpenAI is bringing template-based marketing design into ChatGPT through its Adobe Express plugin. The integration gives users a guided way to create and customize common visual formats, including social posts, flyers, posters and invitations , using their own text, colors and images. For busine...
Company behind ChatGPT says 10,000 of its AI systems cracked the Navier-Stokes problem in 88 hours OpenAI claims to have solved a major mathematics problem that has stumped humans for nearly a century after spending millions of dollars on the artificial intelligence-led endeavour. The company be...