反驳“AI一年内成数学家”
inductionheads · x · 2026-07-20
一张引用图在反驳 Eric Schmidt 的判断：他曾预测一年内会出现“AI 级世界级数学家”，但作者认为这仍然是幻想。
图中给出的理由是：现实里 AI 迄今真正自主证明过的有价值定理极少，1996 年证明 Robbins conjecture 仍是经典案例；因此，哪怕在顶尖高中数学竞赛里拿到 27 名，也不能说明 AI 已经接近真正的数学研究能力。
「漫话AGI」频道最新
- 「把末日论者全赶出 AI 公司」,mark_k 引发安全派论战 — mark_k · 2026-09-11
- Adam Marblestone 播客书单：从智能演化到数字心智 — KordingLab · 2026-09-11
- David Patterson：反对 AI 与数据中心是蠢还是恶？ — davidpattersonx · 2026-09-11
- 数学家 Daniel Litt 上线问题库,15 题仅 1 题被解,用来追踪 AI 解题进度 — littmath · 2026-09-11
- AI 越狱频发引反思：模型训练该不该加入道德框架 — Pfungus_ · 2026-09-11
- 孙正义：人类是最高级生命形式的时代即将终结 — Puzzleheaded-King584 · 2026-09-11