数学界的大佬陶哲轩最近把话挑明了：AI辅助搞研究，需要一套全新的基础设施，就好比汽车跑上了城市的老路，这事儿确实值得琢磨。他在和德瓦凯什·帕特尔聊天时就说，这种冲击不光是数学界有的，搞编程的人也得面对同样的问题。就好比当初汽车出现后，交通是变快了，可城市的路本来是给人和马车走的，哪能受得了这么快的增长，结果到处都堵。现在的数学研究体系也有这个问题，像期刊、开会、传帮带这些老套路，本来是给人类研究者准备的，现在AI来了，这些东西就显得特别不顶用。 陶哲轩还说了个道理：AI在推理的时候确实效率高，能直接从假设跳到结论，但这中间好多宝贵的东西都被忽略了。人做证明虽然慢一点，但能练脑子、看全局、找新方向。这些都是AI做不到的碰撞过程。他提醒大家，要是硬要把AI塞进现有的体系里去跑，就像让汽车非得走人行道一样蠢。 所以他建议咱们得建一套新东西来给AI撑腰。比如可以用那些形式化证明的助手去检查大难题的结论，或者先把自动生成的粗略证明库弄出来，再让人精雕细琢成高质量的成果。另外他还提议搞一门新学科叫“AI规划”，好让数学研究保留那种能在地上溜达探索的劲儿。 陶哲轩跟帕特尔聊起来的时候也提到，虽然AI给他提供了不少画图和写代码的工具，但核心的活儿还得靠笔和纸。他觉得AI在某种程度上降低了想出点子的门槛，这就跟互联网让沟通变便宜一个道理。可这并不意味着知识就好获取了。现在大家面临的难题是，要从一大堆AI生成的理论里头去挑真金白银，找出真正有价值的发现。 在这个AI疯狂发展的年代，陶哲轩的这些话其实是在提醒咱们：科技得跟人脑一起用才行，别把人脑给替换了。把这新型基础设施建起来，把AI和人结合得更紧点，这可能才是咱们通向未来的正路。