A purported new mathematics proof is impenetrable – now what? | Hacker News Reader