OpenAI 下一代模型 Astra 内部版解决 10 大数学难题

一条广为转发的X帖子披露，OpenAI下一代模型家族Astra的内部版本已解决数学、量子复杂性和理论计算机科学领域十个重大开放问题，核心亮点不是解出来了本身，而是极低的推理成本和与人类截然不同的求解方式。

• 找到这十个解仅花费约2000美元推理成本，远低于人类团队攻关同类难题所需的时间与人力投入；
• 关键差异在于搜索策略——人类数学家受限于有限的时间和直觉预算，只能沿少数几条路径深挖，而模型可以并行保留数千条低概率路径，直到某一条走通并产出证明；
• 评论区有人调侃o1-preview发布至今才一年十个月，照这个速度，不少悬而未决的开放问题的寿命可能被大幅压缩；
• 事件被视为继数学证明自动化之后，通用大模型直接啃硬核数学难题能力的又一次跃升。
• 对数学研究而言，真正的冲击不是AI解了几道题，而是暴力并行探索加极低成本这种全新求解范式，可能重塑基础研究的时间尺度。

本内容由 AI 生成，仅供参考，请注意甄别