Gary Marcus 说 AI 能做部分数学题,但还不能造出新理论

GaryMarcus · x · 2026-08-04

Gary Marcus 转引陶哲轩关于 AI 与数学的讲座,强调两个核心点:并非每个证明都有用,以及数学并不是统一的一块。他认为,AI 也许能解决某些类型的数学问题,但目前还没有证据表明它能真正建立新理论。

这条转推也顺带把它放进更大的“反 AI 过度炒作”语境里:转推者认为 Marcus 和 Ed Zitron 是少数持续拆解西方 AI 圈叙事泡沫的人,并提醒不要相信那些曾经同样追捧过比特币/加密骗局的人。

所属事件:陶哲轩称 AI 擅长解题但难建新理论(3 条相关)→

原文链接 →

「漫话AGI」频道最新

更多「漫话AGI」频道 AI 资讯 →