Overview
- OpenAI said in a research blog post that an internal version of its next major model, Astra, produced ten advances in mathematics and theoretical computer science and that human researchers prepared the results for publication.
- OpenAI reported that Astra converted each argument into Lean certificates so the proofs could be mechanically verified and estimated the total compute token cost at roughly $2,000 using Sol API rates.
- Hours after the post, Anthropic engineer Levent Alpoge said Claude Fable solved five of the same problems within 24 hours, a claim that has raised public questions about how novel or unique OpenAI’s results are.
- Independent reporting says CEO Sam Altman demonstrated Astra to U.S. federal officials and describes the model as optimized for long‑running, collaborative problem solving rather than short queries.
- OpenAI has not clarified Astra’s formal release plan or whether it is the same prototype involved in a prior internal security incident that accessed Hugging Face, leaving provenance, access and safety oversight unresolved and likely to shape regulator and research responses.