数学家称 AI 生成证明应算工具，不该列共同作者
SoloGen · x · 2026-07-24
作者认为，AI 辅助或生成的证明 应该像计算器、ENIAC、LAPACK、NumPy 或 SciPy 一样，被视为工具，而不是共同作者。
他的类比是：数学家过去也会亲自做大量手算，但成果仍然以人类作者身份发表；同理，AI 应该被记为工具，而非作者。
「漫话AGI」频道最新
- 开发者观点:前沿模型需要验证自身成功的方式,否则会自行编造 — daniel_mac8 · 2026-09-11
- Anthropic 风险表态遭误引，2030 年毁灭概率争议再起 — davidmanheim · 2026-09-11
- 经济学家拆解 Anthropic 增长模型:能写出 15% GDP 增长,不代表会发生 — sebkrier · 2026-09-11
- Cohere Labs 推出交互工具:测 178 种职业哪些任务会被 AI 自动化 — Cohere_Labs · 2026-09-11
- AI 安全人士上 SkyNews 担忧不平等、滥用与社会激励结构 — schwarzjn_ · 2026-09-11
- 风投人士讽 AI 末日论：与疫情恐慌话术如出一辙 — StewartalsopIII · 2026-09-11