142 citations · 502 across the 45 of their papers we have counts for
Showing math.HOShow all
2 papers · 1 filter
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.HO2025
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…