AI proves Medvedev logic is undecidable | Hacker News Reader