GPT-5 被曝首次独立破解数学难题，“全流程归因”实验证稿引发学界热议

瑞士数学家约翰内斯·施密特（Johannes Schmitt）近日在 X 上宣布了一项有望载入史册的进展：GPT-5 在没有任何人类干预或提示工程的情况下，首次独立解出了一个长期未被攻克的数学难题。施密特称，GPT-5 的方案展现出惊人的创造力，没有沿用该领域的常规路径，而是跨界借鉴了代数几何其他分支的技术。

这一进展不仅呼应了数学大师陶哲轩此前对 AI 潜能的判断，也把科学界推向了必须正视“AI 独立贡献”的新阶段。目前，该证明正在接受严格的同行评审。

除了研究结果本身，施密特提交的论文更像是一场针对科研透明度的前沿试验。在这篇高度数字化的论文中，人机协作被拆解到极致：证明过程由 GPT-5 与 Gemini3Pro 协同完成，叙述文字由 Claude 撰写，而 Lean 的形式化严密证明则在 ChatGPT5.2 的辅助下生成。

为实现接近百分之百的可追溯性，论文的每个段落都标明了产出主体，并附上跳转到原始对话与提示词的链接。这样的做法虽然有助于保障科研诚信，但也因耗时费力、流程复杂而被部分学者批评为可能演变成阻碍创新的“学术官僚主义”。

这场实验更深层的意义在于对科学本质的追问。施密特的方法清晰透明，同时也暴露了人机边界的模糊——即便答案由 AI 独立生成，提示的设计与结果的筛选仍承载着人类意图。科学界不得不直面一个根本问题：在缺乏人类初始意图的前提下，纯粹由 AI 完成的贡献是否成立？当 AI 成为日常科研工具，如此精细的标注方式或许难以长期维系，但施密特无疑为 AI 时代的学术出版标准提供了一个具有参考价值的样本。