Ramanujan Challenge Results: AI-Assisted Evaluation Pipeline for Multi-Format Proofs.

arXiv:2610.40551v1 Announce Type: new Abstract: As AI's mathematical capabilities rapidly improve, meaningful benchmarks are shifting from university-level problems and math olympiads to research-level mathematics. The Ramanujan Challenge is a benchmark compri