数学家 Tony Feng：AI 证明一年内将带来「新大陆级」发现

littmath · x · 2026-11-06

数学家 Tony Feng 表示自己经历了从怀疑、否认到沮丧的心路历程，如今对 AI 在数学中的应用感到相当兴奋。他认为当前的 AI 证明仍像是没有根本性新想法的巧妙技术技巧，但与 6 个月前相比进步巨大，并预期未来一年的发展将带来「铅笔和纸永远无法抵达的隐喻性新大陆和行星」，探索机会的打开速度将远快于关闭速度。他用「外星智慧」作比喻：即使外星文明存在，人类也造不出星际飞船去见它们，但在数学中我们将遇到一种外星智能，而只有数学家能直接看到并领会它在说什么——任何好奇想了解外星洞见的人都应投资于人类数学。