施密特在X上报道,GPT-5首次独立解决了一个未解的数学问题——且没有人工干预。据施密特介绍,GPT-5提供了一个优雅的解决方案,令人惊讶的是,它借鉴了代数几何不同领域的技术,而非传统方法。同行评审仍在等待中。最近,数学明星陶德伦等人也发表了类似关于人工智能在数学中有用的轶事报告。
最终的论文展示了多种形式的人机协作:来自GPT-5(基础模型,非Pro)和Gemini 3 Pro的证明,来自Claude的文本段落,以及通过Claude代码和ChatGPT 5.2实现的正式精益证明。作为透明AI归属的实验,每段文字都标注为人工或AI编写,并附有提示和对话记录链接。

透明度很重要,但不应该变成繁文缛节
施密特的方法提供了高度的透明度和可追溯性——任何人都可以核对哪些想法来自人类,哪些来自人工智能。但这种方法也有缺点:详细标注每个段落耗时,随着AI成为日常工具,可能变得不切实际。透明度很重要,但不应变成官僚主义。
人类输入和AI输入之间的界限也不总是清晰。谁写这个提示?谁来选择和修正输出?这种模式可能很难转化到其他科学领域。
也许科学首先需要回答一个更根本的问题:为什么贡献来自仅有人类、人类在人工智能协助下,还是仅仅来自人工智能——后者是否可能在没有人类意愿的情况下存在?
