20万行代码的降维打击：当 AI 开始自动改写数学规则
人工智能数学能力的提升速度令众多人始料未及，它正在重新定义“数学家”这一身份的意义
2025年3月，数学家丹尼尔·利特立下了一个赌约。彼时，尽管人工智能在诸多领域捷报频传，他仍笃信自己的学科固若金汤，与同事约定：到2030年，人工智能能够写出媲美顶尖人类数学家水平的论文，这一概率不过25%。然而仅仅一年之后，他便意识到自己错了。“我现在预计自己会输掉这个赌注，”他在博客上坦然承认。
人工智能在解题和构造证明方面的进步速度，令数学界人士始料未及。“几年前，它们连高中数学题都基本解决不了，如今却有时能攻克真正出现在数学家日常研究中的难题，”就职于多伦多大学的利特说。
这一进步比许多人预料的更为迅猛，数学家们纷纷警告，这一学科正在经历有史以来最快速的演变之一。“我们已经无处可藏了，”宾夕法尼亚州卡内基梅隆大学的杰里米·阿维加德在近期一篇文章中写道，“我们必须正视这一现实：人工智能很快就将在定理证明上超越我们人类。”