The Ramanujan Challenge for AI

The Ramanujan challenge Ido Kaminer shared with me the following information about The Ramanujan Challenge for AI, and I am happy to share it with the readers of this blog. The challenge page is at ramanujanmachine.com/ramanujan-challenge; Here is the The full challenge paper, and a quote from Ido’s email. “The challenge launched today and will run until August 1, 2026. It consists of [ten] research-level problems on explicit formulas for mathematical constants, designed to test whether AI systems can move from a concrete formula to a valid proof or symbolic derivation. We designed the rules to make the challenge compatible with formal and code-based systems. Accepted submissions may be formal proofs, CAS-based derivations, or human-readable proofs accompanied by reproducible code. The goal is not only to test whether AI can find answers, but whether it can produce derivations that can be checked in a structured way.”