Mathematics is undergoing the biggest change in its history | Hacker News Reader