18:44
2026-05-25
arxiv.org
artificial-intelligence
Advancing mathematics research with AI-driven formal proof search
Researchers have demonstrated that AI agents using large language models to generate formal proofs in Lean can autonomously solve open mathematics problems, resolving 9 of 353 unsolved ErdΕs problems β¦