L'intelligence artificielle d'Anthropic "formalise" le dernier théorème de Fermat, célèbre casse-tête mathématique, en seulement onze jours

Covered by 1 of 105 currently active countries' press: France · not covered by: Madagascar, Tunisia, Croatia, Ivory Coast, Greece, Syria, Belgium, Colombia, Cameroon, Iraq, Panama, Australia…

• franceinfo.fr L'intelligence artificielle d'Anthropic "formalise" le dernier théorème de Fermat, célèbre casse-tête mathématique, en seulement onze jours