著名数学家、菲尔兹奖得主陶哲轩(Terence Tao)今日在社交媒体上分享了他使用OpenAI最新模型GPT 5.5 Pro的体验。陶哲轩表示,在短短17分钟内,AI通过辅助逻辑推理和大规模计算,协助他解决了一个长久以来在群论研究中的细分难题,并产出了接近论文级别的研究初稿。
这一消息在学术界引起了巨大轰动。陶哲轩评价称,GPT 5.5 Pro表现出了惊人的“直觉性推理”能力,它不再仅仅是简单的公式计算器,而是能够理解深层数学逻辑的“联合数学家”。在实验中,AI不仅能够精准识别研究思路中的逻辑漏洞,还能主动提出替代性的证明路径。
尽管AI表现强悍,陶哲轩也强调,“消化”和最终的真理验证权利依然属于人类数学家。他认为,AI的进步并非要取代数学家,而是将人类从枯燥的演绎验证中解放出来,去专注于更具创造性的猜想和宏观构思。目前,OpenAI已宣布将针对科研机构开放GPT 5.5 Pro的学术专版,进一步助力科学发现。

