What Does Machine Learning Have to Offer Mathematics? | Theoretically Speaking

Jordan Ellenberg explores how machine learning might contribute to mathematical discovery. Drawing on collaborative work with DeepMind on a combinatorics problem, he considers the distinction between obeying formal rules and producing ideas that mathematicians judge important or ingenious, and discusses near-term changes to mathematical practice.