arXiv:2610.09769v2 Announce Type: replace Abstract: Large language models are increasingly contributing to mathematical research, where progress often depends on efficient proof search, incremental improvements and careful verification.
← Back to all developments · Signals are a development reported by more than one source. See the methodology.