🔢 Ramanujan Challenge: Testing AI's Mathematical Intelligence
The Ramanujan Machine project has launched a mathematical competition to test the ability of AI to solve research-level problems. Participants will be tasked with finding and proving formulas for fundamental constants, such as π, e, and values of the Riemann zeta function, using formal proof systems like Lean, Rocq, or Isabelle.
🌍 The competition sets a new standard for AI evaluation, moving from simple generative text to a rigorous test of a system's ability for deep logical reasoning and formal proof of mathematical statements.
👤 This is an opportunity to see how close AI is to the level of real mathematical research, and to test your skills or tools in solving problems that require not only computation but also rigorous logical verification.
Source 1: https://www.ramanujanmachine.com/ramanujan-challenge/