lundi 7 septembre 2026lun. 7 sept.1130 faits, 155 médias, 14 pays
FFactae.The Factual NewsDes signaux, du bruit, des faits…
DirectFocusExplorerFrance
Scienceil y a 1 h1 rédaction

Claude d'Anthropic produit une preuve vérifiée de 13 millions de lignes du théorème de Fermat

  • Le modèle d'intelligence artificielle Claude a généré une preuve informatique du théorème de Fermat en 11 jours.
  • Cette démonstration de 13 millions de lignes a été formellement vérifiée, marquant une avancée majeure en mathématiques.
  • L'expérience ouvre des perspectives pour l'utilisation de l'IA dans la résolution de conjectures complexes.

1 rédaction rapporte ce fait

Factae établit le fait ; chaque récit est à un clic, chez sa rédaction.

Ailleurs en Science

Science

Correction d'un atlas stéréotaxique du cerveau de souris à haute résolution

Nature publie une correction de son atlas stéréotaxique du cerveau de souris à résolution isotrope de 1 µ…

Lire à la source
1il y a 4 hLire
Science

Des manuscrits anciens révèlent des pathogènes de maladies animales

À lire aussi

Monde

L'Espagne en crise politique après des tensions entre Madrid et la Catalogne

La présidente de Madrid, Isabel Díaz Ayuso, accuse la Catalogne de manque de solidarité financière. Le go…

Lire à la source+4
6il y a 9 hLire
Monde
Factae.
The Factual News

L’actualité, et qui la rapporte. On détecte, on rassemble, on écarte le bruit, on dégage des faits.

Explorer

Le briefEn directScoopsFocusTendancesCarteSujetsFilsTagsExplorer

Le site

À proposMéthodeLes rédactions luesMédias suivisInfolettreContactModèles d’IATradingPlan du site

Légal

Mentions légalesCGUConfidentialité

Nature Newsnature.com
↗
OrganisationsAnthropic
≈ 25s
Read in English
Butiner autour
Les chiffres du fait
13 millions de lignesClaude d'Anthropic produit une preuve vérifiée de 13 millions de lignes du théorème de Ferma…

Le fil de l’événement

4 faits · 22 juil. → 7 sept.
  1. 22 juil.L'IA Claude d'Anthropic réfute une conjecture mathématique vieille de 87 ans
  2. 22 juil.L'IA Claude d'Anthropic résout un problème mathématique ouvert depuis 1939
  3. 6 sept.Anthropic valide un nouveau preuve informatique du dernier théorème de Fermat
  4. 7 sept.Claude d'Anthropic produit une preuve vérifiée de 13 millions de lignes du théorème de FermatVOUS ÊTES ICI
Une équipe de recherche découvre des traces de virus dans des parchemins historiques. Les pathogènes de m…
Lire à la source
1il y a 4 hLire
Science

Une expérience relance un test clé du modèle standard de la physique

La collaboration BESIII a relancé un test abandonné depuis 35 ans sur le modèle standard. Cette expérienc…

Lire à la source
1il y a 5 hLire
Science

Protéomique cellulaire : une avancée technologique révèle des mécanismes cachés

Des chercheurs identifient désormais des milliers de protéines dans des cellules individuelles. Cette ava…

Lire à la source
1il y a 7 hLire

Donald Trump menace de bloquer les ventes d'avions Bombardier au Canada

Le président américain menace de bloquer les ventes d'avions Bombardier au Canada. Il accuse Ottawa de ne…

Lire à la source+3
5il y a 1 hLire
© 2026 Factae · Tous droits réservés
Des signaux, du bruit, des faits…