RecodeX 重构消息，菲尔兹奖得主Timothy Gowers近日撰文指出，近期AI在数学上的重大突破多集中于寻找反例，而非正面证明。例如OpenAI模型构造复杂数域点集，推翻Erdős单位距离问题的长期判断；Claude协助数学家找到雅可比猜想相关反例。Gowers认为，AI在知识储备和搜索成本上具有优势，但尚缺乏数学家的“嗅觉”，并预计一两年内可能有所改善。