AIQuartzabout 2 hours ago
OpenAI Astra solves 10 long-open math problems
1 min read
OpenAI revealed Astra, its next major model, after an internal version produced ten significant advances in mathematics and theoretical computer science. The total tokens needed to find solutions would cost roughly $2,000 at Sol API rates. Astra formalized every argument as a Lean certificate.
Level
Hype check
Tap to vote and see what everyone thinks.
In this storyOpenAI
See how this developedHow outlets covered it
Summary by ByteBrief
