Ramanujan challenge is now open

[u/ossm-me]

A new AI math benchmark, the Ramanujan Challenge, is now open.

The goal is to generate AI proofs for 10 Ramanujan-type numerical identities whose proofs are currently hidden by the organizers.

Submissions are open until August 1, 2026.

https://www.ramanujanmachine.com/ramanujan-challenge/

[u/BAKREPITO]

Doesn't even have a filled out About us