Beyond Selected Breakthroughs: Evaluating Language Models on Randomly Sampled Mathematical Conjectures.

arXiv:2610.40382v1 Announce Type: new Abstract: The last year has seen a shift in AI-assisted mathematics, with frontier language models producing proofs of and counterexamples to long-standing open conjectures. However, studying only the current set of major