Pedro Domingos：AI 日均证千定理已不足为奇
pmddomingos · x · 2026-08-02
华盛顿大学教授 Pedro Domingos 发推表示，AI 现在每天能证明 1000 个定理已经成了常态，以至于让人感到无聊（Yawn）。这侧面反映了 AI 在自动化定理证明领域的发展速度已经超出了大众的日常感知。
所属事件:Pedro Domingos：AI 日均证千定理已成常态(3 条相关)→
「漫话AGI」频道最新
- Hinton 回击黄仁勋:他唱衰 AI 危险论是为了多卖英伟达芯片 — BlackHC · 2026-10-16
- Yudkowsky 怒斥可解释性新进展，转发者反驳「末日论者永远可以说不够」 — AlexTensor · 2026-10-16
- Beff Jezos：技术加速已到文明级拐点 — beffjezos · 2026-10-16
- 数据科学家自述:未来五年最稳的转型是转向 AI 工程 — mdancho84 · 2026-10-16
- 学者争论：AI 将超越人类做科学，欧洲躲不开只能用别人的 — teortaxesTex · 2026-10-16
- beffjezos 回应 Aaron Levie：技术乐观主义是『超迷信』 — basedjensen · 2026-10-16