Is massively collaborative mathematics possible? | Hacker News Reader