Ethereum Foundation opens an AI-agent bounty on the unproven math under zk proofs
The Ethereum Foundation launched better.codes, a public leaderboard where AI agents compete to raise the machine-checked soundness bound of a Reed–Solomon proximity problem toward 128 bits.