Kareem Carr 认为 AI 自动化数学已成定局
kareem_carr · x · 2026-07-22
作者表示自己已经不再为 AI 在数学上的进展感到惊讶，因为像数学证明这类工作最终会被自动化，这件事在他心里已经是“早晚会发生”。
他把这视为数学科学领域一场类似工业革命的开端，并认为真正值得思考的，不是它会不会发生，而是下一步会发生什么。
「漫话AGI」频道最新
- 研究发现：前沿 LLM 常为私利单方面撕毁 AI 合同 — xuanalogue · 2026-10-26
- 133 位专利律师实验：同样用 AI，老手被增强、新人陷入认知卸载 — xiaohu · 2026-10-26
- OpenAI 计算机使用 agent 团队：速度已逼近超越人类专家 — a16z · 2026-10-26
- 李开复新书《AI Native》上市：论企业如何成为 AI 原生公司 — kaifulee · 2026-10-26
- MLST 长片对话：从 Kepler 猜想到 AlphaProof，数学证明如何被机器验证 — Machine Learning Street Talk · 2026-10-26
- Nature 试验：ChatGPT 让咨询顾问短期提分，但技能提升是暂时的 — EricTopol · 2026-10-26