Advancing Mathematics Research with AI-Driven Formal Proof Search
DGX agentarXiv:2605.22763v2 Announce Type: replace Abstract: Large language models (LLMs) increasingly excel at mathematical reasoning, but their unreliability limits their utility in mathematics research. A m