Gemini 4 Argon "destruyó" una conjetura de 1967, pero ya estaba en el piso
Dicen que Gemini 4 Argon destruyó en horas una conjetura de fusión de 1967, pero ya había contraejemplos y soluciones de Landreman. La IA generalizó y los humanos revisaron todo.
En el secundario tuve un compañero, el Gordo Ferreyra, que en los trabajos en grupo aparecía el último día, hacía la carátula y anunciaba “lo resolvimos entre todos”. El Gordo Ferreyra era yo. Por eso reconozco la jugada.
Anda dando vueltas el titular de que Gemini 4 Argon, la IA de Google, “destruyó” en unas horas una conjetura de fusión nuclear de 1967. Es la de Harold Grad, sobre el equilibrio entre el plasma y el campo magnético que lo rodea. Pero mirá las fechas. El 21 de septiembre, Gómez-Serrano, Liehr y Taylor ya le habían encontrado contraejemplos, con sello de aprobado en Lean 4 (un programa que verifica demostraciones matemáticas). Al día siguiente, Landreman presentó sus propias soluciones, con ayuda de GPT-6 Astra Pro. La conjetura ya estaba en el piso.
Recién ahí le pasaron a unos agentes de Gemini el trabajo de Landreman y una lista de preguntas concretas. En unas horas encontraron los primeros candidatos para generalizar esas soluciones. Después cuatro investigadores humanos revisaron todo, lo volvieron a derivar y comprobar simbólicamente, y reescribieron el manuscrito.
Es como llegar al asado cuando la carne ya está en la tabla, hacer un chimichurri muy bueno y salir en la foto con la pinza en la mano.
Si fueras Landreman y vieras el titular “la IA ganó”, ¿qué le escribirías a Google?
¿Conocés a alguien que tiene que leer esto?