更新：2026-02-28 14:56:10
施密特在X平台发文称，GPT-5首次在无人为干预的情况下独立解决了一道尚未的数学难题。据他透露，GPT-5给出的解决方案十分精妙，特别值得注意的是，它没有采用传统方法，而是融合了代数几何多个分支的技术手段。目前该成果还在等待同行评审。近期，包括数学界知名学者陶德伦在内的人士，也分享了人工智能对数学研究有助益的相关实例报告。
最终的论文呈现了多种形态的人机协作成果：包含GPT-5（基础模型，非Pro版本）与Gemini 3 Pro生成的证明内容、Claude产出的文本段落，还有借助Claude代码及ChatGPT 5.2完成的正式精益证明。作为透明化AI归属标注的实验尝试，论文中每一段文字都明确标注了是人工撰写还是AI生成，并且附带了对应的提示词以及对话记录的链接。
透明度至关重要，但不应沦为繁文缛节。
施密特的方法具备很高的透明度与可追溯性，任何人都能查验哪些想法出自人类，哪些由人工智能生成。不过这种方法存在不足之处：对每个段落进行详细标注会耗费大量时间，随着AI日益成为日常工具，这种做法或许会变得不太现实。透明度固然关键，但不应演变成官僚主义。
人类输入与AI输入之间的界限并非始终清晰。究竟是谁撰写了这个提示？又是谁在筛选并修正输出结果？这类模式或许难以迁移至其他科学领域。
或许科学首先得回应一个更为根本的问题：贡献究竟源自纯粹的人类、人类借助人工智能的辅助，还是单单来自人工智能——而后者有没有可能在脱离人类意愿的前提下存在？
