Barnette's Conjecture proof AI explained | Hacker News Reader