
瑞士数学家约翰内斯·施密特在社交媒体平台X上公布了一项震撼科学界的重大研究成果:GPT-5在完全脱离人类干预和提示引导的情况下,成功攻克了一个困扰数学界多年的悬而未决的难题。施密特在评论中指出,GPT-5的解题方案展现出惊人的创新思维,它打破了传统数学逻辑的束缚,巧妙融合了代数几何其他分支领域的先进技术。这一突破不仅验证了数学家陶哲轩早前对人工智能潜力的深刻洞察,更标志着科学界迈入了一个必须正视”AI独立学术贡献”的新纪元。目前,该证明过程正接受严格的同行评审。
这篇由施密特提交的论文本身更像是一次关于科研透明度的创新实践。在这篇高度数字化的学术著作中,人机协作模式被分解到极致:证明过程由GPT-5与Gemini3Pro协同完成,叙述性文本由Claude精心撰写,而严谨的Lean形式化证明则借助ChatGPT5.2辅助生成。为了实现100%的可追溯性,论文中每个段落都清晰标注了创作者身份,并附有跳转至原始对话记录和提示词的链接。这种做法虽然确保了科研诚信,但也因操作复杂耗时,引发部分学者对”学术官僚主义”可能阻碍创新的担忧。

这场实验更深层的意义在于引发了对科学本质的深刻反思。施密特的方法虽然清晰,却也暴露出人机界限逐渐模糊的困境——即便AI独立生成了答案,但提示词的构建与输出结果的筛选依然体现了人类的意志。科学界现在面临一个根本性问题:在缺乏人类初始意图的情况下,纯粹由AI完成的学术贡献是否具有合法性?随着AI成为科研工具的日常标配,这种细致入微的标注模式或许难以持续,但施密特无疑为未来AI时代的学术出版标准树立了极具参考价值的典范。
