陈立杰回应 OpenAI 解千禧年难题：发展速度超我预期
APPSO · wechat · 2026-09-09
APPSO 报道 OpenAI 内部 AI 系统完成纳维-斯托克斯方程存在性与光滑性问题解答并公开 Lean 形式化证明的后续细节。
- 技术路线：约 1 万个 Agent 从 9 月 1 日起分两组同时探索「存在奇点」与「不存在奇点」两个方向；先由 100 个 Agent 花 50 小时解决 Euler 方程反例作为线索，88 小时后得到最终解答，再花 17 小时完成 Lean 验证。
- 陈立杰回应：OpenAI 研究员、清华姚班毕业的陈立杰表示，他此前预测 AI 会在 2027 年发表顶刊数学论文、2028 年前后解决一个千禧年难题，现实发展速度超出预期。
- 优先权争议：Buckmaster 公开了与 OpenAI 的邮件记录，质疑 OpenAI 对研究过程（组织完整团队、大量算力）的描述不完整，并质疑是否接触到他们在 Codex 中的研究资料；OpenAI 的 Noam Brown 与 Anthropic 员工 Sholto Douglas 均认为利用用户数据影响结果的可能性极低。
- 学术体系之问：当 AI 开始提出假设、寻找路径并完成证明，署名归属、贡献计算、AI 证明是否算真正发现等规则都待重写。
所属事件:OpenAI 宣称破解纳维-斯托克斯千禧难题引争议(243 条相关)→
「公司和人」频道最新
- Lenny 转述：当下稀缺的 PM 技能是激发他人的雄心 — lennysan · 2026-09-09
- a16z 合伙人:AI 不会造永久失业底层,agent 仍需人类爬坡 — lennysan · 2026-09-09
- 复盘 Cursor 逆袭:发布速度曾击穿 GitHub 护城河,如今无人再配叫 SOTA — pzakin · 2026-09-09
- Alexandr Wang 吹自家 Muse:比其他个人 Agent 更快更「好看」 — mon__lim · 2026-09-09
- 研究项目该不该注册成组织？四个理由说服你成立正式机构 — AaronBergman18 · 2026-09-09
- 研究者警告：勿在非本地 LLM 中输入商业机密，提示词或被监测挖掘 — SumitGup · 2026-09-09