AI推翻数学猜想获作者确认，453篇手稿开启自主出题

AI数学正在越过一个微妙的分界线。过去人们关心大模型能否解难题、写证明、找反例，如今更接近科研本身的问题浮现：当一条证明路线失败后，AI是否知道下一步该做什么——继续算、换路线、缩小命题，还是提出新的可证伪猜想？思特雅大学研究人员曾仔健搭建的AI Has Taste，正试图将这一问题做成可持续运行的研究系统。

项目公开仓库目前记录453份数学研究手稿、2312页内容，其中6篇被明确归类为“AI-Proposed Conjectures”。仓库首页定位为“From Answer Generation to Research-Agenda Generation”——从生成答案走向生成研究议程。

AI Has Taste并非基于“AI一定擅长数学”的信念。曾仔健回忆，项目初期他对大模型能否真正推进数学研究并不确信。一次偶然测试成为转折：他把一篇论文中的猜想交给AI，本只想看模型能走多远。结果AI没有顺着论文继续证明，而是构造出反例，直接推翻了该猜想。他第一反应是不信，于是整理反例和推导后写信给原论文作者核实，随后收到回复确认反例成立。对应研究后来也被收录进目前450余份数学手稿中。

曾仔健表示：“最开始我还不相信AI在数学上的力量。直到输入一篇论文的猜想，AI直接给出反例推翻；我立刻写信问原作者，对方回复确认是对的。那之后，我才真正放开手脚干。”这封邮件改变的不只是一个猜想，而是项目的尺度：如果AI不仅能复述已知知识、生成看似证明的文本，还能主动推进研究，那么数学研究的边界与方式可能正在被重新定义。