把陶哲轩和德瓦凯什·帕特尔给放在一起聊了个天。陶哲轩觉得，现在的数学研究体系，就像给马车设计的路，根本挡不住AI这头猛兽。当年汽车改变了城市的节奏，现在AI也把科研界搅得天翻地覆。就好比那个古老的交通系统，应付不了日新月异的需求。数学研究不能老一套了，得给AI搭个新台子。 要是直接拿现存的那些会议、期刊当舞台，硬让AI往那上面凑，那就跟强行把汽车开进人行道一样荒唐。陶哲轩提议得搞一个全新的基础设施，把人和机器的优势结合起来。比如说用形式化证明助手去检查那些庞大的数学结论，或者建个自动生成的大概证明库，再由人类去把它变成宝贝。 他还琢磨着要弄一门“AI规划”的新学科。这门学科的目的就是要留住人类那种探索的本能，让人和AI能像好友一样合作。跟德瓦凯什·帕特尔聊天时，陶哲轩也说过，AI虽然能给他提供好多图表和代码当工具，但核心的活儿还是得靠那支笔和那张纸去完成。 他认为AI有点像互联网，把成本降下来了。以前想个点子难如登天，现在把大把的理论和想法直接丢给AI生成就行。但这并不意味着知识会变得更便宜。现在最难的活儿变成了从成千上万种理论里筛出金子。 虽然AI在某种程度上降低了产生想法的门槛，可这并不能解决核心问题。陶哲轩觉得科技的发展得和人类智慧相辅相成才行。要构建新型基础设施，推动两者的有机结合，这或许就是我们面对未来必须走的路。