Rapporté
Le point sur : L’IA Claude parvient à formaliser en onze jours la démonstration du dernier théorème de Fermat
Le reportage de Le Monde — Une résume les principaux éléments disponibles, en maintenant les affirmations attribuées à leurs sources.
· 1 min de lecture