📁 Terence Tao, lauréat de la Médaille Fields, dit que l'IA peut déjà générer de nombreuses preuves mathématiques. Le véritable goulot d'étranglement est la vérification. Créer des idées devient bon marché. Savoir lesquelles sont vraiment correctes reste un travail humain.