aujourd'hui, nous avons un effortpost sur l'IA et la preuve automatique de théorèmes (et quelques projets intéressants !)
18,52K