OpenAI 称其 Astra 模型解决了 10 道数学难题

这一尚未发布的 AI 系统攻克了至少十年悬而未决的数学难题，所有证明均已在 Lean 中形式化并公开发布。

• OpenAI 表示，其下一代主力模型 Astra 的内部版本以约 2,000 美元的推理成本，解决了数学和理论计算机科学领域的 10 道长期悬而未决的难题。[openai]

• 研究成果涵盖群论、量子复杂性、格密码学和极值组合学等多个领域，包括对 Connes 刚性猜想的反驳，以及三道 Erdős 问题的解决。[openai +1]

• Astra 目前仍未发布，也尚无上线时间表；据 OpenAI 透露，该模型未能解决克雷数学研究所的千禧年大奖难题。[forklog]