GPT-5.6 Sol, el modelo insignia de OpenAI, rebajó a 2,26^n una cota matemática que los humanos no mejoraban en décadas, y la entregó redactada en un artículo completo. Un hito real, aunque aún sin revisión por pares.

Un grupo internacional compuesto por dieciséis investigadores de quince universidades de todo el mundo ha presentado recientemente la Declaración de Leiden sobre Inteligencia Artificial y Matemática. Este documento, publicado a principios de junio de 2026, surge como una respuesta urgente ante la rápida integración de las tecnologías de automatización en la investigación científica.

Un equipo de investigadores de la Universidad de Pekín ha logrado un hito en el campo de las matemáticas computacionales al desarrollar un sistema de inteligencia artificial capaz de cerrar una conjetura que llevaba una década sin solución. El modelo consiguió formalizar y verificar la respuesta a un problema de álgebra conmutativa, planteado originalmente por el matemático Dan Anderson en 2014, en un tiempo de ejecución de tan solo 80 horas. Este avance, reportado recientemente por medios como el South China Morning Post, destaca porque el sistema operó de forma casi autónoma.

En un acto encabezado por el presidente Gustavo Petro, el Gobierno nacional puso la primera piedra de la Facultad de Inteligencia Artificial en Zipaquirá. Este ambicioso proyecto contará con una inversión superior a los $131.000 millones y busca convertir al municipio en un centro estratégico de innovación tecnológica para Colombia y América Latina. La obra, liderada por MinTIC y el Ministerio de Educación, estará lista en diciembre de 2026 y promete reducir la brecha digital, democratizar el conocimiento y potenciar el talento colombiano en tecnologías emergentes.

Clara Grima publica *Con algoritmos y a lo loco*, un ensayo divulgativo que convierte la historia de los algoritmos en una aventura fascinante y divertida. Con anécdotas que van desde la antigua Grecia hasta las redes sociales, la matemática sevillana demuestra que estas herramientas no son entes malignos, sino recetas que llevan siglos ayudándonos a entender y transformar el mundo. El libro, editado por Ariel, llega a librerías el 25 de junio.

En una demostración pública de sus capacidades, los modelos de inteligencia artificial de Google y OpenAI han resuelto cinco de las seis complejas pruebas de la Olimpiada Internacional de Matemáticas (IMO), obteniendo así una medalla de oro virtual. El experimento, llevado a cabo en paralelo al certamen celebrado en la Sunshine Coast australiana, evidencia el vertiginoso avance de la IA en tareas lógicas complejas, aunque no sin generar polémica por la forma en la que se anunció el resultado.

Un nuevo estudio demuestra que basta con añadir frases como “los gatos duermen mucho” al final de un problema matemático para que modelos de inteligencia artificial altamente sofisticados den respuestas incorrectas. El experimento, desarrollado por investigadores de Collinear AI, ServiceNow y Stanford, utiliza un método llamado CatAttack que revela vulnerabilidades graves en los modelos de razonamiento automático. Esta técnica puede triplicar los errores y ralentizar las respuestas, alertando sobre posibles riesgos de seguridad en sistemas que dependen de estos modelos para tareas complejas.

Michael I. Jordan, matemático pionero en inteligencia artificial, ha abordado en una entrevista con El País las expectativas desmesuradas sobre la IA. Según el experto, la tecnología necesita manos humanas para generar soluciones útiles. Además, criticó el enfoque de Silicon Valley y subrayó la importancia del esfuerzo colectivo frente a promesas mágicas.