大模型 · 智能体 · 趋势线索

OpenAI 宣布攻克千禧年难题，清华姚班传奇陈立杰：不可思议的时代

来源：RadarAI · 2026年9月10日 02:22

摘要

📌 一句话摘要 OpenAI 宣布其内部多智能体系统攻克了纳维尔斯托克斯方程存在性与光滑性这一千禧年难题，并公开论文与 Lean 形式化证明，但随即引发与纽约大学学者关于研究优先权和过程透…

这是 Future Frontier 对外部来源的精选摘要。我们保留原始来源和链接，不全文转载，不将外部内容标记为原创。

阅读原文