Kareem Carr 认为 AI 自动化数学已成定局
kareem_carr · x · 2026-07-22
作者表示自己已经不再为 AI 在数学上的进展感到惊讶，因为像数学证明这类工作最终会被自动化，这件事在他心里已经是“早晚会发生”。
他把这视为数学科学领域一场类似工业革命的开端，并认为真正值得思考的，不是它会不会发生，而是下一步会发生什么。
「漫话AGI」频道最新
- AI 发展的瓶颈：从互联网数据红利到高质量反馈闭环 — dyamins · 2026-07-22
- 学者反思 90 年代曾批 Kurzweil 的 Scaling Law 是错的 — davidmanheim · 2026-07-22
- 作者认为，AI 还远没到成熟平台期 — generativist · 2026-07-22
- 长文称 LLM 更像外化元认知，而非独立智能 — lnsip9reg · 2026-07-22
- 有人指出：多极 AI 竞争不会自动带来好结果 — JeffLadish · 2026-07-22
- 去中心化AI：避免数字封建主义的经济解药 — srimisra · 2026-07-22