Informatique1 rédaction
Anthropic valide un nouveau preuve informatique du dernier théorème de Fermat
- Anthropic annonce une preuve entièrement vérifiée par ordinateur du dernier théorème de Fermat.
- Le travail a été réalisé par des agents Claude, sans intervention humaine directe.
- Cette avancée ouvre des perspectives pour la vérification automatique de démonstrations mathématiques complexes.
1 rédaction rapporte ce fait
Factae établit le fait ; chaque récit est à un clic, chez sa rédaction.
OrganisationsAnthropic
Le fil de l’événement
- L'IA Claude d'Anthropic réfute une conjecture mathématique vieille de 87 ans
- L'IA Claude d'Anthropic résout un problème mathématique ouvert depuis 1939
- Anthropic valide un nouveau preuve informatique du dernier théorème de Fermat
