The Ramanujan Challenge for AI

The Ramanujan Machine is a research project that uses AI and distributed computing to discover new mathematical conjectures (patterns that are likely true but haven't been proven). Named after the Indian mathematician Srinivasa Ramanujan, who famously produced thousands of brilliant conjectures with little formal proof, the project aims to automate creative mathematical discovery. The Ramanujan Challenge for AI is a contest where participants submit AI algorithms that try to find new mathematical formulas or constants (like new ways to express pi or e). The goal is to push AI beyond pattern recognition toward genuine mathematical invention — discovering results that are both original and nontrivial. Why this matters: Most AI in math focuses on proving known theorems or checking proofs. This challenge targets discovering entirely new mathematical truths, which is far harder and more like human creative insight. Success could accelerate mathematical research and reveal how far AI is from human-level intuition in abstract domains.