1 citations · 1 across the 4 of their papers we have counts for
3 papers · 1 filter
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…
Selflessness, MIF and opposition in groups acting on exotic buildings
Corentin Le Bars, Elyasheev Leibtag, Itamar Vigdorovich
We prove that groups acting freely and cocompactly on (possibly exotic) affine buildings of type and are mixed-identity free and have selfless reduced $C…
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…