关于 AI 辅助数学的讨论

事件讨论

当机器先给出答案：Navier–Stokes 事件中的正确性、传承与研究伦理

本文从 OpenAI 在一周内公布 Navier–Stokes 结果的事件开始，沿着 Alpöge–Buckmaster 的研究时间线和联合声明的讨论，分开考察形式化正确性、知识传承与研究过程。我们的判断是：经过可靠检查的结论可以先获得清楚的使用边界；理解、解释和传承是同样重要、但可以并行推进的贡献。