人工智能在基础数学领域实现了具有划时代意义的重大进展。openai近日透露，其内部正在研发的一款尚未公开的下一代模型——性能显著超越gpt-6 astra——通过协调部署约10000个ai智能体并行协作，仅用88小时便成功构建出“纳维-斯托克斯方程存在性与光滑性问题”的完整证明。该问题自20世纪30年代提出以来，长期悬而未决，历时近90年，既是流体力学理论的核心挑战，也是克莱数学研究所设立的七大“千禧年大奖难题”之一，每题悬赏百万美元。
此次突破性攻关采用分布式智能体架构：上万个AI单元被动态划分为若干功能小组，同步开展探索任务。各智能体不仅可访问共享知识缓存、执行计算代码，还能在组内实时交流、整合不同推演路径，实现思路交叉验证与协同演化。在主证明完成后，GPT-6 Astra进一步投入17小时，使用Lean编程语言完成全部推理链的形式化编码与机器校验，确保每一步逻辑均经得起数学严格性检验。
使用 OpenAI Codex CLI 处理编码任务。触发词：codex、code review、fix CI、refactor code、implement feature、coding agent、gpt-5-codex。Clawdbot 可将编码工作委托给 Codex CLI 作为子代理或直接工具。
尽管成果震撼学界，OpenAI明确表示无意申领百万美元奖金。公司指出，发布此项成果的核心目的在于客观呈现当前AI系统在应对开放性数学难题时所展现出的真实能力跃迁，而非参与奖项竞逐。这一成就不仅印证了通用人工智能（AGI）正逐步成长为驱动前沿科学发现的关键基础设施，也促使全球数学共同体重新审视人类研究者在未来科研生态中的定位、价值与不可替代性。
OpenAI此次“万名AI智能体联手、88小时攻克90年未解数学难题”的实践，你认为是“人类科学文明进程中的关键里程碑”，还是“传统数学家职业范式面临重构的预警信号”？当AI开始深入基础科学腹地，它为人类带来的究竟是前所未有的机遇，还是值得警醒的挑战？欢迎在评论区分享你的观点！
