OpenAI resolvió la ecuación de Navier-Stokes con fuerza bruta por 40 millones de dólares

El modelo Astra-next alcanzó el Premio del Milenio en 88 horas

OpenAI ha publicado la solución a uno de los problemas matemáticos más profundos. Según un informe de Latent Space, el modelo Astra-next necesitó unos 10.000 agentes en ejecución y 130.000 millones de tokens, con un coste superior a los 40 millones de dólares. Durante 88 horas de búsqueda, los agentes descubrieron una singularidad en las ecuaciones de Navier-Stokes, cumpliendo las condiciones para ganar el segundo Premio del Milenio de la historia.

Las matemáticas se enfrentan al mismo destino que el ajedrez

Este es el fin definitivo de la era en la que las demostraciones matemáticas profundas requerían décadas de intuición humana y elegantes saltos de pensamiento. Para las instituciones de investigación y las universidades, esto significa que el terreno de juego se ha inclinado radicalmente. Aquellos que no tienen un presupuesto de decenas de millones de dólares para una sola ejecución computacional están quedando fuera de la primera división de los descubrimientos teóricos.

La fuerza bruta no implica comprensión global

Encontrar una singularidad mediante la búsqueda por fuerza bruta en el espacio de estados no significa que la IA entienda la física fundamental de los gases y los líquidos mejor que nosotros. Encontró una anomalía que le pedimos que encontrara. El registro de la ejecución de 88 horas será probablemente del todo ilegible, por lo que la verificación humana de la demostración llevará años.

Seguirá la revisión por pares y la batalla por el crédito

La clave será observar cómo el Instituto de Matemáticas Clay aborda la demostración. La cuestión no es solo si la demostración es formalmente correcta, sino a quién otorgará el instituto finalmente el premio de un millón de dólares (a la empresa, a investigadores específicos, o si lo bloqueará afirmando que solo se puede otorgar a un humano).

El veredicto de Lilith

Las matemáticas se han convertido en una competencia sobre quién puede pagar la granja de servidores más cara del mundo.