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.
A while ago now, I entered a Bad UX competition, where a prize went to the worst date-picker. Since then I have finally found some time to polish it and make it safe to release to the public; here it is . I didn't win the contest, so I guess my demo wasn't bad enough.