117 noticias
La topología algebraica suele presentarse como el estudio de formas singulares como la botella de Klein o la cinta de Möbius, pero en realidad resulta esencial en casi todas las áreas de la matemática moderna. Este artículo lo demuestra partiendo de una propiedad curiosa de la cinta de Möbius para l
El matemático Daniel Litt, de la Universidad de Toronto, presentó en una cumbre sobre el futuro de las matemáticas organizada por OpenAI una charla titulada "The End of Mathematics", en la que imagina un escenario, que aclara no predictivo, en el que la disciplina podría estancarse pese a que la IA
Un equipo de investigación anuncia nuevas cotas inferior y superior para la constante de Grothendieck (K_G), una magnitud central en análisis funcional, optimización combinatoria y complejidad computacional. Los autores demuestran que K_G se sitúa en el intervalo [6π/11, π/(2·log(1+√2)) − 10^{-4}],
El principio de incertidumbre fractal es una versión matemática del conocido principio de Heisenberg que se aplica a conjuntos fractales: si una función se concentra sobre un fractal poroso, su transformada de Fourier no puede ser también fractal, y viceversa. Esta desigualdad, clave para entender c
Las redes fluviales del planeta presentan un patrón ramificado que recuerda a las ramas de un árbol, las venas de las hojas o las arterias humanas: sistemas de transporte que llevan un fluido —agua, savia, sangre— desde cada punto hasta un destino común. Aunque estos trazados parecen caóticos, obede
El artículo analiza la estructura del retículo formado por todos los subconjuntos de los números naturales, ordenado por inclusión, y demuestra que en él caben toda clase de órdenes, incluso los aparentemente incompatibles con su carácter discreto. Partiendo de ejemplos sencillos —como el caso del o
Principia Mathematica, la obra monumental de Alfred North Whitehead y Bertrand Russell publicada a partir de 1910 por la Cambridge University Press, es célebre por la extensión de sus demostraciones —se dice que emplea unas mil páginas en probar que 1+1=2— y por un nivel de detalle concebido para de
Artículo divulgativo que presenta la programación dinámica como un principio matemático único capaz de explicar algoritmos muy diversos: desde el cálculo de rutas más cortas en grafos y el ajuste de gradientes en redes neuronales hasta el análisis de gramáticas independientes del contexto o la plani
Un análisis firmado a principios de agosto de 2026 reflexiona sobre qué clase de problemas matemáticos resuelven bien los grandes modelos de lenguaje (LLM), tras el anuncio de OpenAI de haber resuelto diez problemas relevantes en matemáticas y ciencias de la computación teóricas. Entre esos resultad
El National Museum of Mathematics reúne en una sola página los avances recientes en torno a dos monotiles aperiódicos descubiertos por David Smith, Joseph Samuel Myers, Craig S. Kaplan y Chaim Goodman-Strauss. El primero, conocido como "the Hat" (el Sombrero), fue presentado en marzo de 2023 como la
Anthropic anunció el lunes que un modelo de inteligencia artificial aún sin distribuir logró un progreso significativo en la hipótesis de Riemann, uno de los problemas sin resolver más antiguos de las matemáticas, con una recompensa de un millón de dólares por una demostración general. El avance amp
OpenAI presentó las soluciones a 10 problemas matemáticos abiertos, algunas enquistadas durante décadas, mediante un modelo interno avanzado conocido como Astra. Los hallazgos abarcan áreas como el empaquetamiento de esferas en dimensiones superiores, los códigos de corrección de errores, la complej
Claude eleva al 67,2% la cota inferior de ceros de la zeta de Riemann Una versión no publicada del modelo de inteligencia artificial Claude, desarrollado por Anthropic, ha elevado del 41,6% al 67,2% la cota inferior conocida de ceros de la función zeta de Riemann que satisfacen la hipótesis de Riem
Un equipo de cuatro matemáticos —Markus Faulhuber, Lydia Petersen, José van Velthoven y Felix Voigtlaender— ha publicado en arXiv (2608.05044) un contraejemplo explícito a la conjetura de Heil–Ramanathan–Topiwala (HRT), un problema abierto en análisis armónico desde 1996. La conjetura afirmaba que,
Un programador aficionado ha logrado construir hexágonos mágicos anormales para todos los órdenes hasta n=21, un avance que supera con creces la mejor solución previa conocida, un hexágono de orden 9 descubierto en 2024 por Klaus Meffert. Un hexágono mágico es una cuadrícula hexagonal en la que cada
En 1960, el físico Eugene Wigner publicó un ensayo filosófico de referencia en el que se preguntó por qué las matemáticas, una disciplina aparentemente abstracta y desligada de la realidad, resultan tan extraordinariamente útiles para describir los fenómenos naturales. El artículo, aparecido en Comm
El teorema de Sylvester–Gallai es uno de los enunciados clásicos de la geometría discreta euclídea: todo conjunto finito de puntos del plano que no esté alineado posee una recta ordinaria, es decir, una recta que pasa exactamente por dos de los puntos y deja al resto fuera. Aunque parece intuitivo,
Esta guía visual explica paso a paso un problema combinatorio estudiado desde 1955 y resuelto en 2026, sin requerir formación matemática. Parte de un juego de coloreado de conexiones entre personas: en un grupo de 16 personas con 120 conexiones pintadas con tres colores, ninguna terneda debe tener s
Science for Kids es una sección de divulgación ilustrada que responde, con lenguaje cercano y rigor, a preguntas que niños y adultos curiosos se hacen a diario sobre el funcionamiento del mundo. Cada artículo parte de una observación cotidiana —un dedo arrugado en la bañera, una manzana que se oxida
El 20 de mayo de 2026, OpenAI anunció que un modelo interno de inteligencia artificial, no disponible para el público, había encontrado un contraejemplo para el problema de la "distancia unidad", una conjetura formulada en 1946 por el matemático húngaro Paul Erdős. Aunque semanas después matemáticos
Este ensayo recorre la historia de la tipografía matemática y la presenta como una forma de visualización de datos más que como un simple sistema de transcripción. El autor parte de la idea de que componer matemáticas impresas siempre ha sido considerablemente más difícil que componer texto corrient
El científico y empresario Stephen Wolfram anunció la muerte de su esposa, Elise Cawley, a los 64 años, tras un episodio cardiovascular masivo ocurrido mientras se recuperaba de una cirugía cardíaca. La pareja estuvo casada 36 años y tuvo cuatro hijos. Wolfram, conocido por haber creado el software
La matemática Hong Wang, de 35 años, ha sido galardonada con la Medalla Fields 2026, el reconocimiento más prestigioso de las matemáticas para investigadores menores de 40 años. Wang, profesora en la Universidad de Nueva York y en el Instituto de Estudios Científicos Avanzados (IHES) de Francia, se
OpenAI anunció la resolución de diez problemas matemáticos abiertos mediante un modelo aún por publicar, un hito que, según matemáticos consultados, marca un punto de inflexión en la disciplina. El anuncio ha reabierto el debate sobre el papel futuro de los humanos en un campo que durante siglos ha
OpenAI ha presentado diez nuevos resultados en matemáticas e informática teórica obtenidos con una versión interna de su próximo modelo principal, Astra, por un coste estimado de unos 2.000 dólares en tokens. Los avances abarcan geometría de altas dimensiones, teoría de códigos, complejidad de circu
En 1903, un sencillo problema aritmético publicado en el New York World desató una oleada de respuestas, sátiras y adaptaciones en la prensa estadounidense. El enunciado decía: «Mary tiene 24 años. Es el doble de vieja que Ann cuando Mary tenía la edad que Ann tiene ahora. ¿Cuántos años tiene Ann?».
El sistema automatizado de descubrimiento Theo Conjecture, desarrollado por FirstPrinciples y apoyado en un modelo de lenguaje de gran tamaño, ha resuelto la Conjetura 448 del programa Graffiti, un problema abierto de teoría de grafos y teoría de números que Paul Erdős y otros matemáticos plantearon
En 1993, el matemático británico Andrew Wiles anunció la demostración del Último Teorema de Fermat, el problema más célebre de las matemáticas, sin resolver durante más de 350 años. Wiles, que creció en Cambridge y descubrió el enigma a los diez años en una biblioteca pública, consagró buena parte d
Un artículo publicado en arXiv (matemáticas, topología geométrica) presenta la demostración de que la representación de Burau del grupo clásico de trenzas es fiel para n = 4. El grupo de trenzas B_n describe las formas en que se pueden entrelazar n hebras, y sus representaciones lineales —maneras de
Un artículo divulgativo reconstruye, paso a paso y sin requisitos matemáticos previos, la historia de la conjetura del Jacobiano, uno de los problemas abiertos más célebres de las matemáticas, formulada por Ott-Heinrich Keller en 1939. El texto comienza por la idea más básica: una función como una m
En noviembre de 2004, el matemático y científico de la computación Gregory J. Chaitin publicó en arXiv el ensayo «How real are real numbers?», una pieza de matemáticas y fundamentos de la informática que cuestiona la noción clásica de número real como entidad bien definida y 'completamente existente
Este artículo, primero de una serie titulada "Programación funcional desde los principios básicos", explica qué es la programación funcional y por qué importa. Presenta las cuatro grandes familias de paradigmas de programación (imperativo procedural, orientado a objetos, lógico y funcional) y enmarc
En un artículo publicado en su blog, el ingeniero y divulgador Dr. Drang describe un método alternativo para demostrar la fórmula de la suma de los primeros n cubos. La fórmula, que reduce Σk³ a [n(n+1)/2]², suele presentarse en docencia a partir de identidades algebraicas, pero el autor busca un ca
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 Igor Pak reflexiona sobre el papel de las conjeturas en la práctica matemática y plantea una pregunta inquietante: ¿qué ocurriría si muchas de las conjeturas en las que la comunidad invierte décadas de trabajo resultaran falsas? Las conjeturas, explica, son omnipresentes en todas las r
Un matemático joven, formado en la tradición de la creación matemática como experiencia espiritual, describe una crisis profunda ante la capacidad de los modelos de lenguaje para producir contraejemplos de conjeturas matemáticas de larga data. En apenas una semana, los LLM derribaron problemas abier
Las Medallas Fields 2026 reconocen a cuatro matemáticos por contribuciones decisivas en ecuaciones en derivadas parciales, geometría simpléctica, geometría algebraica aritmética y análisis armónico. El premio, entregado cada cuatro años a investigadores menores de 40 años, está financiado por el fon
En una variante del juego de Nim con fichas de valor ordinal infinito (ω, ω·2, ω²…), la partida siempre termina, aunque los jugadores no puedan precisar de antemano cuántos turnos durará. El artículo, publicado en un blog de matemáticas recreativas, explica que cuando se añaden fichas verdes que rep
Un hilo de la comunidad Lobsters invita a sus miembros a compartir qué harán durante el fin de semana. Las respuestas reflejan la diversidad de intereses del foro: desde estudiantes recién admitidos en Matemáticas que dedican el tiempo a mudarse y a sus proyectos personales, hasta desarrolladores qu
Euclides demostró hacia el 300 a.C. que existen infinitos números primos, pero la pregunta más sutil es cuantificar qué tan frecuentes son. Una forma de medirlo es sumar los recíprocos de los primos (1/2 + 1/3 + 1/5 + 1/7 + …): si esa serie converge, los primos son escasos; si diverge, son relativam
El matemático Levent Alpöge anunció a través de la red social X un contraejemplo a la conjetura del Jacobiano, un problema abierto en álgebra que durante décadas había resistido los intentos de solución. El contraejemplo, identificado bajo el seudónimo Claude Fable, emplea polinomios de grado 7, un
Multiplicar es una de las operaciones básicas de la informática, presente en el cifrado, la robótica, la inteligencia artificial y el procesamiento de audio. Sin embargo, los matemáticos aún no conocen el método más rápido para hacerlo, un problema con consecuencias económicas globales. El algoritm
La reconstrucción tannakiana es un resultado de teoría de categorías que permite recuperar los morfismos de una categoría a partir del conjunto de todos los funtores que la representan en otra categoría. Un funtor actúa como una 'fotografía' de la categoría origen dentro de la categoría destino: con
El repositorio 'combinatorial-games', publicado por el usuario vihdzp en GitHub, ofrece una formalización en Lean 4 de temas centrales de la teoría de juegos combinatorios. Un juego combinatorio es, según define el propio proyecto, un juego entre dos jugadores —denominados Left y Right— que se turna
Star Fleet Math es un sistema de inteligencia artificial creado por Colin Snyder con el asesoramiento de Mike Kim, inspirado en Ignis, que aborda algunos de los problemas abiertos más difíciles de la matemática empleando Lean 4. La aplicación de escritorio para macOS orquesta hasta 20 agentes autóno
Un equipo liderado por la arqueóloga Heather Hurst, del Skidmore College, identificó por primera vez el nombre de un matemático-astrónomo maya en un conjunto de glifos hallados en una cámara del sitio arqueológico de Xultun, en Guatemala. La investigación, publicada el 14 de julio en la revista Anti
La lista de ganadores de la Medalla Fields 2026 se ha filtrado de forma accidental e incluye a los matemáticos Hong Wang y Yu Deng, ambos egresados de la Universidad de Pekín. De confirmarse el 23 de julio, sería la primera vez que dos matemáticos chinos reciben el premio en una misma edición, un hi
La lista de ganadores de la Medalla Fields 2026 se ha filtrado de forma accidental e incluye a los matemáticos Hong Wang y Yu Deng, exalumnos de la Universidad de Pekín. De confirmarse el 23 de julio, sería la primera vez que dos matemáticos chinos reciben el prestigioso premio en la misma edición,
Este ensayo examina la convergencia de dos tendencias simultáneas: la aparición de sistemas de inteligencia artificial capaces de producir matemáticas genuinas de nivel investigador, y el debilitamiento en Estados Unidos del tejido institucional que forma a las personas capaces de verificar, interpr
Leonardo Pisano, conocido como Fibonacci (ca. 1170-1250), fue durante siglos la figura de referencia de la aritmética, aunque apenas se conservan 160 palabras autobiográficas suyas. El matemático italiano no descubrió la llamada sucesión de Fibonacci, documentada en sánscrito desde al menos el año 2
Un texto atribuido a OpenAI asegura demostrar la conjetura del cubrimiento doble por ciclos, planteada por Tutte, Itai y Rodeh, Szekeres y Seymour. La conjetura sostiene que todo grafo no dirigido, finito y sin puentes admite una colección de ciclos en la que cada arista aparece exactamente dos vece
Las fichas de repaso suelen asociarse con la memorización mecánica de vocabulario, pero pueden ser una herramienta potente para asentar conocimientos que exigen comprensión profunda, como las matemáticas. Esta es la tesis que sostiene Lesley Lai en una carta de amor a las flashcards, escrita como co
En 2026 se cumple el centenario de la muerte de Antoni Gaudí, y el templo barcelonés de la Sagrada Familia sigue revelando capas insospechadas de genialidad. Un análisis basado en la labor del matemático Claudi Alsina muestra que las proporciones del edificio se articulan en torno al módulo de 7,5 m
Pattern Collider es una aplicación web interactiva y de código abierto diseñada para generar y explorar patrones de teselado cuasiperiódicos. Desarrollada por Aatish Bhatia en colaboración con Henry Reich (Minute Physics), la herramienta permite crear diseños personalizables, cada uno con una URL pr
El matemático V. I. Arnold, en su libro sobre la teoría de catástrofes, propuso un modelo caricaturesco pero sugerente para describir la actividad de una personalidad creativa a partir de tres parámetros: destreza técnica (T), entusiasmo (E) y logros (A). Estos tres ejes forman una superficie en el
Este artículo —primero de una serie— presenta el hallazgo de un método recursivo para enumerar todas las permutaciones de una palabra de n letras, formulado por el cabalista Abraham Aboulafia (1240–después de 1291) en su obra Or ha-Sekhel ("La luz del intelecto"), dentro de la práctica espiritual de
Este ensayo explora la diferencia entre dos tipos de aleatoriedad y compresibilidad. Plantea un acertijo: dos archivos de un millón de dígitos, uno generado aleatoriamente y otro con los primeros millones de dígitos de π, son estadísticamente idénticos (cada dígito aparece con frecuencia similar), p
Este ensayo sostiene que la informática no constituye una ciencia y la ingeniería del software tampoco se ajusta al concepto tradicional de ingeniería. El autor parte de una observación: los debates sobre las mejores prácticas de desarrollo de software rara vez se resuelven con criterios objetivos,
Esta guía instructional, de más de 750 páginas, enseña a diseñar, montar y coser bolas de tela esféricas a partir de paneles planos, con aplicaciones en bolas de malabares, footbags y otros proyectos textiles. El autor ha desarrollado por sí mismo todas las formas de los paneles, salvo los polígonos
El 28 de junio se celebra el día de tau (τ = 2π), una efeméride matemática que recuerda las ventajas de usar esta constante en fórmulas con círculos. Aunque la notación con τ no se ha impuesto, el artículo se detiene en una curiosidad numérica bien conocida: π² ≈ 10. El valor exacto de π² es 9,8696
El curso "Applied Category Theory", impartido por John Baez y convertido en páginas web por Simon Burton, es un recurso educativo abierto basado en el libro "Seven Sketches in Compositionality: An Invitation to Applied Category Theory" de Brendan Fong y David Spivak. El material está estructurado en
El matemático y empresario de aprendizaje automático David Bessis sostiene que la inteligencia artificial amenaza con destruir las matemáticas tal y como se conocen, aunque el impacto real será limitado. A partir de su experiencia personal —incluida una idea que nunca llegó a publicar y otra que sí,
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
