数学家不再读「创伤日志」,开设计算机辅助解数学题新课

zakkohane · x · 2026-10-26

数学家 Bartosz Naskręcki(Adam Mickiewicz 大学)长文谈 AI 冲击数学的正确应对:他不再读数学家被 AI 冲击的「创伤日志」,而是建了一个 AI 与数学交互的知识语料库,并开出一门新课《计算机辅助求解数学问题》,涵盖 Python、SymPy、SageMath、区间算术、数值方法、符号计算、线性代数与可视化。他提出数学与计算机交互有三个层次:数值(numeric)、符号(symbolic)、形式化(formal),认为理解模型如何在数学证明的符号表示上训练,才是应对技术崛起的唯一方式——哀悼「旧日好时光」毫无意义。