symbolic-derivation

The Ramanujan Challenge for AI, launched by the Ramanujan Machine, presents ten research-level problems on explicit formulas for mathematical constants, testing whether AI systems can produce valid formal proofs or symbolic derivations. The challenge runs until August 1, 2026, and accepts submissions in formal proofs, CAS-based derivations, or human-readable proofs with reproducible code.