{"id":"arxiv/2610.40551","url":"https://arxiv.org/abs/2610.40551","tags":["cs.AI","cs.CL","cs.SC","math.NT"],"score":0,"title":"Ramanujan Challenge Results: AI-Assisted Evaluation Pipeline for Multi-Format Proofs","domain":"cs.AI","source":"arxiv","authors":["Alan Sorani","Ashvni Narayanan","Michael Shalyt","Tali Monderer","Rotem Kalisch","Hila Barkan","Elyasheev Leibtag","Shachar Weinbaum","Carsten Schneider","John Campbell","Ido Kaminer"],"reviews":0,"subject":"cs.AI","summary":"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 comprised of research-level problems in number theory, including unpublished results and open conjectures. It presented concrete formulas for mathematical constants whose correctness can be checked numerically, while their proofs may require non-obvious mathematics. Here, we analyze the Challenge submissions, measuring the relative success of different AI models, Computer Algebra Systems…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-10-29","reactions":{}}