GPT-5 首次独立解出数学难题，透明归因实验引发学界争议

瑞士数学家约翰内斯·施密特（Johannes Schmitt）近日在 X 发帖称，GPT-5 在没有任何人类介入或提示的前提下，首次单独解开了一道多年悬而未决的数学题。施密特表示，这份解法非常有创意，并非沿用该领域的惯常思路，而是借用了代数几何中其他分支的方法。

这一进展既呼应了数学家陶哲轩此前对 AI 能力的判断，也把学界推向了必须正视“AI 独立贡献”的新阶段。眼下，相关证明正在接受严格的同行评审。

除研究成果外，施密特的论文更像是一场围绕科研透明度的前沿试验。在这篇高数字化的文稿里，人机协作被细分到极致:证明由 GPT-5 与 Gemini3Pro 协同推进，行文叙述由 Claude 完成，Lean 的形式化证明则在 ChatGPT5.2 的辅助下生成。

为实现完全可追溯，论文对每个段落都清楚标明了由谁产出，并提供了可跳转的原始对话与提示词链接。此举提升了科研诚信，但由于流程冗长且耗时，也被一些学者担心会演变成阻碍创新的“学术官僚主义”。

这项试验更大的意义在于逼问科学的本质。施密特的流程很清楚，却也显露出人机边界的模糊——哪怕答案由 AI 独立产出，提示词的设计与结果的筛选仍然体现了人的取舍。学界不得不直面一个核心问题:在没有人类初始意图的情况下，完全由 AI 完成的贡献是否算数?当 AI 成为日常科研工具，如此精细的标注或许难以长期坚持，但施密特无疑为 AI 时代的学术出版规范提供了一个有参考价值的样本。