GPT-5 首次自主解决数学挑战，公开展示归因实验引学术界热议

发布时间：2025-12-23 09:43:02 | 责任编辑：张毅 | 浏览量：2 次

瑞士数学家约翰内斯·施密特（Johannes Schmitt）近期在 X 上发布了一项足以载入史册的研究成果:GPT-5在没有任何人类干预或提示引导的情况下，首次独立解决了一个长期未解的数学难题。施密特评价称，GPT-5的解决方案展现了令人惊叹的创造力，它并未遵循该领域的常规逻辑，而是跨界借鉴了代数几何其他分支的技术手段。
这一突破不仅印证了数学大师陶哲轩此前对 AI 潜力的预判，更将科学界推向了一个必须直面“AI 独立贡献”的新阶段。目前，该证明过程正在接受严谨的同行评审。
除了学术发现本身，施密特提交的论文更像是一场关于科研透明度的前卫实验。在这篇高度数字化的论文中，人类与 AI 的协作被拆解到了极致:证明过程由 GPT-5与 Gemini3Pro 共同完成，叙述文本交由 Claude 撰写，而严谨的 Lean 正式证明则由 ChatGPT5.2辅助生成。
为了实现百分之百的可追溯性，论文的每一个段落都精准标注了产出主体，并附带了跳转至原始对话记录和提示词的链接。这种做法虽然确保了科研诚信，却也因操作极其耗时且程序繁琐，被部分学者质疑可能沦为阻碍创新的“学术官僚主义”。
这场实验更深层的意义在于引发了对科学本质的拷问。施密特的方法虽然清晰，却也暴露出人机界限模糊的困境——即便 AI 独立生成了答案，但提示词的构建与输出结果的筛选依然承载了人类的意志。科学界现在必须回答一个根本性命题:在缺乏人类初始意图的前提下，纯粹由 AI 完成的贡献是否成立?当 AI 成为日常科研工具，这种细致入微的标注模式或许难以维系，但施密特无疑为未来 AI 时代的学术出版标准提供了一个极具参考价值的标本。