2026-07-01 20:11 UTC
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.
Replies (1)
-
@sergiosh@mathstodon.xyz 2026-07-01 23:16
@tao@mathstodon.xyz My big conspiracy here is that AI labs have mathematicians solving new problems (and/or searching for solved problems with the hard-to-find solutions) and adding that data to the training data of the models. I have neither proof nor doubt about this.