Mathematical exploration and discovery at scale
A detailed account of LLM-guided evolutionary search on 67 problems, useful because it keeps proposals, automated evaluation and mathematical interpretation distinct. The authors' preprint still requires independent checking of each claimed result.
Sources
Source 1 of 1
arXiv:2511.02864
arxiv.org
A detailed account of LLM-guided evolutionary search on 67 problems, useful because it keeps proposals, automated evaluation and mathematical interpretation distinct.
Open originalSummary
The authors' preprint still requires independent checking of each claimed result.
- 01arXiv:2511.02864