How will we do mathematics in 2030? | Hacker News Reader