OpenAI 发布 Astra 十项数学突破

OpenAI 几周前发布博客并附数百页证明，宣称其内部模型 **Astra** 解出了「数学与理论计算机科学十项进展」中的一组未解难题，覆盖高维球堆积、量子博弈论等领域。这一发布在数学界「像炸弹一样」引发震动。受访研究者判断：单个难题若由人类解出，已算学术生涯级成就；十项同时解出则几乎难以置信。

但发布也牵出归因争议：OpenAI 起初宣称这些问题过去十年毫无进展，其中一篇论文却自述创建在两位研究者此前进展之上，该表述后被低调修改。此外，这些模型在基础算术、数草莓、推断星期几上仍很糟糕，却已能驾驭高度抽象的专业数学，这种反差放大了 mathematicians 对未来科研与教育体系的忧虑。完整访谈见 The Verge Decoder 播客。

💡 为什么值得看Astra 解开十道数学难题，引发存在主义危机与归因争议。