OpenAI 内部 GPT-5.5 系统发现新的 off-diagonal Ramsey 渐近证明，并由 Lean 验证

OpenAI 在 4 月 23 日发布 GPT-5.5 时披露，一个内部 GPT-5.5 版本配合 custom harness，发现了一个关于 off-diagonal Ramsey numbers 的新证明，解决一个长期已知的渐近事实；该论证随后被 Lean 验证。OpenAI 将其作为 GPT-5.5 能直接贡献核心研究数学论证的代表案例，而不是一般 benchmark 成绩。