OpenAI 下一代模型 Astra 解出 10 道逾十年未解数学难题

BiRun 消息，OpenAI 研究员 Noam Brown 8 月 1 日公布：内部版的下一代模型「Astra」对 10 道「至少十年、多数更久无人取得进展」的数学与理论计算机科学难题做出解答，涵盖高维几何、群论（解决非索菲群存在性）、格密码学、量子复杂度等，含 Erdős 1946 平面单位距离问题。论证来自 Astra、人类写成论文并以 Lean 形式化（机器可验证），token 成本约 2,000 美元等级。但书：内部未发布版、未同行评审、未解千禧年难题。 这篇文章 OpenAI 下一代模型 Astra 解出 10 道逾十年未解数学难题最早出现于链新闻 ABMedia 。