事件专题 ·多源确认

OpenAI用1万AI智能体88小时解决千禧年难题

OpenAI宣布其未公开模型解决了纳维-斯托克斯存在性与光滑性问题,这是千禧年大奖难题之一。该团队通过约1万个AI智能体协作,在88小时内生成了证明,显示初始平滑流体可能发展出奇点。GPT-6 Astra在17小时内完成了形式化验证。

当前结论

OpenAI用1万AI智能体88小时解决困扰数学界90年的千禧年难题,陶哲轩点赞又担忧。

11 个信源83° AI 热度最后更新 2026/9/8 23:14:32

证据链

11 个信源

冲突核查

现有去重数据只说明这些来源讨论同一事件,不代表立场相同。当前没有结构化的支持或反驳证据,不自动推断冲突。