PEDingo Domingos：AI 能做证明，但做不出优雅的证明
pmddomingos · x · 2026-11-01
机器学习学者 Pedro Domingos（《终极算法》作者）发推断言：当前 AI 可以完成数学证明，但「优雅的证明」仍超出它的能力范围——暗示数学审美与简洁性仍是人类数学家的护城河。
「漫话AGI」频道最新
- Yoshua Bengio 访谈：担忧 20 年后孩子们可能无以为生 — connoraxiotes · 2026-11-01
- 当 AI 产出淹没训练语料：模型会不会在自己制造的数据上退化？ — ThisFuzzBall078 · 2026-11-01
- YC 总裁转发:AI 让在家教育变得前所未有的可行 — garrytan · 2026-11-01
- 「奇点山脚」:AI 进展呈指数加速,一年后已难预测 — haider1 · 2026-11-01
- Scott Alexander 发文 Against SURA,承认此前嘲讽暂停派是误判 — jessi_cata · 2026-11-01
- 博主调侃 AI 末日论者：嘲讽模型幻觉却对超智畅想信口开河 — VraserX · 2026-11-01