陶哲轩觉得，现在用AI来帮数学研究，有点像汽车开到城市里，那速度虽然快，但把原来的路给堵住了。这得给它弄个新的基础设施才行。因为现在科技发展这么快，AI在很多领域都挺管用，尤其是数学这一块。他跟德瓦凯什·帕特尔聊的时候就说，AI虽然能让人很快从一个假设跳到结论，但往往把那种慢慢探索、找灵感的过程给忘了。传统的数学研究不光是找答案，更是在培养研究者的本事。你看那些期刊、会议，还有师徒教人的方式，都像是给马车铺的窄路。要是硬让AI去适应这些老路，就好像逼着汽车在人行道上开一样。陶哲轩就建议搞个新学科叫“AI规划”，专门用来管这些事儿。他还说他现在的工作多亏了AI，能快速检索文献和生成图表代码，但他还是离不开笔和纸的。德瓦凯什·帕特尔也表示认同，觉得AI把想法变出来变得很容易了。以前大家发愁怎么想新点子，现在的瓶颈变成了怎么验证这些想法是不是对的。所以他觉得得建立个专门给AI用的系统，比如形式化证明助手或者自动生成的粗略证明库。这样既能保留传统数学那种慢慢探索的精神，又能让AI的高效率发挥出来。虽然现在很多人都觉得AI很牛，但陶哲轩觉得它并不能直接创造出知识来。不过它能让人想出成千上万种理论来验证科学问题。对于未来怎么把AI和数学研究结合好，大家得重视机遇也要小心挑战。只有好好规划设计一下，才能找到一条适合数学发展的新路子。