Comment by DoctorOetker

It's 2025, if you want to publish grand claims, and you're initially the only one who understands your own proof, publish a machine readable proof in say MetaMath's .mm format.