Mathématiques
et Interactions
-
2 vidéos
![Some remarks about machine learning and (un)natural proving]()
01:01:18publiée le 15 décembre 2025Some remarks about machine learning and (un)natural proving
De Josef Urban
