Tres matemáticos han refutado una conjetura que llevaba 153 años en pie, y la idea clave se la sugirió GPT-5.6 Sol. El paper, The Maxwell Conjecture is False, se subió a arXiv el 29 de julio y lo firman Philip Arathoon, Gavin Ball y Matthew D. Kvalheim. Construyen una configuración de cinco cargas eléctricas cuyo potencial tiene al menos 24 puntos críticos, cuando la conjetura decía que como mucho podía haber 16.
Puntos clave
- La conjetura afirmaba que el campo de n cargas puntuales tiene como máximo (n-1)² puntos de equilibrio no degenerados. Para cinco cargas, 16.
- El contraejemplo son cinco cargas con al menos 24 puntos críticos, todos no degenerados. Se pasa del límite por un 50%.
- James Clerk Maxwell lo dejó caer como comentario de pasada en su tratado de electricidad y magnetismo de 1873. Gabrielov, Novikov y Shapiro le dieron forma precisa de conjetura en 2007.
- La construcción es una bipirámide triangular con pares de cargas diminutas colocadas en un eje, y la sugirió GPT-5.6 Sol.
Qué papel jugó el modelo y qué papel no
Conviene ser exacto aquí, porque es donde se resbala todo el mundo. El modelo no demostró nada. Lo que hizo fue proponer la geometría: dónde colocar las cinco cargas para que salieran más puntos de equilibrio de los permitidos. Esa es la parte creativa del problema, y es la que llevaba décadas atascada.
A partir de ahí, los autores hicieron el trabajo de siempre. Verificaron los cálculos con Mathematica y Maple, comprobaron que los 24 puntos son efectivamente no degenerados y escribieron la demostración rigurosa. Ellos son cuidadosos en dejarlo claro en el propio paper.
Es una división de tareas que se repite. El modelo genera candidatos en un espacio de búsqueda enorme, el humano decide cuáles merecen las horas de verificación. El cuello de botella se mueve de "se me ocurre algo" a "confirmo que lo que se le ocurrió aguanta".
Por qué esta conjetura era difícil
El problema es electrostático y engañosamente simple de enunciar. Pones n cargas puntuales en el espacio, cada una atrae o repele, y el campo resultante tiene puntos donde la fuerza neta es cero. Esos son los puntos de equilibrio. Maxwell intuyó que su número está acotado por (n-1)² y lo escribió sin demostrarlo.
La dificultad está en que el espacio de configuraciones posibles es continuo e inmenso. Buscar un contraejemplo a mano significa intuir una geometría que rompa el patrón, y las configuraciones evidentes (simétricas, regulares, uniformes) se quedan muy por debajo del límite. Hay que ir a una disposición que a nadie se le ocurriría probar.
La bipirámide triangular con pares de cargas diminutas en un eje es exactamente eso: una configuración rara, con escalas muy distintas entre cargas, que no aparece si buscas por simetría. Y una vez que la tienes delante, la verificación es mecánica.
El contexto: 2026 lleva un año raro en matemáticas
Greg Brockman, cofundador de OpenAI, lo celebró en X hablando de resolver conjeturas de más de cien años. Es marketing, pero el hecho es real y encaja en una serie. Los modelos de razonamiento largo llevan meses apareciendo en agradecimientos de papers, casi siempre en el mismo rol: sugerir la construcción, el contraejemplo o la línea de ataque, nunca cerrar la demostración.
El caso Maxwell es especialmente limpio porque el resultado se puede verificar de forma independiente con software de cálculo simbólico. No hay que fiarse del modelo ni de nadie. Metes las cinco cargas en Mathematica, cuentas los puntos críticos y ves si son 24.
Por qué importa
La lectura para una empresa no va de matemáticas. Va de dónde colocar un modelo caro dentro de un proceso.
El patrón que funciona aquí es el mismo que funciona en cualquier flujo de trabajo serio: el modelo propone en la parte del problema donde el espacio de opciones es grande y evaluar cuesta poco, y la persona valida en la parte donde equivocarse sale caro. Aplicado a una empresa, eso significa usar el modelo para generar veinte hipótesis sobre por qué cayó un margen, y reservar el juicio humano para las tres que tengan datos detrás.
Lo que no funciona es lo contrario: pedirle al modelo la conclusión final y firmarla. En el paper de Maxwell, la aportación de GPT-5.6 Sol vale porque hubo tres matemáticos detrás dispuestos a comprobarla con Mathematica durante semanas. Sin esa parte, no había resultado.
Relacionado
