To 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 because they are concrete and can be checked numerically to arbitrary precision, yet proving them may require non-obvious mathematics.
Mathematical constants such as $\pi$, $e$, Catalan's constant, and special values of the Riemann $\zeta$ function have fascinated mathematicians for centuries. The search for formulas evaluating mathematical constants has produced some of the most beautiful mathematics in the field, especially in cases that yield irrationality proofs or fast convergence rates. Ramanujan's legacy is emblematic of this tradition.
The list we provide contains two types of problems: formulas whose proofs are known to the authors but will remain encrypted for a short initial period; and formulas that are not yet proven. We are curious to see the achievements of AI in both cases.
Blogger's Review: The Ramanujan challenge not only provides a benchmark for AI assessment but also sparks a deeper reflection on the understanding of mathematics. Whether AI can demonstrate capabilities beyond human intellect in complex mathematical proofs is a topic worthy of ongoing attention and exploration.