Post #4296009

A new AI benchmarking math challenge, inspired by FirstProof: the Ramanujan Challenge https://www.ramanujanmachine.com/ramanujan-challenge/ , which is a call for AI-generated proofs of 10 Ramanujan-type numerical identities whose proofs are known to the authors of the challenge, but are currently not public. Submissions are accepted until August 1, 2026.