autonomous-proof

本文介绍了一个基于 GPT-5.5 Pro 构建的 AI 智能体，它通过三阶段提示流水线，在 8 次试验中有 7 次自主生成了推翻实数域上 Erdős–Szemerédi 求和-乘积猜想的正确证明。