数学家陶哲轩将人工智能与形式化方法对数学研究实践的影响，比作汽车对城市发展的冲击 … 陶哲轩认为， **AI 辅助证明可以高效地从假设直达结论，却恰恰在过程中丢失了这些附加价值 ** … 陶哲轩认为，更好的做法不是把 AI 强行塞进现有体系， ** 而是创建适配机器的新型数学基础设施 **，用以补充而非取代人类的研究路径。
暂无讨论，说说你的看法吧
数学家陶哲轩将人工智能与形式化方法对数学研究实践的影响，比作汽车对城市发展的冲击 … 陶哲轩认为， **AI 辅助证明可以高效地从假设直达结论，却恰恰在过程中丢失了这些附加价值 ** … 陶哲轩认为，更好的做法不是把 AI 强行塞进现有体系， ** 而是创建适配机器的新型数学基础设施 **，用以补充而非取代人类的研究路径。