AI 不只解题，更会找题：FAR 架构助力数学发现
dan_fried · x · 2026-08-19
传统 AI 辅助数学研究聚焦于“解题”，但这忽略了“选题”这一关键环节。新论文提出名为 FAR (Find, Attempt, Recommend) 的架构，旨在通过级联 Agent 实现可扩展的数学发现。
核心思路：
- 输入“研究方向”而非具体题目。
- Find (发现)：从文献中提取开放猜想。
- Attempt (尝试)：尝试解决这些猜想。
- Recommend (推荐)：筛选最有潜力的猜想-解答对供人类专家复核。
实验结果：在组合数学文献上的一次试点运行中，FAR 找到了数百个开放问题的潜在解答。
所属事件:FAR框架助力AI数学研究 解出1977年猜想(3 条相关)→
「研究」频道最新
- SpliceAI2 剪接变异基准发布,九项评估性能大幅提升 — anshulkundaje · 2026-10-16
- GRPO 后训练会令分布坍缩,长程 Agent 时代反成隐患 — zsakib_ · 2026-10-16
- RFdiffusion3 登 Science:蛋白酶与金属水解酶设计大幅改进 — anshulkundaje · 2026-10-16
- ORL 让扩散语言模型重写速度-智能 Pareto 前沿,吞吐量提升约 6.9 倍 — james_y_zou · 2026-10-16
- CoT 理论论文被赞“解释了 Transformer 为何胜出” — willcb · 2026-10-16
- 陶哲轩警告 AGI 竞赛变味:OpenAI 论文轰炸冲垮初级研究项目 — Hesamation · 2026-10-16