Review
Aug 2026
The Problem Is the Problem: Towards Scalable Mathematical Discovery
Inspired by search and recommender systems, this work builds Find, Attempt, and Recommend (FAR), a literature-to-review cascade that automates the search for suitable problems and focuses human attention on artifacts that have passed several stages of filtering.
Zeyu Zheng, Shengtong Zhang, Jeremy Avigad et al.
· 0 citations