01:07:51
published on January 5, 2026
Language and Mathematics in the Time of AI. Philosophical and Theoretical Perspectives
By Juan Luis Gastaldi
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