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