OpenAI 或已攻克流体力学数学难题,过程靠 Claude 与 Codex 生成证明候选
eyishazyer · x · 2026-09-08
OpenAI 可能解决了数学界最难的流体力学问题之一，但过程颇为曲折：
- NYU 数学家 Tristan Buckmaster 与 Anthropic 研究员 Levent Alpöge 花了一年时间研究 Euler、Boussinesq 及一个 Navier-Stokes 变体方程。
- 两人大量使用 AI（包括 Claude 与 Codex）生成候选证明，再人工验证并重写。
帖子为转述，原文细节被截断，核心信息是 AI 深度介入顶级数学证明工作的案例。
所属事件:OpenAI 宣称破解纳维-斯托克斯千禧难题引争议(150 条相关)→
「研究」频道最新
- IFM 开源 K2 Horizon 全家桶:6 个尺寸、每模型 20T tokens、连 reward-hacking 审计都公开 — kimmonismus · 2026-09-09
- 开发者上线聚合站，汇集 OpenAI 纳维-斯托克斯证明各方表态 — NathanpmYoung · 2026-09-09
- kalomaze 澄清:AI公司并非直接拿用户记录训练,靠的是诊断 — kalomaze · 2026-09-09
- Astra 自研国际象棋战术引擎文档曝光，可强制或阻止特定结果 — MikePFrank · 2026-09-09
- Anshul Kundaje：基因组学正处于技术突破的黄金期 — anshulkundaje · 2026-09-09
- 斯坦福 Kundaje:ML for Bio 领域该改革同行评议评价体系了 — anshulkundaje · 2026-09-09