AI 生成数学证明该不该署名？研究者：有效证明公开即有价值
aran_nayebi · x · 2026-09-29
研究者 arannayebi 转发并认同 PI010101 的观点：只要有人用 AI 真正解决了至少一个人想解决的问题，以本人署名将 AI 生成的论文公开到 arXiv、GitHub 等平台就完全可以接受。
他认为「数学家必须逐字读 AI 证明、然后抱怨 AI slop 无人读」是个误解——正确做法是让 AI 把证明改写成自己习惯的语言、风格和数学工具，几轮提示后就能得到可读的版本。
他还指出，一个有效证明公开存在本身就有价值：为后续 AI 提供了具体可迭代的基础。
「漫话AGI」频道最新
- 持续学习缺失才是模型不够 AGI 的关键，Agent 上下文进步显著 — teortaxesTex · 2026-09-29
- MIT 研究:招聘「算法单一文化」未必有害,关键看细节 — nordicinst · 2026-09-29
- Sherry Turkle 新书《Artificial Intimacy》抨击聊天机器人侵蚀共情 — nordicinst · 2026-09-29
- 安全研究者提问：Claude 能造出一个自己都逃不出的盒子吗？ — JeffLadish · 2026-09-29
- Meta 的 Muse 替用户办妥跨国补寄学位证明，25 美元全流程搞定 — armand_ruiz · 2026-09-29
- Will MacAskill：AGI 后应主动限速，让增长每 1-2 年才翻一倍 — burny_tech · 2026-09-29