TLDR Tech / AI
OpenAI's next major model Astra claims breakthroughs on 10 long-standing math problems
OpenAI's upcoming model, Astra, has achieved breakthroughs in solving 10 long-standing problems in mathematics and theoretical computer science. An internal version of Astra found these solutions at an estimated cost of $2,000 in GPT-5.6 Sol API tokens, with each solution formally verified using the Lean theorem-proving system.
Read the full story