TechMap Live › Por país › Estados Unidos

Anthropic's Claude formaliza el último teorema de Fermat

13 de septiembre de 2026, 15:15 UTC · San Francisco, Estados Unidos · América · ya fuera de la ventana activa

Anthropic's Claude produjo una prueba formal del último teorema de Fermat en 11 días, generando 13 millones de líneas de código Lean.

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 TechRadar. 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

• GitLab corrige una vulnerabilidad crítica de recorrido de ruta CVE-2026-85706
• SpaceX lanza 3 satélites de telecomunicaciones en la misión 700 de Falcon
• Tesla revelará el segundo Roadster el 10 de octubre
• HP lanza el OmniDesk Mini, un escritorio compacto
• Apple releases new retro-style dock for Mac mini and Mac Studio
• La actualización de septiembre de Microsoft Windows 11 causa fallas en la salida de audio

Últimos eventos

• 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