Primary sourceIT之家
View sourceEvent ·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 sourcesRelated source 1Sam Altman
View sourceRelated source 2lmarena.ai
View sourceRelated source 3Aravind Srinivas
View sourceRelated source 4小互
View sourceRelated source 5向阳乔木
View sourceRelated source 6SoyaCincau
View sourceRelated source 7AI Will
View sourceRelated source 8shao__meng
View sourceRelated source 9Blognone
View sourceRelated source 10a16z
View sourceConflict 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.