From Euler to AI: Unifying Formulas for Mathematical Constants. - Tomer Raz; Michael Shalyt; Elyasheev Leibtag; Rotem Kalisch; Yaron Hadad; Ido Kaminer (CoRR, 2025)