OpenAI模型解决10个开放问题

OpenAI称内部Astra模型用约2000美元token产出10个数学与理论计算机新结果。

推荐理由：若Lean证书和问题难度属实，关键变化是AI科研成本从专家月级时间压到数千美元推理预算；形式化验证让结果更可审计，冲击数学发现流程。