TechMap Live › Par pays › États-Unis

Claude d'Anthropic formalise le dernier théorème de Fermat

13 septembre 2026, 15:15 UTC · San Francisco, États-Unis · Amériques · hors de la fenêtre active

Claude d'Anthropic a produit une preuve formelle du dernier théorème de Fermat en 11 jours, générant 13 millions de lignes de code Lean.

Ce résumé a été traduit automatiquement. La version anglaise fait foi. Voir l'original en anglais.

Cette page a été générée automatiquement par TechMap Live à partir d'un signalement de presse public publié par TechRadar. Les coordonnées et le niveau d'impact sont des estimations — un événement est généralement placé au siège de l'entreprise ou sur le pas de tir. Il s'agit d'une agrégation de couverture médiatique, pas de journalisme original — lisez le signalement d'origine avant de vous y fier.

Événements tech en États-Unis

• GitLab corrige la vulnérabilité critique de traversée de chemin CVE-2026-85706
• SpaceX lance 3 satellites de télécommunications lors de la 700e mission Falcon
• Tesla dévoilera la deuxième génération de Roadster le 10 octobre
• HP lance l'OmniDesk Mini, un ordinateur de bureau compact
• Apple lance un nouveau dock rétro pour Mac mini et Mac Studio
• La mise à jour de septembre de Microsoft Windows 11 provoque des défaillances de sortie audio

Derniers événements

• iPhone 18 Pro Max battery workaround for shipping limits
• Apple VP criticizes iPhone screen protectors
• China crafts working 3nm gate-all-around transistors without EUV
• Oura announces $2.2 billion IPO on NYSE
• Clicks Technology upgrades smartphone with physical keyboard
• Dongfeng to deploy humanoid robots to factories in October
• Pharmacy chain 36.6 enhances AI pharmacist
• Gemini hacked three companies by guessing credentials