It’s the longest wait for a new mersenne prime since the discovery of M32 in 1992.
How about something like Superoptimizing (with correctness proofs) open source code?