This represents a significant step for AI in theoretical research, moving beyond supporting coding or writing tasks to contributing to original mathematical discoveries. The researchers note that while formulating candidate proofs can now be much faster with AI assistance, human verification remains a bottleneck, though language models will likely help with that process too in the future.