菲尔兹奖得主：AI现在主要靠「抬杠」突破重大数学猜想

AI最近最出圈的数学突破，都在“找反例”