数学家自省：AI 证明定理越来越强，人类数学家需要重新定位
notmisha · x · 2026-10-01
发帖人认为「唯一的出路是穿过去」：机器证明定理的能力会持续提升，数学界需要重新思考「作为人类数学家意味着什么」，以及在一个与 AI 共享的世界里，人机共同想达成什么。其上一条推文指出，此类批评有先例——当年关于量子力学物理意义的争论，同样塑造了人们对实在的理解。
「漫话AGI」频道最新
- 十年老兵更新两年半前感想:从追上汽车到飞向半人马座 — charles_irl · 2026-10-01
- Fortnow 谈学编程能否帮你理解计算复杂性 — fortnow · 2026-10-01
- 月烧 3000 美元组多模型工作流：白领岗位危险了 — opmgyhx · 2026-10-01
- 评论人:大公司消解音乐语境,'个人 AI 音乐'是疏离的产物 — pixlpa · 2026-10-01
- 学者质疑:模型无提示复现视频梗中免责声明,难道不是理解? — technollama · 2026-10-01
- 艺术家反思:AI 生成器把创作过程压进 latent space 丢了什么 — rms80 · 2026-10-01