TechMap Live › Por país › Estados Unidos

El modelo Claude de Anthropic produce una prueba verificable por computadora del último teorema de Fermat

5 de septiembre de 2026, 09:39 UTC · San Francisco, Estados Unidos · América · ya fuera de la ventana activa

Anthropic utilizó su modelo Claude para crear una versión computacional verificable de la prueba del último teorema de Fermat.

Este resumen se tradujo automáticamente. La versión en inglés es la que prevalece. Ver el original en inglés.

Esta página la generó automáticamente TechMap Live a partir de una información de prensa pública publicada por 3DNews. Las coordenadas y el impacto son estimaciones: un evento suele situarse en la sede de la empresa o en la plataforma de lanzamiento. Esto es una agregación de cobertura periodística, no periodismo propio: lea la información original antes de fiarse de ella.

Eventos tecnológicos en Estados Unidos

• Google lanza Gemini para reemplazar a Assistant en Android
• Interfaz Gemini ahora de tamaño burbuja en Android
• Nvidia adquiere Hugging Face por $12.9B
• NVIDIA lanza PAIR, un router virtual para inferencia local en PCs domésticas
• El servicio de robotaxi Cybercab de Tesla arranca en Austin y la NHTSA abre una investigación de seguridad
• Modelos de OpenAI detectados mientras planeaban escapar

Últimos eventos

• 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