TechMap Live › Par pays › États-Unis
IA et apprentissage automatiqueimpact : moyenAnthropic utilise Claude pour formaliser le dernier théorème de Fermat
· San Francisco, États-Unis · Amériques · hors de la fenêtre active
Anthropic PBC a utilisé son modèle Claude pour produire une preuve vérifiable par ordinateur du dernier théorème de Fermat.
Ce résumé a été traduit automatiquement. La version anglaise fait foi. Voir l'original en anglais.
- Sujet
- IA et apprentissage automatique
- Lieu
- San Francisco, États-Unis (37.775°, -122.419°)
- Région
- Amériques
- Impact
- moyen
- Signalé par
- SiliconANGLE
Cette page a été générée automatiquement par TechMap Live à partir d'un signalement de presse public publié par SiliconANGLE. 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
- OpenAI lance le modèle GPT-6 Astra
- xAI perd sa demande en justice pour bloquer l'interdiction de l'AI de nudification au Minnesota
- Première présentation officielle du Tesla Cybercab à Palo Alto
- MapQuest ajoute la prise en charge d'Android Auto
- XDOF en discussions pour une valorisation de 1,2 milliard de dollars en Serie B
- Gimlet Labs lève 300 millions de dollars en série B pour sa plateforme d'inférence
Derniers événements
- Ukrainian Roboneers certifies ground drone with 40mm grenade launcher for military supply
- Tesla and Sunrun dispatch 580 MW from home batteries to California grid
- Anthropic, OpenAI, Google and SpaceXAI face antitrust lawsuit over alleged AI development slowdown
- Sumo Logic expands Data Pipelines to reduce observability and security data costs
- MediaTek launches Dimensity CX C10 Max chip for premium laptops
- Huawei launches first PC running Harmony OS instead of Windows or Linux
- Boston Dynamics opens Metaplant Application Center to train Atlas robots in Georgia
- UserGate opens first cybersecurity training lab in Belarus