August 30, 2022December 9, 2025 tomrocksmaths The Longest Ever Proof: Computer-Assisted Provers and Organising Pythagorean Triples
January 29, 2019October 9, 2019 tomrocksmaths 2018 Abel Prize Laureate Robert Langlands: Theorems v Theories