反驳“AI一年内成数学家”
inductionheads · x · 2026-07-20
一张引用图在反驳 Eric Schmidt 的判断：他曾预测一年内会出现“AI 级世界级数学家”，但作者认为这仍然是幻想。
图中给出的理由是：现实里 AI 迄今真正自主证明过的有价值定理极少，1996 年证明 Robbins conjecture 仍是经典案例；因此，哪怕在顶尖高中数学竞赛里拿到 27 名，也不能说明 AI 已经接近真正的数学研究能力。
「漫话AGI」频道最新
- Bindu Reddy 称 GPT-6 قريب在即，阿里 DeepSeek Kimi 也将跟进 — bindureddy · 2026-07-22
- Bindu Reddy 认为行业还不会训练 20T 级模型并规模化后训练 — bindureddy · 2026-07-22
- 教授提醒：最先进的大模型正变得无法相互替代 — emollick · 2026-07-22
- AI 提了更好的构图，反而让用户感到不安 — Sydde · 2026-07-22
- AI 发展的瓶颈：从互联网数据红利到高质量反馈闭环 — dyamins · 2026-07-22
- 学者反思 90 年代曾批 Kurzweil 的 Scaling Law 是错的 — davidmanheim · 2026-07-22