Por Canuto  

OpenAI retiró su patrocinio de USD $1 millón a un concurso de matemáticas con inteligencia artificial en Caltech, después de que cientos de investigadores cuestionaran el costo científico de generar resultados que otros deben verificar. La disputa escaló con una declaración de 25 medallistas Fields, quienes advirtieron que los benchmarks pueden desplazar la comprensión conceptual y la intuición que sostienen a la disciplina.
***

  • OpenAI retiró USD $1 millón en créditos del Mathathon de Caltech tras una carta firmada por 771 matemáticos y estudiantes.
  • Los críticos describen como “matemáticas slop” los resultados generados rápidamente cuya verificación, difusión y corrección recae en investigadores sin reconocimiento.
  • Una declaración de 25 medallistas Fields alertó que la producción masiva de resultados puede erosionar la comprensión conceptual y la intuición matemática.

OpenAI retiró su patrocinio de USD $1 millón a un concurso de matemáticas con inteligencia artificial organizado por estudiantes del Instituto de Tecnología de California, conocido como Caltech. La decisión llegó después de que una coalición de matemáticos pidiera suspender el evento y cuestionara el modelo de investigación que permite a las empresas producir resultados con rapidez, mientras otros especialistas asumen la tarea de comprobarlos, corregirlos y darles contexto.

La protesta contra las matemáticas slop

La carta abierta comenzó a circular el 8 de septiembre y fue publicada el día 10 con 771 firmantes, según el recuento incluido en el documento. Solo podían suscribirla integrantes actuales o antiguos de Caltech y personas con formación doctoral o superior en matemáticas, por lo que sus promotores la presentaron como una expresión específica de la comunidad académica relacionada con el instituto.

El texto empleó la expresión “matemáticas slop” para describir resultados producidos rápidamente y dejados a otros investigadores para su verificación posterior. La acusación no se limitó a cuestionar la calidad de las respuestas generadas por los modelos, sino que señaló que los matemáticos terminan verificando, difundiendo y corrigiendo anuncios de las compañías de IA sin recibir compensación, crédito ni reconocimiento por ese trabajo.

La carta sostuvo que ese comportamiento puede constituir una forma de mala conducta investigadora por parte de las empresas de inteligencia artificial. También planteó una objeción económica: ningún modelo razonable de investigación matemática futura entregaría a cada especialista USD $20.000 en créditos de IA para demostrar un resultado, una comparación que buscó mostrar la distancia entre el costo de generar respuestas y el valor del trabajo humano necesario para validarlas.

La reacción se produjo en un momento de fuerte interés por las capacidades de los modelos para resolver problemas abiertos, pero los firmantes insistieron en que el debate no gira únicamente alrededor de si los sistemas funcionan. Su preocupación central es qué hacen las compañías con los resultados, cómo atribuyen las contribuciones y quién absorbe el costo académico de separar una demostración válida de una respuesta convincente pero incorrecta.

OpenAI se retira y el concurso cambia sus reglas

OpenAI comunicó su retirada el jueves 10 de septiembre, cuando Dan Roberts, responsable de investigación de la empresa, escribió que la compañía reconoce el carácter disruptivo del rápido avance de la IA en matemáticas. Roberts añadió que OpenAI quiere dialogar con la comunidad matemática sobre la forma de integrar esta tecnología, mientras la empresa recuperó el millón de dólares que había comprometido en créditos.

Anthropic aportó el otro millón de dólares previsto para el evento y no anunció su salida, de acuerdo con la información disponible. La compañía tampoco respondió de inmediato a una solicitud de comentarios citada por Business Insider, aunque durante las mismas dos semanas de promoción del concurso dedicó esfuerzos a atraer a matemáticos para sus proyectos en lugar de apartarlos del trabajo académico.

El evento, anunciado el 4 de septiembre, está programado en Caltech del 30 de octubre al 1 de noviembre. Cien equipos disponen de 40 horas y cerca de USD $20.000 en créditos para producir un resultado sobre un problema abierto; los trabajos que los jueces consideren relevantes pasan a una segunda ronda de seis meses con prepublicación, presentación en video y una solución autoformalizada.

Los organizadores también mantienen una vía educativa para apuntes de curso, explicaciones y demostraciones más claras de teoremas ya existentes, una modificación que amplía el alcance del encuentro más allá de competir por nuevos resultados. Para el 10 de septiembre habían recibido más de 1.000 solicitudes, desde estudiantes universitarios hasta profesores, con apoyo adicional de DARPA expMath y Cognition, mientras buscan créditos que sustituyan los aportados por OpenAI.

La respuesta de los organizadores y la advertencia de los medallistas Fields

Los cinco organizadores identificados públicamente son estudiantes de pregrado y respondieron el mismo día en que se publicó la carta abierta. Reconocieron que varias preocupaciones eran válidas y que la descripción original del evento no las había abordado, por lo que incorporaron el requisito de una prepublicación, ampliaron la vía educativa y eliminaron del sitio una pregunta sobre el papel de los matemáticos si la IA puede resolver conjeturas más rápido.

Aun con esos cambios, los estudiantes no cancelaron el Mathathon. Todos firmaron la Declaración de Leiden, un comunicado emitido en junio para pedir a las empresas de IA que dejen de utilizar trabajos matemáticos sin permiso, y Caiman Moreno-Earle, estudiante de segundo curso de Caltech de 19 años, explicó que inició el evento porque los jóvenes no pueden esperar a que las reglas de la tecnología queden definidas.

Moreno-Earle contó que pidió USD $1 millón a Anthropic durante una llamada, aunque esperaba que le ofrecieran USD $50.000, y defendió la urgencia de experimentar con estas herramientas. “No tenemos el lujo de esperar a ver qué pasa”, afirmó, una postura que resume la tensión entre quienes buscan participar temprano en la transformación de la investigación y quienes exigen normas claras antes de escalarla.

Al día siguiente de la primera carta, 25 ganadores de la Medalla Fields publicaron una declaración independiente titulada Una grave desalineación de la IA en las matemáticas. Entre los firmantes figuran Terence Tao, Peter Scholze, Maryna Viazovska, Cédric Villani, Pierre Deligne, Manjul Bhargava y Martin Hairer; el propio sitio de la declaración enumera 25 participantes, con medallas otorgadas entre 1978 y 2026.

El detonante fue una demostración sobre Navier-Stokes

La declaración de los medallistas no menciona el Mathathon ni pide cancelarlo, pero sí cuestiona la forma en que se evalúan los sistemas de IA. Sus autores sostienen que resolver problemas es una herramienta y un indicador indirecto, mientras que el objetivo principal de las matemáticas consiste en desarrollar comprensión conceptual e intuición, dos elementos que un benchmark de respuestas correctas no necesariamente captura.

Los especialistas advirtieron que una producción masiva de enunciados verdaderos o falsos a un ritmo cada vez mayor podría destruir terreno fértil para la disciplina. En ese escenario, la abundancia de resultados no equivaldría automáticamente a progreso, porque la comunidad tendría que invertir más tiempo en filtrar afirmaciones, reconstruir argumentos y determinar cuáles aportan ideas reutilizables en lugar de simples respuestas aisladas.

El detonante inmediato de la disputa ocurrió la semana anterior, cuando OpenAI anunció que un enjambre de agentes había producido una solución al problema de Navier-Stokes. La empresa publicó la demostración al día siguiente y señaló que no reclamaría el Premio del Milenio de USD $1 millón, aunque el Clay Mathematics Institute todavía incluye Navier-Stokes entre los problemas no resueltos.

Tristan Buckmaster, de la Universidad de Nueva York, quien trabajaba en una línea relacionada con Levent Alpöge, de Anthropic, afirmó que OpenAI le ofreció acuerdos de autoría que excluían a Alpöge. Sébastien Bubeck, de OpenAI, negó haber intentado excluirlo del crédito, pero Buckmaster dijo posteriormente a ABC que competir por publicar ya no tiene sentido y que el juego terminó, una disputa que colocó la atribución en el centro del debate.

Una discusión sobre crédito, verificación y futuro

La controversia también se relaciona con la diferencia entre una demostración, un contraejemplo y una respuesta plausible generada por un modelo. The Next Web había señalado que los resultados de IA en matemáticas más citados eran contraejemplos y no demostraciones, una distinción relevante porque refutar una afirmación puede ser mucho más sencillo que construir una prueba completa y verificable de otra.

Anthropic informó durante ese periodo que había utilizado Claude para formalizar el Último Teorema de Fermat en Lean en 11 días, y después amplió el acceso gratuito y los créditos de investigación destinados a trabajos de formalización. Ese tipo de herramienta puede ayudar a convertir argumentos en estructuras que un sistema formal revise, pero no elimina por sí mismo la discusión sobre quién concibió la estrategia, quién corrigió los errores y cómo debe reconocerse cada aporte.

El caso deja abiertas varias preguntas prácticas para los organizadores del concurso y para las compañías que financian investigación con IA. Todavía no está claro si el Mathathon encontrará patrocinadores sustitutos, bajo qué condiciones operará después de la retirada de OpenAI o si el cambio alterará únicamente este evento y no la estrategia general de la empresa frente a la comunidad matemática.

También queda por determinar si el Clay Mathematics Institute aceptará la demostración de Navier-Stokes anunciada por OpenAI, una decisión que dependerá de la evaluación matemática y no solo de la capacidad de los agentes para producir un texto convincente. Mientras tanto, las dos cartas publicadas en días consecutivos muestran que la oposición más visible no se concentra en negar el funcionamiento de los modelos, sino en exigir rigor, comprensión y reconocimiento para las personas que sostienen el proceso científico.

Imagen original de DiarioBitcoin, creada con inteligencia artificial, de uso libre, licenciada bajo Dominio Público.

Este artículo fue escrito por un redactor de contenido de IA y revisado por un editor humano para garantizar calidad y precisión.


ADVERTENCIA: DiarioBitcoin ofrece contenido informativo y educativo sobre diversos temas, incluyendo criptomonedas, IA, tecnología y regulaciones. No brindamos asesoramiento financiero. Las inversiones en criptoactivos son de alto riesgo y pueden no ser adecuadas para todos. Investigue, consulte a un experto y verifique la legislación aplicable antes de invertir. Podría perder todo su capital.

Suscríbete a nuestro boletín

Artículos Relacionados