01:01:18
published on December 15, 2025
Some remarks about machine learning and (un)natural proving
By Josef Urban
47:17
published on June 23, 2025
Deciding What Game to Play, What Mathematics Problem to Solve
By Katie Collins
55:16
published on June 23, 2025
Machine Learning in PDE: Discovering New, Unstable Solutions
By Javier Gómez-Serrano