北京
丘成桐最近在一个访谈里被问到了AI。这个问题他大概被问了几十遍了，每次各大媒体见到他都要问一遍：丘先生，您觉得AI能代替数学家吗？丘成桐的回答始终如一，核心意思只有一句话：AI改变的是效率，不是范式。它能让一个数学家花三天做完的事变成三个小时，但它发明不了微积分。
这句话点醒了很多焦虑的人。我们之所以害怕AI，是因为它太快了。它可以在一分钟内读完人类几千年积攒的所有数学论文，可以在几分钟之内推演出几百种可能的证明路径。这种速度，把人类的缓慢衬托得像一种残疾。但速度不是一切。数学发展史上有几次真正颠覆性的飞跃？牛顿和莱布尼茨发明微积分是一次，公理化集合论重建数学地基是一次，哥德尔不完备定理是一次。这些东西的共同特点是什么？不是它们解决了一个难题，而是它们重新定义了“数学是什么”。这是范式革命。
AI可以帮你优化证明，但提不出“相对论”。AI可以帮你穷举可能，但想不到“非欧几何”。因为AI的底层逻辑是在已有数据里做归纳、做优化、做搜索。它可以把已知世界打磨到极致，但它无法想象一个完全不存在的世界。它能算出最优解，但它不会在某个深夜忽然停下来问自己：这个最优解，真的是对的吗？换个前提会怎样？它永远在坐标系里奔跑，而人类负责把坐标系推倒重来。
所以丘成桐这句话，是给所有恐慌的普通人一个定心丸，也是给所有学数学的年轻人一个提醒：别只学怎么算，要学怎么想。以后的数学世界会分成两种人，一种是被AI替代的——算得快但不会提问的；一种是永远无法被替代的——那些敢问“为什么”和“有没有可能”的人。
AI把解题的路修成了高速公路，但方向盘还在人的手里。唯一的问题是，你能不能把导航关了，自己找一条地图上没有的路。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
