📖 AI 总结

OpenAI于2026年9月发布了一份166页的纳维-斯托克斯问题潜在证明，声称沿用了西班牙数学家的方法，但多组专家指出其实际思路与所声称的方法仅有表面相似，细节上并不一致。该证明以Lean形式化语言编写，克莱数学研究所正在审查。此外，OpenAI在证明开发中投入约1万个模型实例、运行约88小时、消耗1300亿token，但其研究员Noam Brown承认无人清楚这一大规模智能体集群对结果的具体贡献，他认为多智能体设置的功劳占比不足10%，真正关键的是基础模型本身。文章还提及OpenAI此前未经充分整理便在GitHub发布约400项结果引发数学界不满，以及有关其是否基于他人工作的争议。整体而言，事件反映出AI在重大数学问题上的产出仍难以被人类理解和评估。