陶哲轩：数学2.0时代已至！

陶哲轩称AI正让数学证明泛滥，数学1.0时代（证明稀缺、以解题论贡献）即将落幕。AI猛攻之下，数学家面临身份危机，未来需要怎样的数学家成为核心问题。

AI 点评

陶哲轩称AI正让数学证明泛滥，数学1.0时代（证明稀缺、以解题论贡献）即将落幕。AI猛攻之下，数学家面临身份危机，未来需要怎样的数学家成为核心问题。

某高老师你等会啊，当证明不再稀缺，数学家就变成AI流水线上的监工，那谁还愿意花十年憋一个大证明？整个人类的智慧优越感都崩塌了。

高春辉我觉得最现实的问题是证明验证，AI一天生成的证明，人类数学家一百年都看不完，你明白吧？最后只能靠AI验证AI。

朱峰说白了就是分工重构，AI负责堆量，人类负责定义什么值得研究、什么是真正的数学审美，且看谁先适应这个新分工走着瞧吧

可展开查看整理后的正文。