¿La razón humana o la razón algorítmica? Es una pregunta que suele hacerse en este nuevo presente de inteligencia artificial ingresando en gran parte de nuestra cotidianidad; y en especial en la forma en que aprendemos y adquirimos nuevos conocimientos.
En las redes sociales, siempre se comparten preguntas que apuntan a desafiar a la IA en sus respuestas, pero qué ocurre con las matemáticas se da un razonamiento real o es solo una repetición de información adquirida y analizada.
El proyecto “First Proof”- que si bien su traducción literal es primera prueba; también hace referencia, como lo indica en su sitio oficial, al mundo de la panadería en cuanto al proceso de fermentación de la masa previa a la división y armado de los panes; el llamado “primer leudado”.
El ambicioso proyecto
El pasado 5 de febrero de 2026, once matemáticos internacionales que trabajan y enseñan en las universidades más prestigiosas publicaron un paper en el servidor de prepublicaciones arXic que generó interés inmediato.
El equipo está integrado por Mohammed Abouzaid (Stanford University), Andrew J. Blumberg (Columbia University), Martin Hairer (EPFL e Imperial College)- ganador de la Medalla Fields (2014), el máximo galardón de las matemáticas-, Joe Kileel (Universidad de Texas en Austin), Tamara G. Kolda (MathSci.ai), Paul D. Nelson (Universidad de Aarhus), Daniel Spielman (Yale University)- reconocido internacionalmente por sus trabajos a la teoría espectral de grafos y a los algoritmos-, Nikhil Srivastava (Universidad de California, Berkeley), Rachel Ward (Universidad de Texas en Austin), Shmuel Weinberger (Universidad de Chicago) y Lauren Williams (Harvard University), quien es además miembro de la Academia Nacional de Ciencias de Estados Unidos y especialista en combinatoria algebraica .
¿En qué consta “First Proof”? En poder evidenciar y evaluar si efectivamente los sistemas de inteligencia artificial son capaces de resolver problemas matemáticos de investigación real, similares a los que deben enfrentar los especialistas en ciencias matemáticas en su trabajo cotidiano.
La idea de utilizar la metáfora de la panadería no es azarosa; justamente lo que se intenta analizar es esa primera instancia y entender el real razonamiento matemático autónomo de la IA.
Un dato importante es que ninguno de los integrantes de esta investigación está vinculado a empresas que desarrollen modelos de IA, ni tampoco recibió financiamiento de partes interesadas de la industria.
¿La IA razona las matemáticas?
El punto inicial del proyecto es una crítica metodológica al actual estado de evaluación de la IA en matemáticas, ya que suelen evaluar el desempeño algorítmico basado en problemas de competencias matemáticas, pero que no refleja la práctica de la matemática creativa como si lo hacen los investigadores del área.
Existe una “contaminación de datos” que no permite evaluar la real capacidad de la IA, ya que los grandes modelos de lenguaje son entrenados con libros de textos, problemas de olimpiadas, soluciones publicadas y/o discusiones académicas en la web.
De esta forma, la hipótesis que trabajan en el proyecto es que la IA no “resuelve” un problema sino que “está recordando” toda la información que pudo procesar. Para poder analizar si realmente la IA posee un razonamiento matemático creativo “las respuestas a los problemas no deberían haber sido nunca antes publicadas online y/o ser parte de su entrenamiento”.
Diez problemas inéditos
A partir de investigaciones de los participantes del proyecto- nunca publicadas- es que se trabaja en evaluar a la IA. Las preguntas representan problemas reales de investigación de seres humanos altamente especializados en resolver problemas matemáticos.
Lo interesante es que los problemas sí fueron resueltos por humanos, por lo que no son imposibles. Pero ¿puede la IA resolverlos sin tener información previa? Se trata de ejercicios de campos como la combinatoria algebraica, la teoría espectral de grafos, la topología algebraica, el análisis estocástico, la geometría simplética; entre otros.
Las soluciones humanas fueron cifradas y guardas en el sitio oficial del proyecto (1stproof.org) y se evaluaron a modelos de IA en modalidad “one- shot”; es decir un único intento por problema sin pistas previas. Se utilizaron GPT-5.1 Pro y Gemini 3 Pro.
El experimento demostró que los sistemas de IA analizados solo pudieron responder dos de las diez preguntas de forma correcta con cierta mínima excelencia esperable para este tipo de experimento. Resultados que ponen el foco en que la brecha entre el razonamiento humano y la inteligencia artificial todavía tiene varios debates por saldar.
Los sistemas actuales son capaces de generar texto sofisticado y coherente matemático, pero no necesariamente implica que sepan resolver cualquier problema.
Por su parte la compañía OpenAI quiso sumarse a intentar solucionar los problemas y si bien aseguran que lograron generar soluciones candidatas para cada uno de los problemas en cuestión de minutos, la verificación de los mismos requirió de trabajo humano experto de horas; generando un cuello de botella en el proceso.
Se espera que el proyecto First Proof continúe analizando la IA y que el próximo 14 de marzo- día internacional de Pi- se realice una segunda prueba y así crear un sistema de evaluación de razonamiento algorítmico en matemáticas a largo plazo.
Últimas Noticias
Premios a las mejores escuelas del mundo: qué son y cómo postularse antes del 6 de marzo
América Latina lleva tres años consecutivos ganando el reconocimiento internacional más ambicioso del sector educativo. Colombia, Argentina, México y Brasil ya tienen escuelas galardonadas. La sexta edición acaba de abrir su convocatoria
Estas fueron las carreras más demandadas para nuevo ingreso en la Universidad de El Salvador
Más de 13,000 aspirantes se sometieron al examen de admisión de la UES, la mayor parte buscaba ingresar a carreras relacionadas a medicina superando hasta cinco veces los cupos disponibles
Tiempo de cosecha: un programa educativo busca prevenir el trabajo infantil en Misiones durante el verano
Durante décadas, los hijos ayudaban a sus familias en las tareas del campo: la recolección del tabaco coincide con el cierre de las escuelas. En zonas rurales del NEA, el programa Porvenir previene el trabajo infantil por medio de centros de verano, becas y acompañamiento a los chicos
Luis Bogado y una nueva jornada docente que convoca SPEPM: “Hablar de alfabetización es hablar de justicia educativa”
El Director Ejecutivo del Servicio Provincial de Enseñanza Privada de Misiones (SPEPM) celebró los más de mil inscriptos a un espacio de reflexión para docentes de todos los niveles en la provincia del litoral argentino
La educación que dialoga con el arte fuera de las aulas en América Latina: experiencias desde el Malba
La publicación “Educación y Arte en Territorio” es el resultado de un trabajo colaborativo de casi dos años entre el Museo de Arte Latinoamericano de Buenos Aires (Malba), la Pinacoteca de São Paulo y la plataforma de aprendizaje artístico experimental en el espacio público “LA ESCUELA__”
