菲尔兹奖得主Timothy Gowers近期发现，AI在数学界的重大突破（如推翻Erdős单位距离猜想等）主要靠“找反例”。这并非我们学过的“反证法”，而是直接找出一个满足前提却不满足结论的具体例子，一举推翻猜想。 AI为何偏爱“找茬”？Gowers总结了两大优势：一是“知道得多”。AI能轻松跨越学...