3 papers
cs.AI2026
Ramanujan Challenge Results: AI-Assisted Evaluation Pipeline for Multi-Format Proofs
Alan Sorani, Ashvni Narayanan, Michael Shalyt +8
As AI's mathematical capabilities rapidly improve, meaningful benchmarks are shifting from university-level problems and math olympiads to research-level mathematics. The Ramanujan…
math.HO2026
The Ramanujan Challenge For AI
Michael Shalyt, Rotem Kalisch, Carsten Schneider +7
To help evaluate the mathematical skills of current AI systems, we present a set of formulas for fundamental mathematical constants. These problems are attractive for AI evaluation…
math.NT2020
Symmetric Galois Groups Under Specialization
Tali Monderer, Danny Neftin
Given an irreducible bivariate polynomial , what groups appear as the Galois group of for infinitely many ? How often d…