858 citations · 5.8k across the 129 of their papers we have counts for
4 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…
The Ramanujan Library -- Automated Discovery on the Hypergraph of Integer Relations
Itay Beit-Halachmi, Ido Kaminer
Fundamental mathematical constants appear in nearly every field of science, from physics to biology. Formulas that connect different constants often bring great insight by hinting…
Unsupervised Discovery of Formulas for Mathematical Constants
Michael Shalyt, Uri Seligmann, Itay Beit Halachmi +3
Ongoing efforts that span over decades show a rise of AI methods for accelerating scientific discovery, yet accelerating discovery in mathematics remains a persistent challenge for…
Algorithm-assisted discovery of an intrinsic order among mathematical constants
Rotem Elimelech, Ofir David, Carlos De la Cruz Mengual +6
In recent decades, a growing number of discoveries in fields of mathematics have been assisted by computer algorithms, primarily for exploring large parameter spaces that humans wo…