Ruptura en aritmética matricial: una escalera de medio siglo recortada de golpe

Una discusión de medio siglo sobre una constante oculta de la multiplicación de matrices quizá acaba de volcarse con un solo número: sobre los números complejos, el exponente omega tendría como techo 9 sobre 4, es decir 2,25. La modestia del dígito engaña. A la escala de este campo es un terremoto. La mejor cota conocida rozaba 2,371177, conquistada tras más de una década de lucha por la quinta cifra decimal. Y ahora llega una caída de 0,12 a la mesa. En este artículo desgrano lo que la exposición del vídeo afirma de verdad, por qué importa y dónde conviene mantener la cabeza fría.

Empecemos por el suelo. El método ordinario rellena cada casilla del producto emparejando una fila del factor izquierdo con una columna del factor derecho, multiplicando las entradas correspondientes y sumándolas. El narrador muestra un ejemplo mínimo antes de cambiar de escala: los factores cuadrados de lado n contienen n al cuadrado casillas, cada una cuesta alrededor de n operaciones, de modo que la carga cúbica total crece como n al cubo. Con lado de dos mil eso supone alrededor de mil millones de operaciones, y con diez mil, cerca de un billón. La pregunta es si esa factura cúbica obedece a una ley natural o a una simple falta de imaginación.

Cómo cedió por primera vez el muro cúbico

La primera grieta se remonta a Volker Strassen en 1969. Combinó bloques de dos por dos con siete productos recursivos en lugar de ocho, y al aplicar ese único producto ahorrado de forma recursiva hizo bajar la potencia a logaritmo en base dos de siete, cerca de 2,807. Fue la primera prueba de que la barra cúbica no era un destino, y lanzó una carrera de más de medio siglo. Confronté el esqueleto numérico de esa escalera con el registro de Wikipedia.

Precisemos después la magnitud codiciada. Omega es la mayor cota inferior de las potencias tau tales que la multiplicación cuadrada cabe, para toda holgura evanescente positiva, en el orden de n a la tau más holgura operaciones. Esa holgura permite acercarse a la frontera tanto como se quiera sin exigir alcanzarla exactamente. Punto crucial: omega es una medida idealizada de largo plazo, muda sobre los multiplicadores constantes, la conducta de las cachés, la solidez del redondeo y el rendimiento a tamaños prácticos. Leído sin esa partición, el 2,25 extravía. Anclé esa definición en la síntesis MIT de los avances recientes.

Desciende entonces la escalera de marcas . Los trabajos de Pan y Bini sobre el rango tensorial bajaron los peldaños durante los setenta y ochenta, Coppersmith y Winograd llegaron hacia 2,376 con el método láser en 1987, y esa cifra persiguió a una generación. Siguió un casi parón de dos décadas. Stothers, Vassilevska Williams, Le Gall, Alman y luego la línea Duan Wu Zhou mordisquearon la marca hasta 2,371339 a principios de 2024, y un refinamiento asistido por AlphaEvolve tocó 2,371177 en agosto de 2026 gracias a una mezcla consciente de pérdidas . Tomé el detalle técnico de esa optimización de la nota arXiv sobre AlphaEvolve. Emparejé las tres etapas de esa tubería, reformulación más optimizador aprendido más pulido AlphaEvolve, con el resumen AIWeekly.

Otro camino hacia el 2,25

El anuncio de octubre de 2026 del lado OpenAI cambia la gramática de la escala: sobre el dominio complejo , omega valdría como máximo 9 sobre 4, de modo que para toda holgura positiva dos factores cuadrados complejos se multiplican en el orden de n a la 2,25 más holgura operaciones escalares. El texto apareció como manuscrito del 2 de octubre dentro de una amplia entrega matemática del 6 de octubre, acompañado de una prueba verificada por máquina de la cota en Lean. Las notas de la entrega estiman la mayoría de los resultados en unas tres horas de reflexión Pro cada uno. Fijé el perímetro de esa entrega según el anuncio OpenAI y sus notas de GitHub y Lean.

Lo que me persuade es menos el dígito que la arquitectura que hay detrás. El narrador construye la ruta mediante un motor espectral de separación para los tensores, un puente hacia la multiplicación polinómica, una separación de sabor Fourier y desigualdades discretas de crecimiento, una construcción de verdad distinta en lugar de otro apretón del récord antiguo. Unos manuscritos compañeros amplían el cuadro: un exponente dual por encima de 0,465 sobre todo cuerpo de característica nula, una cota rectangular bajo 2,092 y una cota cuadrada bajo 2,258 fuera de un conjunto finito no calculado de características. Emparejé el cuadro de esas cotas con el desglose BinaryVerseAI. Verifiqué la lista de compañeros y sus divisiones por cuerpos en el registro de teoremas VibeMathed.

Corrijamos un malentendido común: nada aquí promete un entrenamiento más rápido mañana por la mañana. Una cota superior es un enunciado de existencia; no nombra ningún tamaño competitivo, no cita constantes ni presupuesta la memoria o el sobrecoste paralelo. El narrador lo señala con honestidad: la potencia describe cómo crece el trabajo cuando el tamaño tiende al infinito. El paralelismo del hardware forma otro eje, porque el trabajo ejecutable en paralelo difiere del trabajo aritmético total. Léase pues el 2,25 como un techo redibujado, no como un núcleo servido.

La verificación sigue en curso, mirada en el dos

El eco, sin embargo, marca una de las semanas más densas que las matemáticas han vivido en años. La empresa publicó cientos de artículos de una vez; un investigador que pasó 25 años en un problema resuelto dijo su asombro en la prensa, junto a advertencias de que solo un puñado de treinta artículos de teoría de números parecía impactante y solo uno portaba un certificado Lean. Recogí el eco de esa oleada de 722 artículos a través de las entrevistas NewScientist con matemáticos. Expuse la reserva sobre el agente de una sola instrucción y la exigencia de comprobantes reproducibles mediante las objeciones de ScientificAmerican.

La última pregunta es la más profunda: ¿acaso omega igualaría a dos? El dos se alza como un suelo cuadrático natural, pues un factor de lado n ya contiene n al cuadrado entradas y la salida contiene n al cuadrado, de modo que por debajo de dos se procesaría menos trabajo que los propios datos en el modelo usual. Ni siquiera la igualdad significaría tiempo lineal en n; significaría trabajo aritmético más o menos cuadrático en el lado, casi lineal en número de entradas salvo deriva de orden inferior. La brecha de un cuarto de punto entre 2,25 y dos sigue siendo una vasta incógnita, y nadie sabe si se cerrará. Encuadré el estado abierto de ese descenso hacia el dos con el expediente EmergentMind.