数学证明在 AI 时代的意义

Alexander Gamburd 在关于纳维-斯托克斯方程和 AI 时代的数学文章中指出，AI 时代出现了“无证明的揭示”。传统上，“证明”包含人类理解、计算机验证和权威揭示三种含义，但当前系统假设这三者相同，导致数学作为人类实践的独立性面临挑战。文章探讨了如何在 AI 影响下区分这些概念，以维持数学的人文本质。