这篇展示了用GPT和Claude联手破解COLT、FOCS等顶会未解难题，还开源了pipeline，做理论计算的值得看看。
Binghui Peng等人在最新研究中，使用GPT 5.5 Pro和Claude Opus 4.8构建的简单pipeline成功解决了9个前沿数学开放问题。其中包括4个来自COLT（计算学习理论会议）开放问题列表的问题，1个来自FOCS（计算机科学基础研讨会）的问题，以及4个来自交换代数领域的问题。项目代码已在GitHub公开。
Wow.
Wow. Binghui Peng @binghuip [1/n] Recent OpenAI research has demonstrated the ability of LLMs to solve frontier problems in mathematics. We design a simple pipeline (using GPT 5.5 Pro and Claude Opus 4.8) that resolves 9 challenging open problems, including open problems from prominent theoretical computer science venues—4 from COLT open problem list and 1 from FOCS —as well as 4 problems from the commutative algebra. Project link: github.com/Pengbinghui/pi… , joint work with @runzhou_tao , Steven Wang & @HantaoYu_Theory 🔗 View Quoted Tweet 💬 1 🔄 0 ❤️ 8 👀 7299 📊 2 ⚡