Reproduce “More than 83.9% of the zeros of the Riemann zeta function are distinct and more than 67.35% are simple and on the critical line” on OpenResearch

Turn your favorite coding agents into research agents that review literature, develop hypotheses, and run experiments.