ChatGPT 数学证明突飞猛进,但 Navier-Stokes 证明仍无人读懂
gerardsans · x · 2026-10-09
Hernán López（回复 janarhertz）承认 ChatGPT 在数学证明方面进步飞快,但指出:至今没有一个人声称自己完整读过并理解了 OpenAI 的 Navier-Stokes 证明;现在似乎又有 Lean 形式化的新进展。他明确表态:「我不认为这算已被证明。」
这条观点呼应了此前关于 OpenAI 数学成果的争议——即便形式化验证通过,人类可读性与可理解性仍是独立问题。
所属事件:西语圈学者质疑：无人读懂 OpenAI 的 Navier-Stokes 证明(2 条相关)→
「研究」频道最新
- Late Interaction 检索讲座:为何 2026 年它仍是实用技术 — CShorten30 · 2026-10-09
- 诺奖得主成长研究:科学家天赋之外,家庭背景多重要? — soumitrashukla9 · 2026-10-09
- 社区改进 OpenAI 数学结果上亿倍:κ 界收紧至 2⁻¹⁵,较原结果提升 2¹⁶⁷ 倍 — latticecut · 2026-10-09
- 多智能体框架 CORAL 登 COLM，GitHub 星数破 1100 — pliang279 · 2026-10-09
- 研究者质疑情绪向量论文:80% 样例疑似「负面情绪」而非心理社会痛感 — rgblong · 2026-10-09
- TritonRL:8B 模型 RL 训练写 Triton 核,性能匹敌 100B+ 前沿模型 — allenainie · 2026-10-09