OpenAI刚曝光的下一代Astra，拿下10项开放问题新突破，成本仅2000美元

雷达摘要

OpenAI下一代模型Astra内部版本在十个数学开放问题上取得突破，涵盖高维几何、群论、密码学等领域，部分问题悬而未决数十年。模型生成论证并形式化为Lean证书，成本约2000美元。AI首次独立产出有研究价值的数学论证，论文作者与科研评价体系面临调整。