HackerTube
home / Science / omuJpoV-Ko4

The Strip Mining of Mathematical Proofs (with Hugo Duminil-Copin) - Numberphile Podcast

Numberphile2■Science & MathWatch on YouTube ↗first found Oct 15, 2026 · last mentioned Oct 18, 2026
12community score
2mentions
2discussions
2sharers
2days active
—story pointsall mentions are comments

Hacker News discussions

2 independent threads

I know why the mathematicians weep

▲ 400 pointsstory by RickJWagnerOct 15, 20261 comment mentionRead on HN ↗
“Article refers to Hugo Duminil-Copin, who also did a podcast with Brady Haran [1] about this subject, for him it isn't case of bruised ego, or gatekeeping. He realized that the way things were done we…”— Ciantic, when sharing this video · read the comment ↗
+ 1 comment mention in this thread ↗

The math that OpenAI keeps for itself

▲ 54 pointsstory by dpalekaOct 17, 20261 comment mentionRead on HN ↗
“> In September 2nd, something like that, the biggest conjecture in our field was proved. Did your life change? My life? No. No. No. I mean, the only people that can actually tell you that it does chan…”— vitorsr, when sharing this video · read the comment ↗
+ 1 comment mention in this thread ↗