El fin de semana dejó un hito auténtico para la IA en la ciencia: un sistema de inteligencia artificial produjo la primera demostración completamente verificada por computadora del último teorema de Fermat, un problema que resistió a los matemáticos durante 358 años. Mientras tanto, el modelo más potente de OpenAI llegó a ChatGPT entre disculpas públicas, el robotaxi sin volante de Tesla salió a las calles de Austin —y recibió una investigación federal en cuestión de horas— y el dinero siguió fluyendo hacia la infraestructura de IA. Esto es lo que importa del 4 al 6 de septiembre.
Claude completa la primera demostración verificada por computadora del teorema de Fermat
- Trabajando de forma autónoma durante 11 días, Claude de Anthropic escribió 13 millones de líneas de código Lean y demostró 30,300 teoremas de apoyo para formalizar el resultado de 358 años, consumiendo unos seis mil millones de tokens en el proceso.
- El matemático Kevin Buzzard del Imperial College de Londres —que estimaba que la formalización tomaría años de trabajo humano— verificó el resultado: la demostración descansa únicamente sobre los axiomas estándar de las matemáticas.
Por qué importaPor qué importa: la IA cruza aquí de generar respuestas plausibles a producir matemática que una computadora certifica como correcta — un anticipo de ciencia y software verificados formalmente, donde el trabajo de la máquina no se acepta por fe. Para las universidades latinoamericanas, las herramientas como Lean son gratuitas y abiertas: es un campo donde se puede competir sin supercomputadoras.
GPT-6 Astra llega con promesas enormes — y una disculpa de Altman
- OpenAI lanzó GPT-6 Astra el 3 de septiembre priorizando clientes corporativos; para el 4 de septiembre Sam Altman ya se disculpaba por un despliegue "desordenado" que dejó esperando a los suscriptores de pago Pro y Plus, y ofreció créditos de uso como compensación.
- OpenAI afirma que Astra logra 98% en FrontierMath Tier 4 y es el primer modelo que designa como riesgo "crítico" en ciberseguridad, por su capacidad de hallar vulnerabilidades desconocidas; el presidente Greg Brockman llegó a llamarlo "ampliamente más inteligente que las personas".
Por qué importaPor qué importa: la frontera avanza más rápido que la capacidad de OpenAI para servirla — y el discurso de AGI ya no viene de los entusiastas sino de los propios ejecutivos de la empresa. Si usas ChatGPT en tu trabajo, revisa qué plan tienes: el acceso a los mejores modelos se está volviendo escalonado.
El Cybercab de Tesla empieza a llevar pasajeros — y recibe una investigación en horas
- El Cybercab de dos plazas —sin volante ni pedales— comenzó a recoger pasajeros en Austin el 4 de septiembre a través de la app Robotaxi de Tesla; la empresa ya opera 314 vehículos sin conductor en Texas, unos 45 de ellos Cybercabs.
- Horas después del lanzamiento, la NHTSA abrió una auditoría sobre cómo Tesla autocertificó un carro sin controles manuales bajo normas federales que todavía los exigen — un eco de su investigación de 2022 a Zoox, de Amazon.
Por qué importaPor qué importa: la era del robotaxi llega antes de que existan sus reglas. Y para Latinoamérica el tema no es lejano: si el costo por kilómetro de un robotaxi baja lo suficiente, el modelo económico de Uber y DiDi —del que viven millones de conductores en la región— cambia por completo.
Crusoe triplica su valoración a $30,000 millones construyendo la energía de OpenAI
- La empresa de centros de datos enfocada en energía levantó más de $3,000 millones a una valoración cercana a $30,000 millones, según Bloomberg — casi el triple de su marca de octubre de 2025 — en una ronda liderada por Atreides Management y Valor Equity Partners.
- Crusoe construye un clúster de 1.2 gigavatios en Abilene, Texas, para OpenAI, parte de la expansión de Stargate que ha convertido la electricidad en el recurso más escaso de la IA.
Por qué importaPor qué importa: el cuello de botella de la IA ya no es el talento ni siquiera los chips — son los gigavatios. Países con energía abundante y barata tienen una carta real que jugar en esta economía, una conversación que Latinoamérica, con su potencial hidroeléctrico y de gas, todavía no está dando en serio.
Washington y Pekín preparan sus primeras conversaciones sobre seguridad de la IA
- Según Reuters, Estados Unidos y China celebrarán a mediados de septiembre en Pekín sus primeras conversaciones dedicadas a la seguridad de la IA, con el secretario del Tesoro Scott Bessent al frente de la delegación estadounidense, antes de la cumbre Trump–Xi del 24 de septiembre.
- La agenda incluye cooperar en el monitoreo de ciberataques dirigidos por IA y la preocupación de EE. UU. por empresas chinas que destilan modelos estadounidenses propietarios.
Por qué importaPor qué importa: las dos superpotencias de la IA empiezan a negociar las reglas del juego directamente — el resto del mundo, de Europa a Latinoamérica, vivirá con lo que acuerden. La región gana si observa estas mesas con estrategia propia en vez de importar reglas ajenas.
La foto completa
El hilo que une el fin de semana: la capacidad va más rápido que las instituciones. Una IA acaba de producir matemática que ningún humano podría revisar a mano — y una computadora la certificó. Un robotaxi sin volante recoge pasajeros bajo reglas escritas para carros con pedales. La respuesta —auditorías de la NHTSA, conversaciones entre Washington y Pekín— es la de instituciones corriendo para alcanzar la tecnología. Esa brecha entre lo que la tecnología puede hacer y lo que nuestros sistemas pueden absorber es ya la historia central del sector tech — y el dinero, como los $30,000 millones de Crusoe, apuesta a que la brecha seguirá creciendo.
Fuentes y lecturas
- Anthropic — Formalizing Fermat's Last Theorem
- SiliconANGLE — Anthropic uses Claude to formalize proof of Fermat's Last Theorem
- Unite.AI — Sam Altman apologizes as GPT-6 Astra staged launch denies paid access
- CNBC — OpenAI announces rollout of GPT-6 Astra model
- TechCrunch — Feds launch investigation into Tesla's Cybercab deployment
- Bloomberg — Crusoe raises over $3 billion at $30 billion valuation
- The Korea Times / Reuters — US, China gear up for mid-September AI safety talks