菲尔兹奖得主:AI现在主要靠「抬杠」突破重大数学猜想 AI最近最出圈的数学突破,都在“找反例” 梦瑶 发自 凹非寺 量子位 | 公众号 QbitAI 给AI一道数学猜想,它先琢磨的居然是:怎么把它推翻找反例!
!
这番听着多少有点数学界反骨的判断,正出自1998年菲尔兹奖得主、英国数学家Timothy Gowers。
最近Gowers老哥闲来无事把这几个月AI最轰动的数学战绩往桌上一摊,发现了一件画风非常统一的事儿—— 雅可比猜想,找反例。
Erdős单位距离猜想,找反例。
非sofic群问题,构造一个过去没人找到的例子。
🔗 原始来源
如果你要核对细节,可以再看原文: 量子位原文链接
AI热榜