Gemini 4 Argon halla nuevas soluciones a la conjetura de Grad

Gemini 4 Argon, el modelo de Google, ha contribuido a descubrir nuevas soluciones matemáticas relacionadas con la fusión nuclear. Según los investigadores, los primeros candidatos prometedores surgieron en cuestión de horas. El trabajo se apoya en estudios previos que ya habían refutado una conjetura formulada en 1967.

Qué plantea la conjetura de Grad

La conjetura lleva el nombre del físico Harold Grad y se refiere a las ecuaciones que gobiernan el equilibrio entre el plasma y el campo magnético que lo rodea. El objetivo es identificar equilibrios estacionarios tridimensionales compatibles con unas condiciones dadas de presión y simetría. En la práctica, estas soluciones sirven para probar el software que simula campos magnéticos en la investigación sobre fusión.

Cómo trabajó la IA

La investigación, publicada en arXiv, firmada por Opal Issan, Jonathan Citrin, Matt Landreman y Brendan Tracey, generaliza dos familias de soluciones anteriores mediante un parámetro en cada una, que rompe la simetría de stellarator. Los stellarators son dispositivos de fusión que contienen el plasma con campos magnéticos tridimensionales.

Los autores entregaron el trabajo de Landreman y sus preguntas abiertas a un pequeño equipo de agentes de Gemini 4 en Google Antigravity. Argon también ayudó a redactar partes del manuscrito y a programar comprobaciones simbólicas y numéricas. Los humanos supervisaron el proceso, hicieron varias rondas de revisión adversarial, volvieron a derivar y verificar simbólicamente cada resultado y asumieron la responsabilidad final.

El mérito está repartido. Gómez-Serrano, Liehr y Taylor presentaron otros contraejemplos el 21 de septiembre de 2026, con un sello de aprobación en Lean 4. Landreman publicó sus soluciones analíticas al día siguiente, con ayuda de GPT-6 Astra Pro y verificación manual. El manuscrito de Gemini no declara un sello de Lean para sus hallazgos.

Disponibilidad de Argon

Google citó la investigación al anunciar, el 13 de octubre de 2026, el lanzamiento comercial de Argon. El modelo está disponible vía API, para suscriptores de Google AI Pro y Ultra en la app Gemini y el Modo IA del buscador, y para Google AI Ultra en Antigravity. Además, hay solicitudes abiertas para que 10.000 científicos reciban seis meses gratis del nivel de mayor uso de Antigravity, sujetos a requisitos, capacidad y selección.