数学家称 AI 生成证明应算工具，不该列共同作者

SoloGen · x · 2026-07-24

作者认为，AI 辅助或生成的证明 应该像计算器、ENIAC、LAPACK、NumPy 或 SciPy 一样，被视为工具，而不是共同作者。

他的类比是：数学家过去也会亲自做大量手算，但成果仍然以人类作者身份发表；同理，AI 应该被记为工具，而非作者。

原文链接 →

「漫话AGI」频道最新

• AI 实验室热衷递归自改进，因为 8% 进步太不好卖 — joshalbrecht · 2026-07-24
• a16z 合伙人:教系统人学 AI,比教 AI 人学系统容易 — mgill25 · 2026-07-24
• AI研究员：递归自我提升受限于全行业数据瓶颈 — herbiebradley · 2026-07-24
• 砖头也会不安全？一张梗图嘲讽AI对齐研究 — nptacek · 2026-07-24
• 反对 UBI 不能建立在拿贫困威胁人的前提上 — AaronBergman18 · 2026-07-24
• 热爱工作的知识工作者，只是社会中的一小部分 — AaronBergman18 · 2026-07-24

更多「漫话AGI」频道 AI 资讯 →