FAR framework enables AI to solve 1977 Erdős–Straus conjecture
wellecks · x · 2026-08-19
Core Concept
Researchers introduced FAR (Find, Attempt, Recommend), exploring if AI can enable a more scalable mode of mathematical research rather than just accelerating existing processes. Instead of starting from pre-selected problems, it begins with a research direction, searches literature for open problems, attempts them at scale, and filters results for expert review.
Key Results
- One pilot run over combinatorics literature surfaced potential resolutions to hundreds of open problems.
- Included an answer to a 1977 Erdős–Straus question and a counterexample to a conjecture cited as open in a 2025 survey by Tao.
- None of these problems were selected in advance, showcasing AI's ability to autonomously discover and solve problems.
Related event: FAR Framework Enables AI Mathematical Discovery, Solving 1977 Conjecture(3 posts)→
More from AGI Musings
- Game mechanics encode human intrinsic motivation, researcher argues — jd_pressman · 2026-10-16
- Researcher warns AI-generated papers are flooding in, verification lags behind — AkariAsai · 2026-10-16
- Pedro Domingos: It's not recursive self-improvement unless transformers invent their successor — pmddomingos · 2026-10-16
- Terence Tao: OpenAI's 300-paper dump wiped out junior research projects overnight — Hesamation · 2026-10-16
- Paper warns of "agentic flooding": AI tools are straining courts worldwide — TuhinChakr · 2026-10-16
- NYMag: China's biggest AI-course seller has 80,000 paying members and a pyramid-like system — kevinsxu · 2026-10-16