04:00
2026-08-19
arxiv.org
artificial-intelligence
The Problem Is the Problem: Towards Scalable Mathematical Discovery
A new human-AI discovery paradigm called Find, Attempt, and Recommend (FAR) automates the search for mathematical problems and filters candidate conjectures for expert review, according to a preprint …