186 noticias
La comunidad matemática se encuentra en un estado de profunda crisis y desconfianza tras el anuncio de que modelos de inteligencia artificial han resuelto problemas matemáticos complejos que antes requerían esfuerzo humano. Este fenómeno ha generado una reacción dividida, descrita por el autor como
La comunidad matemática ha emitido recomendaciones para que los laboratorios de inteligencia artificial publiquen responsablemente los resultados matemáticos generados por sus modelos, exigiendo una supervisión humana inmediata. Un informe publicado el 29 de septiembre de 2026 detalla que, aunque al
OpenAI ha establecido un nuevo grupo asesor independiente de nueve matemáticos de élite, conocido como AGMAI, para mejorar su relación con la comunidad académica y gestionar la comunicación de sus avances. Esta iniciativa, anunciada el 21 de septiembre en el blog de Terence Tao, busca corregir la pe
OpenAI ha anunciado la resolución de un problema matemático de décadas de antigüedad, conocido como el problema de existencia y suavidad de las ecuaciones de Navier-Stokes, utilizando miles de agentes de inteligencia artificial. Este logro ha generado un intenso debate en la comunidad matemática, qu
Un equipo de investigación ha desarrollado un modelo de lenguaje de gran escala (LLM) de 27.000 millones de parámetros diseñado para predecir la dificultad de las pruebas matemáticas. El objetivo principal no es solo generar teoremas, sino identificar aquellos que son intrínsecamente interesantes y
Un usuario de Math Academy celebra haber completado 1.000 días de práctica matemática diaria, un hito que ha transformado su enfoque de aprendizaje y su vida personal. El autor, quien comenzó su viaje en 2023 con el objetivo de dominar Machine Learning, describe cómo la dependencia inicial de notas
El matemático Amit Sahai argumenta que la integración de sistemas de inteligencia artificial en la investigación matemática obligará a una expansión significativa del número de investigadores humanos. En un artículo de opinión, Sahai sostiene que, aunque la IA generará ideas y cálculos complejos, la
El texto presenta una guía didáctica para estudiantes de posgrado, centrada en la metodología de investigación y el aprendizaje autodidacta. El autor, un científico de la computación, estructura su consejo en torno a cuatro pilares fundamentales: la lectura, el cálculo, la investigación y la escritu
OpenAI ha establecido un Grupo Asesor de Matemáticas e Inteligencia Artificial (AGMAI) para gestionar la comunicación y el impacto de sus modelos de IA en el campo de las matemáticas. Esta iniciativa responde a las críticas de la comunidad académica, que han expresado preocupación por el uso de la r
El matemático Po-Shen Loh publica un artículo en el que sostiene que la inteligencia artificial no reemplazará a los humanos en la investigación científica, sino que generará un exceso de empleo que obligará a frenar su desarrollo. Loh, quien afirma que el 100% del texto fue escrito por él, argument
Circles Sines and Signals es un recurso educativo interactivo diseñado para facilitar el estudio del procesamiento de señales digitales mediante visualizaciones, animaciones y sonidos. Su objetivo principal es explicar la Transformada Discreta de Fourier (DFT) utilizando un currículo miniaturizado q
El matemático Tristan Buckmaster, profesor de la Universidad de Nueva York, ha denunciado que OpenAI utilizó su trabajo para resolver el problema de existencia y suavidad de las ecuaciones de Navier-Stokes, un logro que la empresa atribuyó a su sistema de agentes de IA. Buckmaster sostiene que la co
Grant Sanderson, conocido por su canal 3Blue1Brown, propone que la comunidad matemática debe redefinir y valorar las 'explicaciones motivadas' con el mismo peso académico que las pruebas formales. Su argumento central es que la generación de pruebas por inteligencia artificial ha erosionado el valor
Jack Rusher, científico de la computación con trayectoria en Bell Labs y startups, presenta en la conferencia Strange Loop 2023 una crítica profunda al sistema actual de álgebra vectorial. En su charla, titulada 'From Geometry to Algebra and Back Again: 4000 Years of Papers', Rusher realiza un recor
Tres matemáticos han completado la demostración de la conjetura del sándwich de grafos, un problema abierto desde 2004 que permitía aproximar grafos regulares complejos mediante grafos binomiales más simples. Este avance, publicado en 2025, resuelve una hipótesis formulada por Pu Gao en la Universid
La investigación matemática enfrenta una crisis de divulgación debido a la capacidad de las grandes empresas de inteligencia artificial para resolver problemas complejos mediante computación intensiva. Este fenómeno, descrito como la 'caída de la economía de la demostración', permite a corporaciones
El texto analiza el impacto de la inteligencia artificial en la matemática, argumentando que la era del matemático humano está terminando. El autor, citando el reciente avance de OpenAI en la resolución de problemas del Premio Millennium, sugiere que la IA no acelerará la investigación, sino que la
Timothy Gowers, matemático de renombre, ha publicado un artículo en su blog explicando las razones por las que no firmó la carta colectiva firmada por 25 ganadores del premio Fields, en la que se denuncia una crisis en la comunidad matemática. Aunque comparte la preocupación por el impacto de la int
El matemático Terence Tao ha publicado un artículo en su blog para explicar por qué no firmó la carta abierta firmada por 25 ganadores de la medalla Fields, en la que se critica la crisis actual en la comunidad matemática. Aunque comparte la preocupación por la pérdida de profundidad conceptual en l
En una conferencia impartida el 6 de febrero de 1939, el físico Paul Adrien Maurice Dirac argumenta que la conexión entre las matemáticas y la física es profunda y va más allá de la simple utilidad práctica. Dirac analiza cómo la evolución de la física moderna ha transformado el papel de las ecuacio
El artículo explora la estimación de la magnitud y el número de dígitos de los factoriales grandes, como 52!, sin necesidad de calculadoras. La aproximación se basa en la función Gamma, que actúa como una interpolación de la función factorial para números reales positivos. A través de la integración
Jean-Pierre Serre es un matemático francés de renombre mundial, reconocido por su contribución fundamental a la topología algebraica y la geometría. Nacido en Bages, Francia, en 1925, su interés por las matemáticas surgió a temprana edad, impulsado por la lectura de libros de cálculo de su madre. Tr
Casi cinco mil matemáticos, incluyendo a 25 ganadores de la Medalla Fields, han firmado la declaración 'A Severe Misalignment of AI in Mathematics', advirtiendo que la inteligencia artificial está erosionando los proxies de experticia en el campo. El argumento central sostiene que, aunque la IA resu
La ley de intensidad inversa al cuadrado describe cómo la magnitud de fenómenos físicos como la luz, el sonido o las transmisiones radioeléctricas disminuye con el cuadrado de la distancia desde la fuente. Este artículo detalla el razonamiento geométrico que justifica esta relación, desmitificando l
Daniel Litt, matemático y autor del blog Proofs and Prompts, ha presentado una visión radical y optimista sobre el futuro de la profesión matemática en la era de la inteligencia artificial. En un artículo reciente, Litt argumenta que, a diferencia de las previsiones pesimistas que predicen el fin de
Un análisis matemático revela que existen exactamente doce soluciones estructurales únicas para un suduko de 4x4, aunque el número total de configuraciones válidas es de 288. Este hallazgo se basa en la distinción entre soluciones numéricas y su estructura subyacente, ignorando la identidad de los d
Dos estudiantes de secundaria, Aayush Bathija y Prince Rohatgi, junto con el investigador postdoc Daniel Soskin de la UCLA, han publicado en arXiv una demostración que resuelve un problema abierto de la teoría de polinomios lorentzianos. Este avance, titulado "Bounded Ratios for Lorentzian Polynomia
El autor argumenta que la inteligencia artificial no es una tecnología convencional debido a su capacidad generalista, a diferencia de herramientas específicas como el automóvil. La única discrepancia fundamental entre los escépticos y los aceleracionistas radica en si la IA puede replicar todas las
Veinticinco ganadores del Premio Fields firmaron una carta abierta denunciando un «severo desalineamiento» entre los objetivos de las empresas de inteligencia artificial y la comunidad matemática. Los signatarios argumentan que la industria prioriza el anuncio apresurado de soluciones sobre el rigor
Steven Strogatz, profesor de la Universidad de Cornell y matemático, expresa su temor ante los recientes avances de la inteligencia artificial en su campo. La preocupación surge tras el anuncio de OpenAI, que afirmó haber resuelto un problema matemático de 90 años con un premio de un millón de dólar
OpenAI ha provocado una profunda inquietud en la comunidad matemática al declarar que su último modelo de inteligencia artificial ha resuelto el problema de Navier-Stokes, uno de los siete Problemas del Premio Millennium con una recompensa de un millón de dólares. La empresa desplegó 10.000 agentes
El Instituto de Matemáticas Clay (CMI) anunció el 11 de septiembre de 2026 que el problema de Navier-Stokes, uno de los siete Problemas del Premio Millennium, ha sido aparentemente resuelto. Este hito marca un avance significativo en la comprensión de la dinámica de fluidos y la existencia de soluci
Veinticinco de los matemáticos más prestigiosos del mundo, todos ellos galardonados con la Medalla Fields, han firmado una declaración conjunta que denuncia una profunda desalineación entre los objetivos de las empresas de inteligencia artificial y los de la comunidad matemática. Esta iniciativa, im
Una demostración matemática de la ecuación de Navier-Stokes atribuida a un sistema de inteligencia artificial cambió la forma en que un desarrollador entiende la capacidad de estos modelos. Simon Willison, autor del blog técnico donde se publicó la reflexión, sostiene que hasta ahora la IA había igu
OpenAI publicó una demostración matemática que resuelve una cuestión pendiente sobre las ecuaciones de Navier-Stokes, pero el aspecto más relevante de su trabajo no ha recibido atención: la compañía presentó simultáneamente una prueba formal en Lean 4. Hasta hace poco, elaborar demostraciones formal
Un equipo internacional de matemáticos e informáticos ha presentado una nueva demostración por ordenador del teorema de los cuatro colores, uno de los resultados más célebres y polémicos de las matemáticas modernas. El trabajo, liderado por Mikkel Thorup (Universidad de Copenhague) y Carsten Thomass
Un segundo matemático ha salido a la palestra para acusar a OpenAI de falta de transparencia y de un comportamiento "deshonesto" respecto al origen de los datos con los que entrena sus modelos de inteligencia artificial. Se trata de Andreas Thom, profesor de Geometría en la Universidad Técnica de Dr
OpenAI anunció este miércoles que resolvió uno de los problemas matemáticos más antiguos y difíciles del mundo: las ecuaciones de Navier-Stokes. El anuncio, realizado desde la propia compañía, sacudió a la comunidad matemática y desató una agria disputa sobre la autoría del hallazgo. Las ecuaciones
OpenAI asegura haber resuelto un problema matemático de 200 años y un académico denuncia que se atribuyó su mérito OpenAI sacudió esta semana a la comunidad científica al anunciar que uno de sus modelos de inteligencia artificial habría resuelto las ecuaciones de Navier-Stokes, uno de los siete Pro
Un matemático de la NYU acusa a OpenAI de copiar su enfoque en un problema del millón de dólares El matemático Tristan Buckmaster, profesor de la Universidad de Nueva York, anunció el martes tres pruebas con hallazgos preliminares sobre uno de los grandes problemas sin resolver de la matemática teó
OpenAI publicó una solución al problema de existencia y suavidad de Navier-Stokes, uno de los siete Problemas del Milenio del Clay Mathematics Institute. El resultado, obtenido por un modelo interno "significativamente más capaz que GPT‑6 Astra", consta de una demostración analítica y una formalizac
El matemático Tristan (junto con Levent Alpöge) ha hecho públicos tres resultados de blowup en tiempo finito con forzamiento suave: para la ecuación de medios porosos incompresibles, para las ecuaciones de Boussinesq y para las ecuaciones de Euler incompresible en tres dimensiones. Los autores creen
Durante su segunda semana en el Recurse Center, Ben Kallus intentó formalizar en Rocq el manual de álgebra abstracta de Dummit y Foote. El primer ejercicio de demostración del libro pide probar que una función es inyectiva si y solo si tiene un inverso izquierdo. Kallus comprobó que el enunciado es
Daniel, ingeniero de software, describe cómo durante sus vacaciones en el campo decidió combatir el deterioro cognitivo que asocia al uso intensivo de inteligencia artificial, el doomscrolling y la abundancia de estímulos rápidos. Para ello sustituyó pantallas pasivas por naturaleza, conversaciones
El California Institute of Technology (Caltech) acogerá del 30 de octubre al 1 de noviembre un hackatón centrado en investigación matemática avanzada, en el que cien equipos dispondrán de modelos de IA de frontera y más de dos millones de dólares en créditos de computación para intentar resolver con
El artículo propone una forma singular de recordar a Yayoi Kusama, fallecida recientemente: leer sus obras a través de conceptos matemáticos sencillos. La autora no pretende biografiar a la artista japonesa, sino utilizar sus lunas de puntos, salas de espejos y redes infinitas como pizarra para expl
Un preprint de los investigadores Wang y Wu, de la Universidad de Hunan, presenta la demostración del Teorema Esférico de Hadwiger, una conjetura abierta desde 1974 sobre geometría integral, elaborada con asistencia sustancial de OpenAI Codex. El propio artículo reconoce que el modelo se utilizó par
Claude completa en 11 días la primera demostración formal del Último Teorema de Fermat La inteligencia artificial de Anthropic, Claude, ha logrado en apenas 11 días lo que la comunidad matemática llevaba años intentando: la primera demostración completa, verificada por ordenador, del Último Teorema
Un rompecabezas bautizado como Flat Cube (Cubo Plano) lleva las piezas del clásico cubo de Rubik a una superficie hexagonal formada por rombos o losanges. Cada tres rombos contiguos pueden girarse como una unidad alrededor del centro del hexágono pequeño en múltiplos de 60 grados, igual que el cubo
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
Cinco matemáticos —las posdoctoras Sahar Diskin y Philip Easo, el estudiante de doctorado Ritvik Ramanan Radhakrishnan, el profesor Benny Sudakov y el investigador Vincent Tassion, todos vinculados a la ETH de Zúrich— han demostrado un resultado largamente buscado en teoría de la percolación: la con
El artículo académico 'Longest Straight Line Paths on Water or Land on the Earth' presenta una metodología matemática para resolver dos problemas de optimización geográfica: determinar la distancia máxima que se puede navegar sin tocar tierra firme y la distancia máxima que se puede conducir sin cru
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
Un desarrollador de software firma un breve manifiesto en el que denuncia el avance de la inteligencia artificial y sus consecuencias sobre las personas y el medio ambiente. Defiende que programar —como cualquier oficio creativo— es ante todo un ejercicio intelectual ligado a la satisfacción de reso
El matemático Jude Gomila presenta un resultado computer-assisted que reduce el techo conocido de la constante de de Bruijn–Newman Λ desde 0,2 hasta 0,1787854, un número racional exacto igual a 129/800 + 87677/5.000.000, obtenido a partir de más de 3,14 millones de certificados intervalares verifica
Este artículo enseña un método mental para averiguar el día de la semana de cualquier fecha sin consultar un calendario, basado en la regla del Apocalipsis (Doomsday rule) ideada por el matemático John Conway en 1973. La técnica se apoya en tres pilares. El primero, llamado truco del resto, aprovec
Los informáticos teóricos Nikhil Bansal, de la Universidad de Míchigan, y Haotian Jiang, de la Universidad de Chicago, han logrado el primer avance significativo en casi treinta años sobre la conjetura de Komlós, uno de los problemas abiertos más importantes de la teoría de la discrepancia combinato
El problema del empaquetado de cuadrados consiste en hallar el lado mínimo s(n) del cuadrado en el que caben n cuadrados unitarios. Para n=17, la mejor cota superior conocida desde 1998, debida a John Bidwell, es s(17)≤4,6756, mientras que la cota inferior de Trevor Green del año 2000 establecía s(1
Cualquier región plana con área positiva puede dividirse en dos mitades exactas mediante una recta en cualquier orientación. Esa garantía se apoya en el Teorema del Valor Intermedio: al deslizar una línea a través de la figura, el área acumulada en uno de sus lados pasa de forma continua de cero al
The Verge explora en su pódcast Decoder la crisis existencial que atraviesa la comunidad matemática por el avance de la inteligencia artificial. El periodista Robert Hart analiza cómo un modelo interno de OpenAI resolvió la conjetura de la distancia unitaria, un problema abierto durante 80 años, y c
El ensayo Mathematics in the age of AI, disponible en arXiv desde el 17 de agosto de 2026, se basa en una conferencia pronunciada en el Congreso Internacional de Matemáticos de ese mismo año y reflexiona sobre cómo debería responder la comunidad matemática a la llegada de herramientas de inteligenci
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
Un estudiante de informática con tres años de formación relata cómo su obsesión por la terminología técnica fue cediendo hasta convertirse en una postura más relajada. El texto parte de la frustración inicial al distinguir conceptos como Componente y Módulo, o DAO frente a Repository, y de la observ
El matemático y blogger Moultano presenta un método cuantitativo para ordenar las aves más coloridas del mundo a partir de los datos espectrales recopilados en el proyecto BirdColorBase, un repositorio que mide el color del plumaje más allá de los límites de las pantallas sRGB y Display P3. El traba
La cuarta edición de 'Linear Algebra Done Right', el libro de texto de Sheldon Axler, ya está disponible en acceso abierto bajo licencia Creative Commons BY-NC. Puede descargarse gratuitamente en inglés, chino, farsi, griego y portugués, con más idiomas en preparación. Esta edición incorpora más de
Un matemático relata el momento en que, tras siete años de trabajo, encontró por fin la solución a un problema que le había acompañado desde la infancia. Sentado frente a su escritorio a principios de septiembre, experimentó una "revelación increíble" e inesperada que describió como "el momento más
Esta página reúne una colección de applets interactivos en Java dedicados a la enseñanza de matemáticas, física e ingeniería. La iniciativa ofrece simulaciones visuales que permiten experimentar con conceptos abstractos a través de gráficos, animaciones y, en algunos casos, sonido en tiempo real. La
Ensayo divulgativo que explora el estado mental propicio para la creatividad, entendido como una forma de soledad interior en la que la opinión ajena deja de condicionar al creador. El texto arranca con una observación de Sam Altman, ex presidente de Y Combinator, según la cual las grandes ideas son
Un artículo divulgativo argumenta que la ventaja de los modelos de inteligencia artificial en matemáticas no reside en un razonamiento superior, sino en disponer de una memoria de trabajo simbólica prácticamente ilimitada. La memoria de trabajo humana es muy reducida: al resolver un problema hay que
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
