图灵奖得主Fortnow：AI主导证明的论文应在首页声明
fortnow · x · 2026-10-20
计算复杂性理论学者 Lance Fortnow 提出：如果一篇论文的证明主要由 AI 完成，作者只是扮演提示者和验证者的角色，那么这一事实应当写在论文首页、摘要中或标题脚注里，而不是埋在文末——否则就是在认领并不完全属于自己的研究成果。他随后自嘲道：也许自己太天真，未来所有论文都会是「AI 驱动、人类当提示词工程师和验证者」的形态，并调侃这是名副其实的「交互式证明」（interactive proofs，双关计算理论术语）。
所属事件:图灵奖学者 Fortnow 呼吁 AI 主导证明须在论文首页声明(2 条相关)→
「漫话AGI」频道最新
- 后 AGI 时代「意义感」讨论为何都忽视神经科技？ — MWCvitkovic · 2026-10-20
- 研究者吐槽：Altman 一年没更新预测，AGI 路线图「群龙无首」 — generativist · 2026-10-20
- 从马斯克、扎克伯格到拿破仑：小而精团队与敢于豪赌的行事法则 — davidsenra · 2026-10-20
- 反“防身论”:该管的是施暴者而非醉酒者 — Introvert_Sci · 2026-10-20
- Kroger借AI裁3000人，企业花钱买的是电和规则而非模型 — YvesMulkers · 2026-10-20
- AI 生态监测立功:2567 棵红树被砍数据助社区胜诉 — 0xsachi · 2026-10-20