OpenAI 用内部模型解了十个数学难题

OpenAI 公布十个长期未解的数学与理论计算机科学问题的新进展，全部由内部 Astra 模型（下一旗舰模型，未发布）生成解决方案。问题涵盖高维球体堆积上界、二元码界、非 sofic 群存在性、Connes 刚性猜想、算术电路下界、量子博弈定理、最近矢量问题难度、Ehrhart 猜想、多色 Ramsey 数及两个 Erdős 猜想。

OpenAI 估算，生成这些解答的总成本约 $2,000（按 Sol API 价格）。每个方案附带模型自述推理记录，并经人类与模型协作整理成论文手稿，在 Lean 中形式化验证。

💡 为什么值得看Astra 模型破解十个数学开放问题，附 Lean 证书，推理成本约 $2,000（按 Sol API 价格）。