An internal model more powerful than GPT-6 Astra produced a proposed solution to one of mathematics’ seven Millennium Prize Problems, though questions are emerging over how independently it got there.
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.
Days after its disputed Navier-Stokes claim, OpenAI says it's made "substantial progress" on another Millennium Prize math ...
Despite the greatest strides in mathematics, these hard math problems remain unsolved. Take a crack at them yourself.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results