菲尔兹奖得主Timothy Gowers近期发现，AI在数学界的重大突破（如推翻Erdős单位距离猜想等）主要靠“找反例”。这并非我们学过的“反证法”，而是直接找出一个满足前提却不满足结论的具体例子，一举推翻猜想。

AI为何偏爱“找茬”？Gowers总结了两大优势：一是“知道得多”。AI能轻松跨越学科壁垒，将不同领域的数学工具跨界组合；二是“试得起”。AI能以极低的成本进行海量尝试，在庞大的数学空间中疯狂搜索、拼装和试错，硬把特殊的反例“薅”出来。

不过，目前的AI仍缺乏人类数学家的“鼻子”——即凭直觉迅速判断哪条研究路径有前途的能力。AI目前更擅长“广度优先”的海量试错，有时还会在错误的子问题上“优雅地迷路”。

Gowers预计AI的直觉会快速进化。他为AI设定了一个进入“顶级数学创造”的浪漫标准：当AI不仅能解出难题，还能创造出让人类数学家恍然大悟、并能衍生出一串新成果的全新解法时，AI在数学界的身份才算真正被颠覆。