August 30, 2022January 26, 2026 tomrocksmaths The Longest Ever Proof: Computer-Assisted Provers and Organising Pythagorean Triples