OpenAI 的 Astra 模型解开了 10 道未解数学题，数学家们既兴奋又不安

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

OpenAI 的新模型 Astra 一口气解决了组合数学、数论等领域的 10 个长期悬而未决的问题。数学家们验证后确认答案是对的，但开始担心纯数学研究会不会变成一条流水线：AI 负责提方案，人类只负责验算。这篇文章没透露 Astra 的模型架构、训练数据或推理成本，也没说这 10 道题是从哪个题库里挑的。我会先打个折：题目是 OpenAI 自己选的，评...

推荐理由：OpenAI 的 Astra 解了 10 道未解数学题，数学家验证过，标题、事实、身份共鸣三点全中。但文章没披露模型架构、训练数据、推理成本，题目还是 OpenAI 自己挑的，信息缺口明显，所以分数卡在 78。