Human mathematicians are being outcounterexampled by from Hacker News on 2026-07-20 19:03 (#7742X) Comments