Erdős–Szemerédi 猜想

深度分析

GPT-5.5 Pro 自主證明和積猜想不成立，AI 數學證明能力再突破

OpenAI 的 GPT-5.5 Pro 模型自主生成七個反例，證明了實數域上的 Erdős–Szemerédi 和積猜想不成立。該研究使用三階段提示流程，在八次試驗中七次成功，平均耗費 132.4k 推理 token。證明方法多樣，部分避開單位構造，採用 Lp 型區域，減少數論需求。