From Expert-Guided Proof Search to Automated Open-Problem Solving
DGX agentarXiv:2610.09769v1 Announce Type: cross Abstract: Large language models are increasingly contributing to mathematical research, where progress often depends on efficient proof search, incremental impr