En un martes que podría reescribir la historia de las matemáticas, OpenAI liberó más de 350 hallazgos que tocan casi todos los rincones de la disciplina, incluida una demostración de la cuasi hipótesis de Riemann. La comunidad matemática recibe este momento con una mezcla de asombro y vértigo, pues las máquinas parecen haber acelerado siglos de búsqueda humana en un instante. Lo que se celebra como progreso también interroga algo más profundo: qué significa descubrir, verificar y transmitir el conocimiento cuando la escala industrial reemplaza a la lucha solitaria del pensador.
OpenAI revoluciona las matemáticas con 350+ hallazgos que resuelven problemas abiertos
La IA aumenta el placer de aprender pero disminuye el placer de encontrar cosas nuevas
Mark
¿Por qué este anuncio de OpenAI genera tanta inquietud si en teoría debería celebrarse como un avance científico?
Mimi
Porque toca algo fundamental sobre cómo funciona la investigación matemática. No es solo que haya soluciones; es que hay 350 soluciones publicadas de golpe, sin el proceso de revisión por pares que normalmente verifica cada paso.
Luke
Pero espera, ¿cuántas de esas 350 soluciones se han verificado realmente? El artículo dice que OpenAI ya retiró tres artículos y hizo correcciones a otros. Eso sugiere que el número de hallazgos confiables aún está en flux.
Mimi
Exacto. Y eso es lo que aterroriza a matemáticos como Bryna Kra. No es que dude de la capacidad de la IA, sino que el ecosistema de verificación se colapsa cuando tienes decenas de miles de páginas sin revisión por pares.
Mark
¿Qué pasa con los estudiantes de doctorado? ¿Por qué están tan asustados?
Mimi
Porque su valor profesional depende de resolver problemas difíciles. Si una IA puede resolver 350 problemas en una semana, ¿qué significa un doctorado en 2028?
Luke
Aunque hay que notar que ninguno de estos resultados resuelve completamente los cinco problemas del Premio del Milenio. Son avances relacionados, no soluciones definitivas. Eso es importante para calibrar el alcance real de lo que pasó.
Mark
¿Y Jean-Pierre Serre, el matemático de 100 años? ¿Qué representa su perspectiva?
Mimi
Representa la tensión más profunda. Él vio demostrada una conjetura que formuló hace 70 años, pero le preocupa que la IA quite el placer del descubrimiento, especialmente para los jóvenes.
Luke
Lo que es interesante es que Serre usa la IA para cosas específicas —referencias, verificar corazonadas— pero no para hacer matemáticas. Eso sugiere que hay formas de integrar estas herramientas sin que destruyan la experiencia del descubrimiento.
Mark
¿Entonces el problema no es la IA en sí, sino cómo se está usando?
Mimi
Exactamente. Kra lo dijo claramente: al publicar este volumen masivo sin verificación, las empresas están destruyendo el ecosistema que hizo posible el trabajo. Los matemáticos que quieran usar estas herramientas se arriesgan a regalar sus ideas.
Luke
Aunque también hay que reconocer que Bridson y Ono ven esto como un desafío y una invitación a apuntar más alto. No todos ven esto como devastación.
O Pulso
- OpenAI publicó decenas de miles de páginas con más de 350 hallazgos matemáticos, incluyendo avances tangenciales en los cinco Problemas del Milenio y una demostración de la cuasi hipótesis de Riemann.
- La comunidad matemática oscila entre la euforia y el golpe existencial: lo que tomaba décadas de esfuerzo individual ahora aparece resuelto en masa por una máquina.
- La revisión por pares —el corazón de la validación académica— se vuelve casi imposible ante un volumen de material que ningún grupo humano puede asimilar con rapidez.
- OpenAI ya retiró tres artículos y corrigió otros antes del jueves, admitiendo un proceso iterativo que genera dudas sobre la confiabilidad inmediata de los resultados.
- Estudiantes de doctorado preguntan en voz alta si sus títulos conservarán valor y si las matemáticas sin lucha ni misterio seguirán siendo significativas para los seres humanos.
En un martes que podría reescribir la historia de las matemáticas, OpenAI liberó más de 350 hallazgos que tocan casi todos los rincones de la disciplina, incluida una demostración de la cuasi hipótesis de Riemann. La comunidad matemática recibe este momento con una mezcla de asombro y vértigo, pues las máquinas parecen haber acelerado siglos de búsqueda humana en un instante. Lo que se celebra como progreso también interroga algo más profundo: qué significa descubrir, verificar y transmitir el conocimiento cuando la escala industrial reemplaza a la lucha solitaria del pensador.
El martes pasado, OpenAI sacudió el mundo académico al publicar decenas de miles de páginas de investigación matemática con más de 350 hallazgos que abarcan álgebra, teoría de números, topología, lógica e informática teórica. Ninguno resuelve por completo un Problema del Milenio, pero todos ellos parecen rozarlos, y el más celebrado es una demostración de la cuasi hipótesis de Riemann, conjetura íntimamente ligada al problema más famoso de las matemáticas modernas.
La reacción de los especialistas fue contradictoria desde el primer momento. Ken Ono, de la Universidad de Virginia, describió el anuncio como un puñetazo en el estómago que pronto cedió paso a la determinación. Robert Bridson reconoció que varios de los problemas resueltos fueron desafíos centrales en su propia carrera. Pero la celebración tiene un reverso inquietante: Bryna Kra, de Northwestern, advirtió que la revisión por pares desaparece ante semejante volumen de material, y que publicar así destruye el ecosistema que hizo posible el trabajo en primer lugar. Además, señaló que algunos artículos parecen haberse beneficiado de argumentos no publicados, lo que pone en riesgo a cualquier matemático que comparta sus ideas con estas herramientas.
Jean-Pierre Serre, el centenario ganador de la Medalla Fields, encontró entre los hallazgos la confirmación de una conjetura propia formulada hace casi 70 años. Aun así, advierte que la inteligencia artificial aumenta el placer de aprender pero disminuye el de descubrir, y que esa pérdida es especialmente grave para los jóvenes.
Son precisamente los estudiantes de posgrado quienes sienten el vértigo con mayor intensidad. Thomas Carlson, doctorando en Montana, preguntó qué garantiza que un título de 2028 valga lo mismo que uno de 2023. Kai Shaikh, en Toronto, recordó que los teoremas capturan poco del asombro que late en el corazón de las matemáticas. Y Yuanning Zhang, en Northwestern, evocó la imagen final de Los 400 golpes —un niño corriendo hacia el mar en un fotograma congelado— como metáfora de un campo que no sabe todavía si lo que tiene ante sí es una liberación o un callejón sin salida.
El martes pasado, OpenAI liberó decenas de miles de páginas de investigación matemática que contenían más de 350 hallazgos abordando problemas abiertos en casi todos los subcampos de la disciplina. Entre ellos figuraban avances en álgebra, teoría de números, informática teórica, lógica matemática y topología. Ninguno de estos resultados resuelve completamente alguno de los cinco problemas del Premio del Milenio, pero el conjunto incluye lo que parecen ser progresos tangenciales o relacionados en todos ellos. El más significativo, según especialistas, fue una demostración de la cuasi hipótesis de Riemann, una conjetura vinculada al más célebre de los problemas del Milenio y potencialmente un peldaño hacia su resolución.
La reacción de la comunidad matemática ha sido profundamente contradictoria. Ken Ono, profesor de la Universidad de Virginia y fundador de Axiom Math, una empresa de inteligencia artificial dedicada a las matemáticas, describió el momento como un puñetazo en el estómago para muchos investigadores, aunque rápidamente ese sentimiento cedió paso a la emoción y la determinación. Ono señaló que la demostración de la cuasi hipótesis de Riemann, si se verifica, generaría una enciclopedia de consecuencias que proporcionaría material abundante para futuros avances. Robert Bridson, otro matemático consultado, observó que varios de los problemas en la lista fueron desafíos clave en su propia investigación, particularmente en teoría de grupos, topología y álgebra. Para él, el anuncio resultará emocionante para muchos, aterrador para otros y devastador para algunos.
Pero bajo esta celebración inicial emerge una preocupación más profunda: la verificación. Bryna Kra, matemática de la Universidad Northwestern y expresidenta de la Sociedad Matemática Estadounidense, señaló que aunque los resultados son asombrosos, decenas de miles de páginas de matemáticas ahora necesitan ser revisadas cuidadosamente. El problema es que la revisión por pares, el mecanismo tradicional de verificación académica, desaparece en este proceso. Kra advirtió que la comunidad matemática tardará mucho tiempo en asimilar esto. Más preocupante aún, sugirió que al publicar este volumen masivo de material de esta manera, las empresas están destruyendo el ecosistema que hizo posible el trabajo en primer lugar. Aunque este lote de artículos ha mejorado en sus citas a la literatura previa, hay indicaciones de que se han beneficiado del acceso a argumentos de los cuales solo algunos están publicados. Un matemático que quiera usar estas herramientas para avanzar en su investigación se arriesga a regalar sus ideas.
Jean-Pierre Serre, matemático francés de 100 años, profesor emérito del Collège de France y ganador de la Medalla Fields y el Premio Abel, se sintió naturalmente atraído por el hallazgo número 46 de la lista de OpenAI, que demuestra que una conjetura que formuló hace casi 70 años es cierta. Sin embargo, tiene sentimientos encontrados sobre practicar matemáticas con inteligencia artificial. Usa la tecnología para referencias y para investigar corazonadas sobre errores, pero observa un conflicto fundamental: la IA aumenta el placer de aprender pero disminuye el placer de encontrar cosas nuevas. Para los jóvenes matemáticos, advierte, esa disminución puede ser especialmente grave.
La agitación cataclísmica afectará más profundamente a los estudiantes de posgrado, aquellos a punto de formar parte de esta comunidad intelectual. Thomas Carlson, estudiante de doctorado en la Universidad Estatal de Montana, expresó su preocupación por las implicaciones prácticas de que sistemas de inteligencia artificial tan potentes aborden las matemáticas. Planteó una pregunta incómoda: ¿qué se puede hacer para asegurar que un graduado de 2028 tenga un título con el mismo valor que el de un graduado de 2023? Kai Shaikh, estudiante de doctorado en matemáticas en la Universidad de Toronto, observó que los teoremas son fáciles de usar como puntos de referencia pero capturan poco del asombro en el corazón de las matemáticas. Las demostraciones sin historias, o incluso historias sin lucha ni misterio, no resultan muy significativas para los humanos.
Yuanning Zhang, estudiante de doctorado en matemáticas en la Universidad Northwestern, describió lo que siente no como prejuicio sino como una especie de vértigo. Si las resoluciones reportadas se verifican, sugiere, esto indicaría que la investigación matemática asistida por IA comienza a operar a escala industrial. Inicialmente, los rumores indicaban soluciones para 400 problemas, y ahora circulan rumores de que pronto llegarán más datos. Zhang reflexionó sobre la película de François Truffaut Los 400 golpes, que trata sobre un niño evaluado, juzgado y marginado de la sociedad, que corre hacia el mar en un fotograma congelado que no emite juicio alguno sobre si se trata de un escape o un callejón sin salida. No cree que sea una mala representación de la situación actual de las matemáticas con estos resultados.
Hasta el jueves, OpenAI había hecho una serie de actualizaciones en su repositorio público en línea, retirando tres artículos e hizo correcciones a otros. Una portavoz de la empresa declaró que donde se identifiquen errores, trabajarán para corregirlos con prontitud y retirarán los artículos si no se pueden encontrar soluciones, caracterizando el proceso como iterativo, similar al de otros manuscritos de investigación. Lo que queda claro es que la comunidad matemática enfrenta un momento de incertidumbre y cambio sísmico, donde el poder de las máquinas ofrece posibilidades sin precedentes pero también amenaza los fundamentos de cómo se practica, se verifica y se valora el descubrimiento matemático.
Citações Notáveis
Imagino que muchos matemáticos, al igual que yo, sintieron que ayer les dieron un puñetazo en el estómago. Pero ese sentimiento rápidamente va dando paso a la emoción y la determinación.— Ken Ono, profesor de la Universidad de Virginia
La revisión por pares desaparece en este proceso. Así que, la pregunta es, ¿qué tipo de impacto tendrán estos resultados generados por IA?— Bryna Kra, matemática de la Universidad Northwestern
Quer a matéria completa?
Leia o original em Ambito ↗
Technology