La IA propone el cálculo y el físico lo firma
Escuchar el artículo · 3:04
Gemini 4 ayudó a generalizar la refutación de una conjetura de fusión de 1967 en horas, pero la prueba es humana.
En este artículo (4)▼
Google anunció que su IA había tumbado una conjetura de fusión nuclear de 59 años en cuestión de horas. El preprint cuenta una historia más interesante: la máquina exploró y los humanos demostraron.
59 años de conjetura, tres refutaciones en seis semanas
El físico Harold Grad formuló en 1967 una conjetura sobre el equilibrio del plasma y el campo magnético que lo confina: bajo ciertas simetrías, sostenía, no existen equilibrios tridimensionales exactos. El enunciado sobrevivió hasta septiembre de 2026, cuando cayó dos veces en una semana. Primero, un equipo de matemáticos publicó una refutación con certificación en Lean 4 el 21 de septiembre. Al día siguiente, el físico Matt Landreman publicó dos familias analíticas de contraejemplos construidas con ayuda de GPT-6 Astra Pro, revisadas el 28 de septiembre.
El tercer golpe llegó el 5 de octubre en arXiv con el preprint 2610.07304 de Issan, Citrin, Landreman y Tracey: una generalización de las dos familias de Landreman con un parámetro que rompe la simetría de estelarador. Con ese parámetro a cero se recuperan las soluciones originales. Google citó el trabajo en el anuncio de Gemini 4 Argon del 13 de octubre, y Genbeta y La Razón lo recogieron el 27. TechRadar matizó el reparto de méritos entre tres equipos y dos modelos.
Horas de máquina, semanas de pizarra
El método declarado es concreto: un equipo pequeño de agentes Gemini 4 trabajando en Antigravity con el paper de Landreman y preguntas abiertas produjo los primeros candidatos en cuestión de horas. Después vino lo caro: los humanos rederivaron todo, aplicaron revisión adversarial y verificación simbólica y numérica propia. La utilidad declarada también tiene límites precisos: las nuevas soluciones sirven como benchmarks exactos para verificar los códigos que simulan estelaradores, lejos de ser diseños de reactor.
Dos matices evitan lecturas triunfalistas. Lean 4 certifica el teorema de los matemáticos, no las fórmulas de Landreman ni su extensión con Gemini, que usan otra verificación. Y el relato de las horas prodigiosas es la versión de los propios autores, sin auditoría independiente del coste humano posterior.
Lo que la IA todavía no firma sola
Ninguno de los tres trabajos tiene revisión por pares: son preprints en conversación pública. Falta saber si algún código de simulación como VMEC o SPEC ya adoptó estos benchmarks y con qué resultado, cuánto trabajo humano esconden las horas de la IA y qué pasa con la tercera familia de soluciones de los matemáticos, aún sin generalizar por máquina. Hasta entonces, la lectura prudente de cada titular de IA científica es preguntar quién demuestra, quién verifica y con qué herramienta independiente.
El método es la noticia
El avance real no es una conjetura menos, sino un protocolo nuevo: agentes que exploran el espacio de soluciones, humanos que certifican y sistemas formales que arbitran. Google lo acompaña de negocio, con Argon en API y apps más 10.000 accesos gratuitos de seis meses para científicos. La fusión no está más cerca por este paper, pero la forma de hacer ciencia que lo produjo llegó para quedarse.
Fuente: genbeta.com, arxiv.org
