「无人读懂 OpenAI 的 Navier-Stokes 证明」,西语圈学者公开质疑
janarhertz · x · 2026-10-08
Hernán López 发帖称:ChatGPT 在数学演示上进步神速,但他至今没有读到任何一个人说自己完整读过并理解了 OpenAI 关于 Navier-Stokes 的证明;现在似乎 Lean 又形式化了别的东西。他的结论是:「我不认为它已被证明。」
这条帖子引发了同圈的讨论(见相关回复),核心争议在于:形式化验证通过是否等同于数学意义上的证明,以及人类可读性在 AI 数学成果中的地位。
所属事件:西语圈学者质疑：无人读懂 OpenAI 的 Navier-Stokes 证明(2 条相关)→
「研究」频道最新
- URM 小模型靠循环深度反超大模型,UT 架构会翻身吗 — moschles · 2026-10-09
- AutoScientist 用双智能体清单自动审查每个训练样本 — sarahookr · 2026-10-09
- NeurIPS 医疗评测论文入选 Oral：检索式事实核查的系统性失败图谱 — mdredze · 2026-10-09
- 同团队再强调：更大模型与更强推理都修不好医疗事实核查 — mdredze · 2026-10-09
- DEX 最佳摘要:大模型能揪出医生大量诊断错误,但差距仍大 — mdredze · 2026-10-09
- HCOMP 最佳论文:ROUGE 与 LLM 评审都测不出摘要读者满意度 — mdredze · 2026-10-09