Event ·Multi-source

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

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

Current read

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

11 sources83° AI heatLast updated 2026/9/8 23:14:32

Evidence

11 sources
Related source 3Aravind Srinivas
View source
Related source 5向阳乔木
View source

Conflict check

Dedup data only shows that these sources discuss the same event, not that they agree. There is no structured supporting or refuting evidence yet, so no conflict is inferred automatically.

OpenAI用1万AI智能体88小时解决千禧年难题 · 事件专题 | AITOP