陶哲轩批评 AI 求解数学方式：担忧损害学科未来

数学家陶哲轩在采访中指出，AI 求解数学问题的方式存在问题，核心不在于证明本身的正确性，而在于这种自动化模式可能以损害学科未来发展为代价。他将这种做法比作“对问题的自动化露天开采”，虽然达到了即时目标，但对领域的长远发展并非最优路径。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。