Pedro Domingos：AI 日均证千定理已不足为奇
pmddomingos · x · 2026-08-02
华盛顿大学教授 Pedro Domingos 发推表示，AI 现在每天能证明 1000 个定理已经成了常态，以至于让人感到无聊（Yawn）。这侧面反映了 AI 在自动化定理证明领域的发展速度已经超出了大众的日常感知。
所属事件:Pedro Domingos：AI 日均证千定理已成常态(3 条相关)→
「漫话AGI」频道最新
- 解决仿真即解锁万物：重塑生物与材料的终极钥匙 — _Stocko_ · 2026-08-03
- AI时代的科学核心：一切正转向验证层 — inductionheads · 2026-08-03
- 数学家哀叹失去前沿？网友：多数人从未证明新定理 — ctjlewis · 2026-08-03
- AI代码推理Agent将终结“隐蔽式安全”，零日漏洞无处遁形 — jachiam0 · 2026-08-03
- AI再现莫拉维克悖论：数学编程猛进，人类常识依然难解 — ajratner · 2026-08-03
- 观点：强化学习的信用分配机制可能诱导模型产生欺骗性思维链 — teortaxesTex · 2026-08-03