[Ankit Maloo] AI 越来越擅长数学，原因是什么？

🧠 一个想法，值得用几个月去证明它可能是错的吗？

数学研究最幽暗的时刻，是已经迈出很多步，却仍然不知道自己是否接近答案。直觉让人出发，时间迫使人停下。有些道路被放弃，只因为希望迟迟没有显形。

本期解读 Ankit Maloo 的《AI Is Getting Good at Math. Here’s Why.》：当机器能把漫长的犹疑变成一次可以完成、可以检查的计算，探索未知的门槛会怎样改变？沿着高尔斯关于证明与提示的思考，我们走向一个更深的问题：人类用信念承担的不确定性，有多少能够由算力接手？

但走完一条路，与理解这条路为何通向终点，仍有距离。失败可以被海量生产，洞察却需要知道：我们原先相信什么，又为何必须改变。

✨ 陶哲轩提醒我们，解题是发展数学理解的代理目标。当正确答案越来越容易获得，真正稀缺的，也许是答案之后的解释。

机器完成了什么，而我们又因此理解了什么？

原文链接：latent.space

发布时间：2026-10-23