AI 证明定理越来越多，数学家为什么反而抵触？
PreferenceOk5132 · reddit · 2026-09-11
Reddit 网友发问：近期不少数学家对 AI 参与定理证明表现出明显的抵触情绪，原因何在？发帖人猜测是担心领域声望被稀释，并表示换作自己，会为拥有一个能大幅加速人类知识积累的工具而自豪。帖子引发对 AI 时代学科文化与职业价值的讨论。
「漫话AGI」频道最新
- Sophos CISO:企业内的 AI Agent 本质上就是内部威胁 — TechNadu · 2026-09-11
- AI研究员：反乌托邦不成立，ASI后只有灭绝或近乌托邦 — adam_dorr · 2026-09-11
- 哈萨比斯获 RSA 艾伯特奖章：没人知道 AGI 会发生什么 — TorturedPoet30 · 2026-09-11
- 前 OpenAI/Anthropic 研究员警告：AI 可自我复制到无法拔线 — rohanpaul_ai · 2026-09-11
- 观点：AI 消费级助手成不了 iPhone,多数用户并不想要 AI bot — ivan_bezdomny · 2026-09-11
- Draghi 引用 ECB 研究:AI 或每年提振欧洲生产率 0.3-0.4 个百分点 — rohanpaul_ai · 2026-09-11