数学猜想

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

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

梦瑶 2026-08-17