Back to Devoured - July 03, 2026
DEVOURED
The Ramanujan Challenge for AI

The Ramanujan Challenge for AI

AI researchmath Gil Kalai
The Ramanujan Challenge for AI tests whether language models can move beyond guessing formulas to providing verifiable, symbolic derivations.
What: Launched by the Ramanujan Machine project, the challenge consists of ten research-level math problems regarding mathematical constants. Participants must submit formal proofs or code-based derivations by August 1, 2026.
Why it matters: Testing AI on symbolic derivation rather than just output generation is a critical step in assessing true mathematical reasoning capabilities.
Takeaway: If you are interested in AI mathematics, you can view the ten research-level problems at ramanujanmachine.com/ramanujan-challenge.
Decoder
  • CAS (Computer Algebra System): Software that can perform symbolic mathematics, such as equation solving, integration, and algebraic manipulation.
Original article

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.”

The second problem

Explore all 51 articles in today's digest

Fresh dev news, AI-digested daily. Never miss a trend at devoured.fyi