发生了什么
Binghui Peng 等人 公布 9个理论CS开放问题的解决方案(GPT 5.5 Pro, Claude Opus 4.8)
为什么值得关注
与以往 LLM 数学研究不同，该方法通过验证器循环解决了长期悬而未决的开放问题，值得关注其对 LLM 推理能力边界的拓展。
信息来源
以下内容来自公开来源，可打开原文继续核验。
01
LLM攻克理论CS开放问题
Binghui Peng 团队使用 GPT 5.5 Pro 和 Claude Opus 4.8 构建 prover-verifier 循环，解决了 9 个理论计算机科学开放问题，包括 COLT 和 FOCS 会议上的 5 个以及交换代数中的 4 个，并计划扩展到所有科学领域。
打开原始来源 ↗02
解决9个开放数学问题
Binghui Peng 团队使用 GPT 5.5 Pro 和 Claude Opus 4.8 设计简单管道，解决了 9 个挑战性开放数学问题，包括 4 个来自 COLT、1 个来自 FOCS 以及 4 个交换代数问题。
打开原始来源 ↗