Kareem Carr 认为 AI 自动化数学已成定局
kareem_carr · x · 2026-07-22
作者表示自己已经不再为 AI 在数学上的进展感到惊讶，因为像数学证明这类工作最终会被自动化，这件事在他心里已经是“早晚会发生”。
他把这视为数学科学领域一场类似工业革命的开端，并认为真正值得思考的，不是它会不会发生，而是下一步会发生什么。
「漫话AGI」频道最新
- 经济学家拆解 Anthropic 增长模型:能写出 15% GDP 增长,不代表会发生 — sebkrier · 2026-09-11
- Cohere Labs 推出交互工具:测 178 种职业哪些任务会被 AI 自动化 — Cohere_Labs · 2026-09-11
- AI 安全人士上 SkyNews 担忧不平等、滥用与社会激励结构 — schwarzjn_ · 2026-09-11
- 风投人士讽 AI 末日论：与疫情恐慌话术如出一辙 — StewartalsopIII · 2026-09-11
- Anthropic 内部爆料:并非人人都持高 p(doom) 灾难论 — anpaure · 2026-09-11
- 一万个智能体能否突破反向传播,找到更好的学习算法 — SeunghyunSEO7 · 2026-09-11