讽刺大模型数学证明：只是重组已有知识？
burny_tech · x · 2026-08-03
推文以极具讽刺意味的口吻反驳了近期关于大模型（如 o1）完成复杂数学证明的过度宣传。
作者戏谑地表示，模型在证明过程中使用的所有词汇和数字实际上都是训练数据的一部分。他指出，在查阅了长达 125 页的思维链（CoT）总结后，没有发现任何“新颖的符号”。
他认为，模型仅仅是把已知的数学元素重新排列组合，恰好解出了问题。如果故意忽略掉重排、依赖结构、证明搜索和综合等实际机制，这显然只是“死记硬背”。
「Fun」频道最新
- AI 图像编辑有多离谱？用户改图改到崩溃 — lamardoss · 2026-08-03
- 北欧 AI 公司弃连帽衫换高端周边，行业文化走向成熟 — nordicinst · 2026-08-03
- 龙珠梗图吐槽：用超级赛亚人变身对比视频模型进化 — Parogarr · 2026-08-03
- AI学术圈争议：新方法被指换皮重命名旧模型 — PMinervini · 2026-08-03
- AI 生成视频《Back From Saint Helena》发布 — Substantial-Answer · 2026-08-03
- Reddit热帖：中国AI模型再现“魔法”，生成效果惊艳网友 — kac487 · 2026-08-03