Open autoresearch challenges in cryptography, ZK and math | Hacker News Reader