⌘ K
… 读取采集状态 同步中...
雷
原文
硅星人Pro· 梦瑶·· 2026-08-17AI 评分61

菲尔兹奖得主Gowers:AI数学突破主要靠搜索反例而非证明

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

AI 导读

1998年菲尔兹奖得主Timothy Gowers指出,AI近期的数学突破(如Erdős单位距离问题、雅可比猜想)多依赖寻找反例而非正面证明。他分析AI优势在于知识调用广度和低成本试错,但缺乏人类数学家直觉剪枝(“鼻子”)的能力,预计一两年内AI将长出更强的直觉,当前AI的解题方式更像是广度优先搜索。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:硅星人Pro · mp.weixin.qq.com