OpenAI 纳维-斯托克斯证明被曝数学转代码出错
danielmorozoff · hn · 2026-10-10
New Scientist 报道，OpenAI 宣布的纳维-斯托克斯方程相关数学证明在将数学转化为可执行代码的环节出现了错误（mistranslated mathematics into code），外界质疑其验证流程与结论的可靠性。该消息也引发数学界对其证明成果实际价值的进一步讨论。
「研究」频道最新
- NYU 与亚马逊论文：蒸馏 6 条精选技能可抵 11 倍大的技能库 — rohanpaul_ai · 2026-10-10
- Apple ML 招博士实习生，攻关高效多模态与视频理解 — CSProfKGD · 2026-10-10
- PostTrain Agent 全自动后训练拿 PostTrainBench 榜首,距人类专家仅差 4.5 分 — jiqizhixin · 2026-10-10
- kissing number 下界刷新:D19-31 多维新纪录开源可验证 — felpix_ · 2026-10-10
- 数学家担忧「问题被解决」定义进步,AI 时代这一隐忧成真 — _onionesque · 2026-10-10
- UIUC×谷歌推出BudgetPix:单模型按图像复杂度自适应算力,token可降至10% — CSProfKGD · 2026-10-10