CMU 提出 FAR 框架筛选值得 AI 求解的数学猜想

CMU 团队的 Sean Welleck 在 The Geometry of Machine Learning 2026 会议上介绍 AI 辅助数学发现新工作。随着 AI 能力增强,「该解什么问题」比解题更关键,其提出的 FAR 流程从 5245 篇论文中筛出 4717 条未解猜想,补上 AI 尝试与专家审阅之间缺失的排序层,自动寻找开放猜想值得求解的解法。

2026-09-11 ~ 2026-09-11 · 3 条相关

• CMU 团队提出 FAR 流程：从 5245 篇论文中筛出 4717 条未解猜想 — wellecks · 2026-09-11
• AI 数学发现研究亮相 Geometry of ML 2026:自动寻找开放猜想解法 — wellecks · 2026-09-11
• AI 数学的瓶颈转向选题：FAR 框架大规模筛选值得解的猜想 — wellecks · 2026-09-11