OpenAI says an internal version of Astra, its next big model, produced results for 10 problems in math, quantum complexity, and theoretical computer science (OpenAI)
OpenAI framed Astra’s unreleased work as a set of machine-checkable advances, not a public model launch.
Techmeme’s item points to OpenAI’s claim that an internal Astra version produced ten results across mathematics, quantum complexity, and theoretical computer science. The note says the release includes Lean certificates and walkthroughs, with OpenAI figures saying the proof generation cost was roughly $2,000 at Sol API rates. Reactions collected there range from mathematicians calling specific proofs likely correct or significant to critics asking for more detail on model behavior, verification, human role, and failed attempts. Source: Techmeme's note
Techmeme’s item points to OpenAI’s claim that an internal Astra version produced ten results across mathematics, quantum complexity, and theoretical computer science. The note says the release includes Lean certificates and walkthroughs, with OpenAI figures saying the proof generation cost was roughly $2,000 at Sol API rates. Reactions collected there range from mathematicians calling specific proofs likely correct or significant to critics asking for more detail on model behavior, verification, human role, and failed attempts. Source: Techmeme's note
score 8