AI 精选动态
智能评分 60
解决9个开放数学问题
AI 推荐理由
原文宣称使用尚未正式发布的模型版本，值得点开项目链接验证细节与真实性。核心解读
Binghui Peng 团队使用 GPT 5.5 Pro 和 Claude Opus 4.8 设计简单管道，解决了 9 个挑战性开放数学问题，包括 4 个来自 COLT、1 个来自 FOCS 以及 4 个交换代数问题。
全文
Marc Andreessen 🇺🇸 (@pmarca) 转发了 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: https://t.co/YCBzYjfz3N, joint work with @runzhou_tao, Steven Wang & @HantaoYu_Theory