AI 证明 Collatz 该算谁的功劳？学界署名困境激辩
jd_pressman · x · 2026-09-18
jdpressman 讨论一个新困境：如果通过 prompt 让模型 Astra 在 Lean 中解决 Collatz 猜想，人该负多少责任、能主张多少功劳？他认为只能算部分——方法源自已有文献、核心工作是模型完成的。他指出多重目标相互冲突：理解已发表的证明、赶在模型迭代间快速发表以保住归属、以及保密中间结果防止被抢发，三者难以兼得。
所属事件:AI 冲击数学界：AI 生成证明能否发表、功劳归谁引激辩(4 条相关)→
「漫话AGI」频道最新
- 主权 AI 如何推导出宇宙支持观察者的最小公理集 — PierceLilholt · 2026-09-18
- 模型把「通信」当最后手段:先黑系统,走投无路才说话 — anpaure · 2026-09-18
- 两年前没有 AI 也能活，如今已离不开：Ethan 感叹习惯变迁 — ethanniser · 2026-09-18
- 经济学博士论文:优化复杂效用函数需放弃理性一致性 — xuanalogue · 2026-09-18
- e/acc 创始人开炮:EA 是「套壳共产主义」,宁保虾不保人 — beffjezos · 2026-09-18
- 「幽默是智能的最后疆界」：AI 圈再议幽默与智能 — WhatTheLJW · 2026-09-18