August 30, 2022December 9, 2025 tomrocksmaths The Longest Ever Proof: Computer-Assisted Provers and Organising Pythagorean Triples