OpenAI's Astra model cracks 10 unsolved math problems, leaving mathematicians excited and uneasy

OpenAI 用 Astra 模型攻克 10 道数学难题，数学家既兴奋又担忧

OpenAI's new Astra model solved 10 long-standing open problems in combinatorics, number theory, and other fields. Mathematicians confirmed the solutions are correct but worry pure math could become an assembly line where AI proposes and humans verify. The post doesn't disclose Astra's architecture, training data, or inference cost, nor which problem set the 10 were drawn from. I'd discount this a bit: OpenAI picked the problems and did its own evaluation, with no independent third-party audit yet.

Why it matters: OpenAI's Astra solved 10 open math problems with mathematician verification, hitting all three HKR axes. But the article doesn't disclose model architecture, training data, or inference cost, and the problems were self-selected by OpenAI, capping the score at 78.