Geoffrey Irving: ML lacks obstacle culture compared to theoretical CS

geoffreyirving · x · 2026-08-25

Geoffrey Irving notes that machine learning has a much weaker culture around obstacles and negative results compared to theoretical computer science. This is partly because it is too easy to get negative results in ML for mundane reasons, such as insufficient hyperparameter tuning. He suggests that understanding the learning path in time may be impossible, and expresses optimism about theoretical computer scientists joining AI alignment due to the field's rich "obstacle culture" of theorems showing formal blocks to specific algorithms or proofs.

Related event: Irving: Alignment Research Needs TCS Barrier Culture(3 posts)→

Original post →

More from Research

Research channel →