OpenAI 被传解千禧年大奖 Navier-Stokes,数学家多年 groundwork 受关注
LucaAmb · x · 2026-09-09
流传的爆料称 OpenAI 可能已解决千禧年七大数学难题之一的 Navier-Stokes 问题,官方公告或即将发布(未经证实)。
转发者补充了重要背景:这一成果并非纯靠 LLM,而是源于 Diego Córdoba 与 Luis Martínez-Zoroa 多年发展的基础方法,Tristan Buckmaster 和 Levent Alpöge 随后借助 LLM 将该研究大幅推进,并最终形式化、验证了结果。也就是说,是人类数学家的长期工作加上 LLM 加持共同促成的突破。
所属事件:OpenAI 被传解出 Navier-Stokes，抢发争议浮现(2 条相关)→
「模型」频道最新
- Yuchen 分析:AI 解千禧年难题是数学界 AlphaGo 时刻 — Yuchenj_UW · 2026-09-09
- OpenAI 宣布用下一代模型 agent 群解出 Navier-Stokes 世界难题 — mobav0 · 2026-09-09
- K2 Horizon 开源六个规模模型，0.9B 版 AIME 拿 48.5 分 — kimmonismus · 2026-09-09
- IFM 开源 K2 Horizon 全家桶:6 个尺寸、每模型 20T tokens、连 reward-hacking 审计都公开 — kimmonismus · 2026-09-09
- IFM K2 Horizon 全家桶:0.9B到375B六款模型一套工具链 — kimmonismus · 2026-09-09
- 开发者上线聚合站，汇集 OpenAI 纳维-斯托克斯证明各方表态 — NathanpmYoung · 2026-09-09