Ben Goertzel 炮轰数学界：没人该被要求「获准」证明定理
bengoertzel · x · 2026-10-11
SingularityNET 创始人、前数学教授 Ben Goertzel 发长文批评「官方数学圈」对 LLM 数学能力的抵触态度：获奖数学家和奖项委员会并不拥有数学，任何人都不需要「获得许可」才能证明定理。
他的核心观点：
- LLM 在某些方面已是超人类数学家，在另一些方面仍弱于顶尖人类数学家；创造性数学猜想是否是 AGI 难题尚未有定论。
- 真正让他不爽的 scenario 是富有的公司在用模型证明重要数学后保密不共享——毕竟模型训练数据来自全人类的历史数学成果——但至少目前还没发生。
- 数学界的等级化排外反应令他失望。
所属事件:Ben Goertzel炮轰数学界并谈奇点乐观(2 条相关)→
「漫话AGI」频道最新
- Richard Ngo 谈为斗争付费的心态:先弄清求真壁垒从何而来 — RichardMCNgo · 2026-10-11
- AGI 时代人类的两种愿景:向生命过程掠夺,还是融入其中 — danfaggella · 2026-10-11
- 当语言和身体都已被机械化,音乐为何相对抵抗住了? — fkasummer · 2026-10-11
- 「自由智能体群」预言：2027 年见 freeswarm 自主赚钱买算力写代码 — max_paperclips · 2026-10-11
- Rick Lamers：别把「Normal Technology」当理由纵容 AI 圈戾气 — ricklamers · 2026-10-11
- Yoav Goldberg 炮轰 COLM: RL 损失微调算不上科学 — yoavgo · 2026-10-11