数学家称 AI 生成证明应算工具，不该列共同作者
SoloGen · x · 2026-07-24
作者认为，AI 辅助或生成的证明 应该像计算器、ENIAC、LAPACK、NumPy 或 SciPy 一样，被视为工具，而不是共同作者。
他的类比是：数学家过去也会亲自做大量手算，但成果仍然以人类作者身份发表；同理，AI 应该被记为工具，而非作者。
「漫话AGI」频道最新
- Replit CEO 长文：Agent 将催生「自动驾驶公司」,2030 每家公司都自驱动 — amasad · 2026-10-27
- 美参议员炮轰 AI 行业：50 人死亡才算灾难性事故？ — peterwildeford · 2026-10-27
- Replit CEO 称 AI 让软件事实上开源，Aakash Gupta 复盘还剩哪些护城河 — aakashgupta · 2026-10-27
- 读懂AI意识之争:先分清对方站在哪种立场 — msharmas · 2026-10-27
- 功能主义视角：意识只是大脑的计算，硅片复现同样功能即得同样结果 — msharmas · 2026-10-27
- iPhone 新壳狂揽 8.5 万条评价：丰饶时代的万物皆假 — tekbog · 2026-10-27