OpenAI says Astra solved ten open math problems for about $2,000
OpenAI has named its next major model, Astra, by publishing ten mathematical results it says were generated by an internal version of the system. The company released a technical paper, reasoning walkthroughs and Lean certificates that allow the formal proofs to be checked by software. The more important part of the announcement is not the count. AI-generated mathematics has produced enough false starts that a headline number alone is weak evidence. OpenAI's decision to publish machine-checkabl
1 min