Human mathematicians are being outcounterexampled
Discussion on Hacker News: Human mathematicians are being outcounterexampled. 103 comments, 288 points.
Why read this on grephn?
grephn turns long HN threads into a 30-second structured summary — for / against / unknowns / what it means — alongside the live discussion. Open this story in the app to skim 300+ comments without losing the signal.