12 noticias
El matemático Terence Tao, profesor en la Universidad de California en Los Ángeles y ganador de la Medalla Fields en 2006, condensa la matemática entera en seis pilares: números, álgebra, geometría, probabilidad, análisis y dinámica. En esta entrevista con Big Think, Tao parte de su libro forthcomin
El texto explora la tensión entre el talento excepcional y la dedicación constante en la investigación matemática, utilizando la autorreflexión de una doctoranda como hilo conductor. La autora contrasta su trayectoria académica, marcada por logros incrementales pero sólidos, con las trayectorias met
El matemático Terence Tao anunció la apertura de Palomar, un registro de demostraciones matemáticas verificadas en el lenguaje de pruebas Lean, una iniciativa impulsada por Lean FRO e ICARM. El proyecto surge ante la proliferación de pruebas generadas por inteligencia artificial, algunas formalizada
El matemático Terence Tao publica una versión depurada y legible de la demostración de la conjetura de Sendov obtenida en 2025 por Lech Mazur mediante una herramienta de inteligencia artificial, y cuya verificación formal en Lean ya estaba disponible. Tras varios días de trabajo asistido por IA, con
El matemático Terence Tao advirtió en una conferencia en Filadelfia que la comunidad está "muy, muy cerca" de que un resultado matemático importante sea demostrado y verificado sin que ningún humano pueda comprenderlo y explicarlo. La afirmación, recogida por el periodista Kai Williams en entrevista
Este artículo reflexiona sobre un malentendido frecuente: pensar que los modelos de lenguaje de gran tamaño (LLM) han convertido a cualquier persona en un generalista capaz de obtener resultados equivalentes a los de un experto. El autor sostiene que la habilidad decisiva al usar un LLM no reside en
OpenAI ha presentado Astra, una versión interna de su nuevo modelo de inteligencia artificial generativa, con la que asegura haber resuelto o avanzado en diez problemas matemáticos abiertos durante al menos una década, y en la mayoría de los casos durante mucho más tiempo. El coste total de los cálc
El matemático Terence Tao, profesor en la Universidad de California en Los Ángeles, pronunció el 24 de julio de 2026 una conferencia pública inaugural en el Congreso Internacional de Matemáticos (ICM 2026) titulada 'Mathematics in the age of AI', en la que planteó que la disciplina atraviesa una eta
El matemático Terence Tao ha recuperado y ampliado en cuestión de horas, con ayuda de un agente de programación basado en modelos de lenguaje, una colección de applets didácticos que él mismo programó en Java 1.0 a partir de 1999 para sus cursos de análisis complejo y álgebra lineal. Los applets ori
Un estudiante de 23 años, Liam Price, ha resuelto un problema matemático de 60 años de antigüedad que había eludido a expertos durante décadas, utilizando ChatGPT Pro de OpenAI. El problema, relacionado con conjuntos de números primos conocidos como “conjuntos primitivos” y propuesto por el matemáti
La inteligencia artificial está revolucionando la matemática, marcando un punto de inflexión en el verano de 2025. Este cambio se evidenció cuando modelos de IA resolvieron con éxito cinco de seis problemas del International Mathematical Olympiad, sorprendiendo a la comunidad matemática. Inicialment
El reconocido matemático Terence Tao ha anunciado la publicación de su nuevo libro, "Six Math Essentials", a través de Quanta Books. El libro, disponible para pre-compra desde ahora y con fecha de lanzamiento oficial el 27 de octubre, explora seis conceptos fundamentales de las matemáticas: números,