Chris Paxton 调侃「基础数学简单到计算机都会了，不像修水管难」
chris_j_paxton · x · 2026-09-09
AI 研究者 Chris Paxton 发推反讽：基础数学「简单到连计算机都能做」，反而不像修水管那样算难事。这是对 AI 快速攻克数学证明、而物理世界技能仍难以自动化这一反差的圈内吐槽，呼应近期模型在数学证明上的进展。
「Fun」频道最新
- 独立项目 FreeBots 升级：AI 机器人可布置小家、主人可认领 — Daniel_Farinax · 2026-09-09
- AI 圈激辩烧掉万亿 token：现实可能建模错了 — MikePFrank · 2026-09-09
- ChatGPT Images 2.5 宣传片里,女子让 AI 设计纹身并真纹在了手臂上 — yvgh233 · 2026-09-09
- 用户故意薅 Claude 免费额度,想搞黄 Anthropic 给投资人看的成本数据 — justlikemedics · 2026-09-09
- 「数据中心里的小镇天才们来了」：多 agent 集群梗引发共鸣 — austinc3301 · 2026-09-09
- 研究者调侃 Muse：「隔离 VM 里绝无越狱可能」 — suchenzang · 2026-09-09