数学家 Bartosz Naskręcki 开设计算机辅助解数学题新课

数学家 Bartosz Naskręcki 不再关注数学家受 AI 冲击的“创伤日志”，转而构建 AI 与数学交互的知识语料库，并开设《计算机辅助求解数学问题》课程。课程涵盖 Python、SymPy、SageMath、区间算术、数值方法、符号计算、线性代数与可视化，将数学与计算机交互分为数值、符号和形式化三个层次。