华裔数学家：AI 自动化数学后，前沿将转向更深的科学提问
xwang_lk · x · 2026-10-08
作者从数学家与科学家的区别谈起：多数科学家把数学当工具，数学家却视其为近乎人生意义的志业，纯粹数学正因世代人对美、结构与真理本身的追求而进步。
- 但数学本质上也仍是工具，一种解锁可能性的语言。
- 如果 AI 能大幅自动化数学机器的运转，前沿将从「解更难的既定问题」转向「用数学提出更深的科学问题」，解锁此前无法触及的领域。
「漫话AGI」频道最新
- Griffin 称通过视频版图灵测试，意识学者 Anil Seth 痛斥造假人危险 — anilkseth · 2026-10-08
- Dankrad：数学本不优雅，是人类的小上下文窗口造成了错觉 — CatAstro_Piyush · 2026-10-08
- OpenAI 数学突破疑云：密码学论文缺席被解读为危险信号 — CatAstro_Piyush · 2026-10-08
- 富人怕失去意义,穷人只想去 BBQ:AI 乌托邦的阶层对话梗 — Promptmethus · 2026-10-08
- AI 圈争论:LLM 早已撞墙?反击称进展全靠验证器与搜索 — olcan · 2026-10-08
- 研究者：LLM 证明求解器不该被当成 AlphaFold 式突破 — JMateosGarcia · 2026-10-08