Computer Science
Sumérgete en el fascinante universo de las matemáticas con nuestros artículos cautivadores, escritos por expertos apasionados. Ya seas un aficionado curioso o un matemático experimentado, nuestros artículos abarcan una amplia gama de temas, desde conceptos fundamentales hasta los descubrimientos más recientes, pasando por aplicaciones prácticas y reflexiones filosóficas.
Terence Tao alerta: la IA escribe pruebas ilegibles
Terence Tao alerta de un nuevo umbral: la IA acelera la formalización de las demostraciones, pero genera resultados demasiado verbosos para que los humanos los comprendan.
Cuando la IA «resuelve» una conjetura sin demostración: la respuesta de los matemáticos
La comunidad matemática se moviliza ante los anuncios de la IA. La Declaración de Leiden traza los límites entre la generación y la verificación de las demostraciones.
Cerebro humano y conducción autónoma: un mecanismo biológico que revoluciona la IA
Un equipo de la Universidad de Valencia traslada un mecanismo de la corteza visual a las redes neuronales y mejora en un 20 % la conducción autónoma en condiciones difíciles.
Leibniz, Yi Jing y el sistema binario
Descubra cómo Leibniz, al estudiar el Libro de las mutaciones chino, encontró en él una prefiguración del sistema binario que revolucionaría la informática moderna.
Conjetura abc: por qué la verificación por ordenador podría resolver el mayor escándalo matemático
Desde 2012, la demostración de la conjetura abc de Shinichi Mochizuki divide a la comunidad matemática. Investigadores recurren a la verificación formal asistida por ordenador para zanjar el asunto de una vez por todas.
Busy Beaver: la función que supera a toda función calculable
La función Busy Beaver crece más rápido que cualquier función calculable. Descubre por qué algunos números son matemáticamente inaccesibles.
Terence Tao y la inteligencia artificial: cómo están transformando las matemáticas
Terence Tao, medallista Fields, comparte su experiencia con la IA en la investigación matemática: un compañero de exploración que transforma la manera de plantear los problemas.
Concurso Alkindi 2026: final de criptoanálisis para estudiantes de secundaria en la École des Mines
Veinte equipos de estudiantes de secundaria y bachillerato se enfrentan el 13 de mayo en la École des Mines de Paris para alzarse con el título de mejor criptoanalista júnior de Francia.
Ace: el robot que vence a campeones de ping-pong gracias a las matemáticas
Descubre cómo Ace, un robot que utiliza aprendizaje por refuerzo y visión basada en eventos, puede vencer a campeones de ping-pong. Análisis de las matemáticas que hay detrás de este logro, publicado en Nature.
Econometría: medir para comprender | Insee
La econometría revela las relaciones causales en los fenómenos económicos mediante las matemáticas y la estadística, al servicio de las políticas públicas.