AI证明定理引热议：无人问津的数学定理成焦点
pmddomingos · x · 2026-08-01
知名机器学习专家 Pedro Domingos 感叹，当 AI 成功证明那些原本无人问津的数学定理时，它们突然就成了备受瞩目的大事件。
所属事件:Pedro Domingos：AI 日均证千定理已成常态(3 条相关)→
「Fun」频道最新
- 冥想式讽刺：我同事的作品里怎么没有任何 workslop？ — gleech · 2026-10-16
- 马儿吐槽汽车抢饭碗,经典自动化失业梗再翻红 — Paimaamu · 2026-10-16
- 「聪明为何不富」MIT 特刊恶搞图刷屏:原来是你太蠢 — itsOmSarraf_ · 2026-10-16
- AI 梗图:病床上老爹最得意的是把自己 P 成钢铁侠 — Aryvyo · 2026-10-16
- AI 生成「巨人 MJ」时装图爆火:夸张比例撞出超现实时尚感 — OVolosin82152 · 2026-10-16
- 想象 1985 年电脑店里摆着 Claude Code 和 Codex 软盘套装 — m3nt3_ · 2026-10-16