MOTS CLES: preuve formelle
INTELLIGENCE ARTIFICIELLE – Mathématiques : Claude réalise en 11 jours un travail estimé à dix ans pour des humains
L’IA d’Anthropic a transformé la démonstration du dernier théorème de Fermat en une preuve entièrement vérifiable par ordinateur. Une opération achevée en onze jours,...
