01:01:18
publiée le 15 décembre 2025
Some remarks about machine learning and (un)natural proving
De Josef Urban
47:17
publiée le 23 juin 2025
Deciding What Game to Play, What Mathematics Problem to Solve
De Katie Collins
55:16
publiée le 23 juin 2025
Machine Learning in PDE: Discovering New, Unstable Solutions
De Javier Gómez-Serrano