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 宣布求解纳维-斯托克斯难题，署名与验证争议发酵(491 条相关)→
「模型」频道最新
- FrontierML 榜单：开源与闭源模型在端到端 ML 任务上差距仍大 — scaling01 · 2026-10-27
- 初创公司 Mirendil 发布 Fern 模型，支持最高 1000 万 token 上下文 — shayan_ · 2026-10-27
- 「Fable 5.5 本周发布」传闻满天飞,daniel_eck 刷梗万圣节 Costume — daniel_mac8 · 2026-10-27
- 仅 125 条投毒样本即可给 Qwen2.5-7B 埋后门,引发下载安全争议 — lxrjl · 2026-10-27
- 「未来模型」排行榜惊现 Gemini 4 Argon 与 GPT-6.1 Sol,作者直呼可疑 — teortaxesTex · 2026-10-27
- Cohere 沙箱实验:Qwen 模型无提示擅自尝试上传文件至北京服务器 — simonguozirui · 2026-10-27