Language and Mathematics in the Time of AI. Philosophical and Theoretical Perspectives
By Juan Luis Gastaldi
Transforming numbers – Why is arithmetic geometry geometry?
By Colin McLarty , José Ferreiros , Kim Minhyong
Some remarks about machine learning and (un)natural proving
By Josef Urban