牛透社 12 月 23 日消息，GPT-5 与 Gemini 3 Pro 协同完成一项长期悬而未解的数学难题的解决，该突破由瑞士数学家约翰内斯·施密特在社交平台 X 上宣布。

解题工作由 GPT-5 与 Gemini 3 Pro 协同完成，文本内容由 Claude 撰写，Lean 形式化证明过程得到 ChatGPT 5.2 的辅助，证明过程正在接受同行评审。此项研究作为科研透明度实验，彰显了 AI 在数学领域的自主解决复杂问题的能力。