FAR 框架助力 AI 数学研究，解出 1977 年猜想
wellecks · x · 2026-08-19
核心思想
研究者提出 FAR (Find, Attempt, Recommend) 框架，探索 AI 是否能超越加速现有流程，实现可扩展的数学研究模式。它不是从预设问题出发，而是从研究方向入手，检索文献中的开放问题，大规模尝试并筛选结果供专家审核。
实验成果
- 在组合数学文献的一次试运行中，FAR 潜在解决了数百个开放问题。
- 包括给出了 1977 年 Erdős–Straus 问题的答案，以及找到了 Tao 在 2025 年综述中引用的一个猜想的反例。
- 这些问题均非预先选定，体现了 AI 自动发现问题的能力。
「漫话AGI」频道最新
- AI时代决策量激增，人脑需处理更多判断 — bennash · 2026-08-19
- Linear 设计师：AI 扼杀设计直觉 — round · 2026-08-19
- 硅谷 AI 气泡与外界认知割裂 — nickbaumann_ · 2026-08-19
- 观点：AI 将极度加剧 K 型经济分化 — scaling01 · 2026-08-19
- 研究员警告：AI垃圾论文泛滥，同行评审体系正失效 — ParshinShojaee · 2026-08-19
- LLM 正成为互联网免疫系统，扼杀文化与创新 — tom_doerr · 2026-08-19