OpenAI president: Astra internal model produced 10 significant math/TCS advances for ~$2000 API cost

Sebastien Bubeck of OpenAI said Astra, the company's next major model, produced ten significant advances in pure math and theoretical computer science. The internal version of Astra generated the arguments at a total compute cost of approximately $2,000 using Sol API rates. Humans then developed the core ideas into manuscripts with model assistance. OpenAI published a page and PDF detailing the ten advances, which include proofs on non-sofic groups and Connes rigidity.