OpenAI's Astra Solves 10 Long‑Standing Math Problems, Releases Proofs
OpenAI published proofs for ten open math problems, including a 1999 group theory question, using an internal version of its next model Astra. The computational cost was about $2,000 in API tokens.
OpenAI has released proofs for ten mathematical problems that had remained unsolved since at least 2016, using an internal version of its upcoming model Astra. Among the results is a construction proving the existence of non‑sofic groups, a problem open since 1999. All reasoning records and certificates were made public.
The solutions required approximately $2,000 worth of compute at API token rates. However, the system did not manage to crack any Millennium Prize problems.
The disclosures highlight the accelerating pace of AI‑assisted research and may fuel expectations for reasoning models in technical domains.
Source: ForkLog