菲尔兹奖得主：AI 现在主要靠"抬杠"（找反例）突破重大数学猜想

量子位报道：AI 最近最出圈的数学突破都在"找反例"——通过构造反例推翻猜想而非正面证明。