FAR 框架：AI 自动筛选值得人类数学家关注的猜想
rohanpaul_ai · x · 2026-08-31
随着 AI 解决数学问题能力提升，新挑战变成了决定哪些问题值得算力和专家关注。FAR (Finding and Ranking) 框架旨在填补这一空缺：
- 工作流：从研究方向出发，检索文献寻找开放问题，大规模尝试求解，然后过滤输出，仅将最有潜力的案例推荐给专家。
- 成效：在组合学试点中，该管道从 51,110 篇论文筛选出 4,717 个可尝试猜想，生成 1,050 个新解法，经自动评判后推荐 77 个给专家。人工抽查 15 个结果全部正确，包含此前未解的证明。
所属事件:FAR 框架让 AI 自动筛选值得研究的数学猜想(2 条相关)→
「研究」频道最新
- 伯克利团队用扩散模型直接采样机器人策略权重，Unitree G1 真机走跑起舞 — berkeley_ai · 2026-10-16
- HKU 等提出 OneWM：统一因果训练让世界模型与动作学习互相增益 — IAAI233 · 2026-10-16
- 百度提出 Virtual Head Attention：同时压 KV cache、算力并保质量 — baidu · 2026-10-16
- 5.8M 参数语音事件检测器：为 Whisper 转录补上笑声呼吸与背景音 — Ayush Kumar Bar · 2026-10-16
- 华为等提出 SUPRA-Tex：单图生成可重打光 3D 材质，所见即所得 — Chen Yang · 2026-10-16
- RoboVista 机器人理解基准发布:Gemini-4 Argon 81.9% 登顶 — berkeley_ai · 2026-10-16