4 papers
Can AI Follow In Einstein's Footsteps?
Michael Shalyt, Nathan Regev, Marin Soljačić +1
AI is accelerating physics discovery, but perhaps away from Einstein-level theory building. To understand this gap, we must recognize a striking trend: while being very successful,…
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…
From Euler to AI: Unifying Formulas for Mathematical Constants
Tomer Raz, Michael Shalyt, Elyasheev Leibtag +4
The constant has fascinated scholars throughout the centuries, inspiring numerous formulas for its evaluation, such as infinite sums and continued fractions. Despite their indi…
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…