Title: Le concept de preuve à la lumière de l'intelligence artificielle
Subjects: Proof theory, Artificial intelligence