别再神化 AI 数学家了：它强在找反例，弱在直觉剪枝菲尔兹奖得主 Gowers 复盘了 AI 最近的数学战绩，发现一个反直觉规律：最出圈的突破几乎全是「找反例」，不是「证明」💡▸ Erdős 单位距离猜想：AI 构造一整族点集，击穿近 80 年判断 ▸ 雅可比猜想：Claude 找到反例 ▸ 非 sofic 群：历史上第一个构造为什么 AI 擅长这个？跨领域搬工具 + 失败成本低（十项成果 token 成本才几千美元）💰但数学家真正的绝活是「鼻子」——搜索树刚分叉就能砍掉 99% 枝条，AI 还做不到，会把迷路描述得越来越优雅。Gowers 的验收标准：解法不光做对题，还要给出大家从没想过的新方法。一两年内，AI 可能就长出更强的鼻子🧠以后看到 AI 数学新闻，你知道该期待什么了吧？#AI #AI数学 #数学 #菲尔兹奖 #OpenAI

Name: 别再神化 AI 数学家了：它强在找反例，弱在直觉剪枝 菲尔兹奖得主 Gowers 复盘了 AI 最近的数学战绩，发现一个反直觉规律：最出圈的突破几乎全是「找反例」，不是「证明」💡 ▸ Erdős 单位距离猜想：AI 构造一整族点集，击穿近 80 年判断 ▸ 雅可比猜想：Claude 找到反例 ▸ 非 sofic 群：历史上第一个构造 为什么 AI 擅长这个？跨领域搬工具 + 失败成本低（十项成果 - 抖音
Uploaded: 2026-08-26T04:45:00+08:00Z
Duration: 2 min 34 s
Channel: 与AI同行

抢首评

发布时间：2026-08-26 04:45

全部评论

大家都在搜：

与AI同行

粉丝479获赞2235

猜你喜欢

推荐视频

最新视频

热榜推荐

热门视频