COURRIER INTERNATIONAL
Technologie & Numérique
Article complet
L’IA “formalise” le dernier théorème de Fermat en seulement onze jours
Le modèle d’intelligence artificielle Claude a généré treize millions de lignes de code vérifiables par ordinateur permettant de démontrer numériquement le dernier théorème de Fermat. Aucun mathématicien humain n’y était encore pas parvenu.
Points de vue opposés
Chargement des points de vue opposés...
Autres articles récents chez Courrier International
27 September 2026 à 16:02
À Lourdes, Léon XIV confronté au “douloureux fléau” des violences sexuelles dans l’Église
Ce dimanche matin, avant de célébrer la messe devant 150 000 fidèles, le pape a prononcé un discours devant les…
Lire cet article →
27 September 2026 à 15:30
Ahadadream, une étoile britannico-pakistanaise qui monte
Avec son premier album “P*ki”, le DJ britannique né au Pakistan Ahadadream confirme sa réputation de nouvelle star…
Lire cet article →
27 September 2026 à 15:00
Paris, vitrine européenne pour la mode et les cosmétiques japonais
Dans la capitale française, la popularité des marques de vêtements et des cosmétiques japonais est en plein essor.…
Lire cet article →
27 September 2026 à 14:27
La coexistence pacifique dans un village scindé en deux par la frontière entre le Sénégal et la Mauritanie
Le fleuve Sénégal, qui constitue la frontière naturelle entre le Sénégal et la Mauritanie, scinde le village de…
Lire cet article →