PapersMulti-source
哈佛数学界因 OpenAI 纳维-斯托克斯证明声明产生分歧
Why we picked it
OpenAI 声称搞定 Navier-Stokes 后，哈佛数学家吵起来了：AI 给的证明没人看得懂，还算不算证明？
OpenAI 宣称在 Navier-Stokes 问题上取得进展后，哈佛数学家对 AI 证明是否需要人类可理解产生分歧。争论核心在于证明的两个功能：确认命题为真，以及向数学家传授可复用的方法。支持者认为不可读的 AI 证明仍能提供确定性，反对者则指出它剥夺了技术层面的价值，即数学家看重证明的另一重原因。
Original · rohanpaul_ai
Harvard mathematicians are split over whether correct AI proofs need human understanding, after OpenAI’s Navier-Stokes claim.
A proof does 2 things: it shows a statement is true, and it teaches other mathematicians a method they can reuse, and AI proofs often deliver only the first.
Mathematicians value proofs for 2 reasons, certainty and technique, and an AI proof that nobody understands gives them certainty while withholding the technique.
