标签
本文介绍了一个基于 GPT-5.5 Pro 构建的 AI 智能体，它通过三阶段提示流水线，在 8 次试验中有 7 次自主生成了推翻实数域上 Erdős–Szemerédi 求和-乘积猜想的正确证明。
Gemini 3.2 Flash 可以解答 IMO 2025 第6题，但只有 GPT-5.5-Pro 能够在没有脚手架或工程框架的情况下完成。
菲尔兹奖得主蒂莫西·高尔斯报告使用 GPT5.5 Pro 解决公开数学问题，并预测由于人工智能的快速发展，数学研究将很快面临危机。