OpenAI Astra Solves 10 Longstanding Math Problems Including Non-Sofic Group Discovery
OpenAI revealed its unreleased Astra model solved ten longstanding maths problems for roughly $2,000 in compute costs, including the first-ever construction of a non-sofic group. The announcement positions Astra as OpenAI's next major AI model while raising questions about transparency, attribution, and the future role of AI in mathematical research.