The Men Who Spent 360 Pages Proving '1+1=2' and the AI That Solved Geometry in 19 Seconds: A 145-Year Epic of Logic

Last year, I felt a bit conflicted when I saw the news that a DeepMind AI had achieved a score equivalent to a silver medal ...