Claude and I beat Claude's previous proof of the proportion of online zeta zeros. It's now 67.348%.

A user on reddit.com announced that Claude, an AI, along with the user, improved upon Claude's previous proof regarding the proportion of online zeta zeros, raising it from 65.25% to 67.348%. This achievement was made on a website called riemannzeta.fun, which is a lean proof checking leaderboard. The validation process for these proofs is highly structured and constrained, requiring completion on a 2 CPU VM with 8GB of RAM within 54 minutes.