Euler: Towards Human-Centered Multi-Agent Mathematical Discovery.

arXiv:2610.19864v1 Announce Type: new Abstract: Mathematical research drives scientific discovery, and recent advances in AI for mathematics have shown that language-model agents can solve challenging problems and develop substantial mathematical proofs. Yet m