After remote viewing Ramanujan and then researching who he was I came across this math challenge for AI.

Sharing it here if there is anyone else who may be working with AI who are interested.

https://www.ramanujanmachine.com

The challenge paper is there.

Here's the intro Basics (note its only open from July 1st to August 1st):

To help evaluate the mathematical skills of current AI systems, we present a set of formulas for fundamental mathematical constants. These problems are attractive for AI evaluation because they are concrete and can be checked numerically to arbitrary precision, yet proving them may require non-obvious mathematics. Mathematical constants such as π, e, Catalan’s constant, and special values of the Riemann zeta function have fascinated mathematicians for centuries. The search for formulas evaluating mathematical constants has produced some of the most beautiful mathematics in the field, especially in cases that yield irrationality proofs or fast convergence rates. Ramanujan’s legacy is emblematic of this tradition. The list we provide contains two types of problems: formulas whose proofs are known to the authors but will remain encrypted for a short initial period; and formulas that are not yet proven. We are curious to see the achievements of AI in both cases.

Submission Guidelines

The Ramanujan Challenge will be released on July 1, 2026. Submissions will be accepted until August 1, 2026, 23:59 UTC. After the submission deadline, the authors will evaluate the submitted solutions and report the outcome for each problem.

The challenge has two goals:

The first is to test whether current AI systems can solve research-level problems involving explicit formulas for mathematical constants.

The second is to do this in a way that avoids an unstructured and overwhelming verification process. We therefore encourage submissions that include reproducible CAS-based or formally verified code.