El crossover de mate e IA que no pediste

¿Te acuerdas cuando pensábamos que la IA solo se dedicaría a hacer fotos falsas o música rara para elevadores? Pues OpenAI se metió al laboratorio y asegura haber resuelto el problema de existencia y suavidad de Navier-Stokes, un acertijo que ha tenido a los matemáticos trabados por décadas.

Antes de que te emociones demasiado, hablemos de por qué las vibras en la comunidad matemática están medio raras ahora mismo.

El arte frente a la fuerza bruta

Ya en serio: las matemáticas no son solo una carrera para llegar a una respuesta. Matemáticos como G. H. Hardy comparaban las matemáticas con la poesía o la pintura; se trata de crear patrones y entender el "porqué". Es algo estimulante intelectualmente, como una partida de ajedrez o un Sudoku de alto nivel.

OpenAI, sin embargo, tomó un camino totalmente distinto: fuerza bruta pura. Usando miles de agentes, básicamente se saltaron todo el proceso creativo. A los matemáticos les preocupa que esto arruine ese "terreno fértil" donde nacen las nuevas ideas. Como señala el físico Lorenzo Gavassino, cuando un cálculo se pone muy difícil, ese esfuerzo es precisamente donde ocurre el mayor progreso. Si subcontratamos las partes difíciles a un bot, podríamos perdernos el próximo gran descubrimiento; es como si no tuviéramos el análisis complejo hoy si los matemáticos no hubieran pasado años sudando sobre la invención de los números imaginarios.

El problema de la transparencia

También está el enorme lío de la atribución. La prueba de 166 páginas está siendo revisada por pares, pero la gente ya está mirando de lado a OpenAI por no explicar cómo funciona realmente. Matemáticos como Tristan Buckmaster han sugerido que el modelo podría estar tomando ideas de investigaciones humanas sin dar el crédito adecuado.

Es literal un: "copié tu tarea pero no supe cómo explicar los pasos".

Veinticinco ganadores de la Medalla Fields —el equivalente al Premio Nobel en matemáticas— han firmado una declaración advirtiendo que producir pruebas como esta en masa podría destruir la cultura de la comprensión humana en las matemáticas. En respuesta, OpenAI está creando un grupo de asesoría, afirmando que quieren que los matemáticos tengan voz en el proceso.

Por qué importa

Las ecuaciones de Navier-Stokes describen el flujo de fluidos (como el aire sobre el ala de un avión), pero el acertijo que OpenAI resolvió era puramente teórico; es el equivalente matemático a un escenario de ciencia ficción del "¿qué pasaría si?". Queda por ver si esta prueba es realmente válida, pero la tensión más grande aquí es simple: ¿deberíamos valorar el resultado final o el viaje que hacemos para llegar allí? Si la IA nos da el resultado pero no entendemos la lógica, ¿realmente aprendimos algo? Lowkey, el mundo matemático no está convencido.