
FAR Automates the Search for Open Math Problems
Researchers propose FAR, a human-AI discovery pipeline that finds open problems from research literature, attempts solutions, and recommends promising results for expert review. In a combinatorics pilot, it narrowed 5,245 papers to 77 items for author-team evaluation and surfaced multiple potential mathematical discoveries.








