55 noticias
La Descomposición en Valores Singulares (SVD) es una de las piedras angulares del álgebra lineal aplicada, presente en campos tan dispares como el cálculo multivariable, la teoría de la información, el procesamiento de imágenes o el aprendizaje automático. Sin embargo, la forma en que los libros de
«Matemáticas: su contenido, métodos y significado» es una obra enciclopédica en tres volúmenes (con seis partes y un total de veinte capítulos) que ofrece una panorámica amplia de la matemática y de sus principales campos. La edición inglesa, publicada por la American Mathematical Society, reúne con
Artículo divulgativo que aborda la lógica formal desde sus ambigüedades cotidianas hasta sus fundamentos matemáticos. Comienza con una definición accesible: la lógica es un sistema para extraer conclusiones a partir de premisas. A través de ejemplos con gatos, desayunos y afirmaciones contraintuitiv
Este artículo describe, paso a paso, cómo generar regiones finitas de los mosaicos no periódicos de Roger Penrose formados por cometas (kites) y dardos (darts) utilizando el paquete Diagrams de Haskell. El trabajo surge de una colaboración con Stephen Huggett sobre propiedades matemáticas de estos t
La irrupción de la inteligencia artificial en las matemáticas ha pasado en pocos años de la regurgitación de fórmulas básicas a la demostración autónoma de teoremas de nivel predoctoral. En el verano de 2025, sistemas de Google DeepMind y OpenAI alcanzaron la medalla de oro en la Olimpiada Internaci
La demostración por contradicción es una de las herramientas más potentes de las matemáticas, pero suele presentarse a los estudiantes de forma inadecuada, a juicio del matemático y educador Colin Foster. En su artículo 'Making Sense of Proof by Contradiction', Foster sostiene que el ejemplo canónic
La energía cinética de un objeto depende de su masa y de su velocidad, pero ¿por qué la relación con la velocidad es cuadrática y no lineal? Este artículo didáctico responde a la pregunta partiendo de una idea previa: lo que hace útil a la energía es que puede transformarse entre formas —cinética y
El documento 'The Matrix and Quaternions FAQ' es una guía de referencia técnica, alojada en j3d.org, que reúne preguntas y respuestas frecuentes sobre el uso de matrices y cuaterniones en gráficos por ordenador 3D. Su versión 1.21, fechada el 30 de noviembre de 2003, es la última conocida y se distr
El autor relata cómo, al revisar un repositorio de soluciones de Project Euler que creó hace una década, encontró un archivo llamado problem15.txt correspondiente al problema 15, que pide calcular el número de rutas a través de una rejilla de 20×20 desplazándose solo hacia la derecha o hacia abajo.
El ensayo "Everything Is Logarithms" propone reinterpretar los logaritmos como objetos geométricos análogos a los vectores, explicando que los logaritmos con base que se usan habitualmente pueden entenderse como cocientes entre dos "logaritmos sin base". Esta unidad, bautizada como baseless logarith
El texto constituye un ensayo extenso y argumentado en el que el autor expone sus objeciones al Álgebra Geométrica (AG) tal como se presenta hoy. Defiende que la AG sí aborda problemas reales del álgebra lineal y el cálculo, pero que su insistencia en situar el producto geométrico de Hestenes como o
Zenzizenzizenzic es un término arcaico de notación matemática que representa la octava potencia de un número, es decir, el cuadrado del cuadrado de su cuadrado. La palabra fue propuesta por Robert Recorde, médico, matemático y autor galés de manuales de aritmética del siglo XVI, en su obra de 1557 "
En 1992, Dave Bayer y Persi Diaconis demostraron que siete barajadas en riffle —el clásico corte en dos montones e intercalado de cartas— bastan para mezclar una baraja de 52 cartas. Su resultado, célebre por su dificultad técnica, describía un fenómeno de corte (cutoff): al principio la baraja cons
Un ensayo matemático reúne seis rompecabezas clásicos que, pese a su apariencia dispar, comparten una misma idea elegante: añadir un elemento aparentemente superfluo al problema para simplificar su resolución y después descartarlo. El primero es el célebre acertijo de los diecisiete camellos: un mer
Un artículo divulgativo explica cómo los quivers, grafos dirigidos que permiten múltiples aristas y bucles, sirven como marco para generalizar los contenidos de un curso universitario de álgebra lineal de un año. El texto parte del concepto de representación algebraica: sustituir un objeto abstracto
La hipótesis de Riemann, formulada en 1859 por Bernhard Riemann, es el problema abierto más importante de las matemáticas. Resolverla tiene un premio de un millón de dólares y revelaría secretos fundamentales sobre los números primos. El sitio web Riemann Hypothesis Interactive, creado por Adil Mouj
El artículo, adaptado del libro *The Proof in the Code* de Kevin Hartnett, retrata la evolución del matemático Terry Tao hasta convertirse en un defensor de la inteligencia artificial y la colaboración masiva en su disciplina. Nacido en Adelaida en 1975 de padres inmigrantes chinos, Tao mostró preco
Este documento presenta una biografía detallada de Raoul Bott, un destacado matemático del siglo XX, seguida por un exhaustivo análisis de sus trabajos más importantes. La biografía abarca aproximadamente diez páginas, mientras que la discusión sobre sus publicaciones clave se extiende a lo largo de
πfs es un proyecto de software presentado en GitHub por el desarrollador Philip Langdale como un sistema de archivos FUSE que, en lugar de guardar los datos en el disco, afirma almacenarlos dentro de los dígitos de pi. La idea parte de la conjetura de que pi es un número normal: si fuera cierto, tod
El análisis funcional es la rama de las matemáticas que extiende el álgebra lineal más allá de las matrices finitas, permitiendo operar con conjuntos infinitos de funciones continuas. Su utilidad resulta decisiva en física e ingeniería, por ejemplo en el estudio de ondas en medios continuos, donde s
La Declaración de Leiden sobre Inteligencia Artificial y Matemáticas, publicada el 2 de junio de 2026, recoge la posición de un grupo internacional de investigadores sobre el uso creciente de la IA en la investigación matemática. El documento fue elaborado tras un taller celebrado en 2025 en el Lore
Las funciones núcleo (kernel functions) son herramientas matemáticas fundamentales en aprendizaje automático que permiten analizar relaciones complejas y no lineales en los datos sin calcular explícitamente coordenadas en espacios de alta dimensión. En el contexto de los procesos gaussianos (Gaussia
Un equipo de 49 matemáticos elaboró un conjunto de 100 preguntas de matemáticas a nivel de investigación con respuestas conocidas, en el marco del taller “Benchmarks in Leipzig”, celebrado entre el 1 de abril y el 15 de mayo de 2026. La mayor parte del trabajo se concentró en un taller de tres días
El matemático Richard Evan Schwartz ha demostrado en un artículo publicado en Proceedings of the National Academy of Sciences que la forma más eficiente de construir un toro —la geometría de una rosquilla— con papel mediante origami requiere exactamente ocho vértices. Hasta ahora se sabía que una tr
Symbolica 2.0 es la nueva versión mayor de un marco de cálculo simbólico de alto rendimiento para Python y Rust, presentado como una herramienta para manipular expresiones simbólicas y convertirlas en kernels numéricos optimizados, útiles para calcular Jacobianos, optimización numérica, integración
La Declaración de Leiden sobre Inteligencia Artificial y Matemáticas es un documento firmado por investigadores y académicos que insta a la comunidad matemática a asumir un papel activo frente al avance de la inteligencia artificial en la disciplina. El texto, planteado como una llamada a la respons
Dieciséis especialistas en matemáticas publicaron este martes la Declaración de Leiden sobre Inteligencia Artificial y Matemáticas, un manifiesto de once páginas que advierte de que la automatización sin control amenaza tanto la práctica como los valores de la disciplina. El documento, avalado por l
BQN, un lenguaje de la familia APL dedicado a la programación con matrices, traza una frontera clara entre las operaciones designadas con símbolos propios —las primitivas— y las escritas con palabras. La pregunta de qué merece un símbolo y qué no ocupa el centro del diseño del lenguaje. El autor, c
Un modelo de inteligencia artificial de OpenAI ha desmentido la conjetura de la distancia unidad de Erdős, un problema de geometría discreta que llevaba 80 años sin resolver. El anuncio se produjo a mediados de mayo y supone, según varios expertos, la primera demostración autónoma de una conjetura a
Daniel Lemire, científico de la computación, ha revelado que solo el 17% de todos los enteros sin signo de 64 bits pueden expresarse como el producto de dos enteros de 32 bits. Este hallazgo, respaldado por el trabajo matemático de Webster y sus colegas, aborda una preocupación práctica en el diseño
El artículo 'A pictorial introduction to differential geometry, leading to Maxwell's equations as three pictures' presenta una introducción visual a la geometría diferencial, una herramienta fundamental en física para áreas como la relatividad general y especial, la mecánica, la termodinámica y la r
"Notable Properties of Specific Numbers" es una referencia fundamental que cataloga e ilustra la relevancia de cifras clave en matemáticas puras, física teórica y teoría de juegos. Esta colección no se limita a simples listados numéricos; ofrece el contexto histórico y matemático detrás de cada valo
ATLAS es una biblioteca masiva de matemáticas formalizadas, desarrollada por Facebook Research, que traduce libros de texto universitarios y de posgrado a código formal utilizando modelos de lenguaje grande (LLMs). Su importancia radica en acelerar el proceso de verificación matemática, permitiendo
El clásico juego de Piedra, Papel y Tijera (RPS) es una paradoja matemática fascinante, pero ¿qué sucede si ampliamos sus reglas para incluir más opciones? Este artículo explora el 'jardín secreto' de extender el juego, transformando un pasatiempo infantil en un campo de estudio profundo para la teo
La Enciclopedia de Enteros en Línea (OEIS) es una de las bases de datos más fascinantes en el mundo matemático y computacional. Su objetivo principal es catalogar secuencias de enteros que aparecen en diversas áreas de las matemáticas, la ciencia y la ingeniería. Sin embargo, más allá de su utilidad
El artículo explora una modificación ingeniosa del protocolo de consenso Raft, diseñada para superar una de sus limitaciones fundamentales: la necesidad de una mayoría absoluta de nodos para confirmar cambios. En sistemas distribuidos tradicionales, si más de la mitad de los nodos fallan, el sistema
El periodo comprendido entre 1523 y 1571 representa un hito fundamental en la historia de la ciencia occidental, caracterizado por la transición de las matemáticas del latín académico al inglés vernáculo. Esta evolución no fue meramente lingüística, sino que fue catalizadora de la Revolución Científ
El presente texto explora el fascinante campo de la etnomatemática, una disciplina que busca identificar conceptos matemáticos inherentes a las prácticas culturales de diferentes pueblos. Gloria Gilmer, matemática y educadora, se centra en cómo las técnicas de trenzado en la comunidad afroamericana
El contenido analiza el problema clásico de la geometría discreta conocido como 'Squaring the Square' o 'Cuadrados dentro de Cuadrados'. El objetivo fundamental es determinar el cuadrado contenedor de menor lado posible ($s$) capaz de albergar exactamente $n$ cuadrados unitarios. Este problema es fu
Hengefinder es una herramienta desarrollada por un ingeniero para identificar momentos astronómicos únicos donde el sol se alinea perfectamente con la cuadrícula de calles de una ciudad, como el famoso "Manhattanhenge". Este fenómeno ocurre dos veces al año y atrae a multitudes, pero Hengefinder per
Peter Luschny ha publicado una colección exhaustiva de algoritmos para el cálculo de la función factorial (n!) en gran escala. Este recurso técnico, alojado en su sitio web, presenta descripciones breves de 21 algoritmos distintos, junto con implementaciones en múltiples lenguajes de programación co
Este artículo explora una estrategia poco convencional para 'hacer trampa' en Tetris, aprovechando las complejidades matemáticas del juego para asegurar la victoria. La premisa es simple: tú eliges las piezas que tu amigo, un jugador experto, debe colocar. Para ganar, tu amigo debe sobrevivir a 100.
Este artículo explica el Teorema Fundamental del Cálculo, una conexión crucial entre la integración y la derivación. La idea central es que calcular el área bajo una curva (integración) puede simplificarse evaluando una antiderivada en dos puntos. Pero antes de llegar a este resultado, el artículo e
Este artículo de 'Category Theory Illustrated' explora el concepto de 'orden' en matemáticas y programación, más allá de la simple idea de secuenciación. Un orden, en su forma más básica, es un conjunto de elementos con una relación binaria definida que los conecta. La forma más común que solemos pe
Este artículo del blog de Eavan explora el cálculo de 'sandpiles de identidad', estructuras matemáticas visualmente impresionantes que surgen de un proceso de estabilización de granos de arena en una cuadrícula. Inicialmente, el objetivo era generar imágenes atractivas, pero la búsqueda de eficienci
Este artículo explora el concepto de "thinnings", una herramienta matemática que, aunque a menudo vista como compleja en contextos como la teoría de tipos dependientes, puede ser aplicada y comprendida en lenguajes de programación más comunes como Python. En esencia, un thinning es una forma de test
Matemáticas Notepad es una herramienta web emergente que permite a los usuarios crear, editar y compartir documentos matemáticos directamente en el navegador, sin necesidad de instalar software adicional. Su importancia radica en democratizar el acceso a la creación de contenido matemático, facilita
Hillel Wayne ha publicado una serie de scripts de ejemplo utilizando Z3, un potente solucionador SMT (Satisfiability Modulo Theories). Z3 es una herramienta que puede resolver problemas matemáticos y de programación, encontrando soluciones que satisfacen un conjunto de ecuaciones y restricciones. Wa
Explicaciones Interactivas: Aprendiendo a través de la Experimentación. En el mundo de la tecnología, a menudo nos encontramos con conceptos complejos y abstractos. Aunque leer una definición o un artículo puede proporcionar una comprensión superficial, la verdadera comprensión suele llegar cuando
## 1D Cellular Automata Playground: Explorando la Simplicidad y la Complejidad Emergente **¿Qué es y por qué es importante?** El "1D Cellular Automata Playground" es una herramienta interactiva que te permite explorar el fascinante mundo de los autómatas celulares (AC) unidimensionales. Los AC so
Investigadores han presentado 'Lean Collab', un nuevo sistema colaborativo para la demostración de teoremas utilizando Lean 4 y la red neuronal Ensue. La herramienta busca acelerar la verificación formal, permitiendo que múltiples agentes trabajen en la resolución de problemas matemáticos complejos
La desigualdad de Markov, a menudo eclipsada por su homóloga en teoría de la probabilidad, es una herramienta poderosa en matemáticas que limita la rapidez con la que puede 'ondularse' una función polinómica dentro de un espacio definido. Imagina un polinomio, una expresión matemática que representa
Un nuevo estudio, publicado en arXiv y respaldado por Didier Sornette de la ETH Zurich, revela un patrón convergente en diversas disciplinas científicas (física, biología, finanzas, ingeniería) que han desarrollado de forma independiente herramientas matemáticas para predecir puntos de inflexión en
La secuencia de Kolakoski es una secuencia infinita de números 1 y 2 que posee una propiedad fascinante: su descripción se encuentra codificada dentro de sí misma. Esto significa que la secuencia está formada por las longitudes de las 'carreras' (secuencias consecutivas del mismo número) que la comp
El artículo introduce el término "ruliología", acuñado por Stephen Wolfram, como una nueva ciencia que estudia el comportamiento de sistemas que siguen conjuntos simples de reglas. No es ni informática tradicional (que se enfoca en programas construidos para propósitos específicos) ni matemáticas (q
