张田勘：AI研发的药物可以服用吗？

著名数学家陶哲轩10月9日在美国加州理工学院发表题为《数学2.0》的公开演讲，将传统的数学研究定义为数学1.0，并系统性地阐述迈向数学2.0的必要性与主要内容，可以概括为一个前提转变、一个核心危机，以及三大转型方向。

演讲最引人关注的部分是提出人工智能（AI）对数学造成的危机。如果继续盲目地将纯粹解题作为AI的优化目标，将对数学的长期健康发展带来实质性的伤害。显然，陶哲轩针对的是最近OpenAI等前沿大模型，在短时间内“暴力轰炸式”地发布数千个数学难题的AI证明。

他认为，AI扔出来的证明往往庞大、晦涩，是人类无法阅读的机器输出。如果数学界只满足于AI帮我们把题做对了，却没有任何人能看懂它的逻辑，数学就会变成纯粹的黑盒。