85 noticias
OpenAI ha dado un giro significativo a su estrategia de divulgación científica al publicar tres descubrimientos 'mayores' en matemáticas, ciencias de la computación y física, marcando una transición desde la simple publicación de manuscritos hacia un proceso de verificación colaborativa y transparen
OpenAI ha anunciado la publicación de tres nuevos descubrimientos científicos en las áreas de matemáticas, ciencias de la computación y física, marcando un hito en la colaboración entre la inteligencia artificial y la comunidad académica. La empresa ha revelado avances en el análisis armónico, la te
El 6 de octubre, OpenAI provocó una reacción inmediata en la comunidad matemática al publicar más de 700 manuscritos matemáticos generados por su sistema de IA interno. Estos documentos, que incluyen algunas pruebas formales en Lean y otros en diversos estadios de verificación, han desatado un inten
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 grupo de 25 matemáticos galardonados con la Medalla Fields ha publicado un manifiesto este viernes para denunciar la desalineación de objetivos entre las empresas de inteligencia artificial, como OpenAI, y la comunidad matemática. La iniciativa surge tras el anuncio de OpenAI sobre la resolución
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
OpenAI anunció este martes que un sistema de 10.000 agentes de inteligencia artificial coordinados con su modelo GPT-6 Astra resolvió en 88 horas una demostración analítica de 100 páginas del problema de Navier-Stokes, uno de los seis Problemas del Milenio, por cuya solución el Instituto Clay otorga
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ó
Anthropic ha publicado en GitHub una demostración completa del último teorema de Fermat verificada por máquina en el asistente de pruebas Lean 4, un hito que combina más de tres décadas de matemáticas avanzadas con las técnicas más recientes de verificación formal automatizada. El repositorio, prese
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
Doblar una hoja de papel estándar de 0,1 mm de grosor 27 veces genera una pila teórica de aproximadamente 13,4 kilómetros, superando la altura del monte Everest (8.848,86 metros). Este fenómeno ilustra el crecimiento exponencial, un proceso matemático que desafía la intuición humana al multiplicar r
Durante décadas la física dio por imposible la existencia de agujeros negros extremales, aquellos en los que el horizonte de Cauchy y el de sucesos coinciden y cuya gravedad superficial se anula. La tercera ley de la termodinámica, que prohíbe alcanzar el cero absoluto, parecía cerrar la puerta a es
Una aplicación web gratuita permite dibujar una forma geométrica y escuchar al instante cómo sonaría como parche de un tambor real. Eigendrum, disponible en eigendrum.com, traduce el contorno elegido en frecuencias acústicas mediante un método de elementos finitos que resuelve numéricamente la ecuac
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
El matemático Terence Tao advirtió en una conferencia en Filadelfia que la comunidad está "muy, muy cerca" de que un resultado matemático importante sea demostrado y verificado sin que ningún humano pueda comprenderlo y explicarlo. La afirmación, recogida por el periodista Kai Williams en entrevista
OpenAI ha presentado Astra, una versión interna de su nuevo modelo de inteligencia artificial generativa, con la que asegura haber resuelto o avanzado en diez problemas matemáticos abiertos durante al menos una década, y en la mayoría de los casos durante mucho más tiempo. El coste total de los cálc
El economista rumano-australiano Stefan Mandel ganó 14 loterías a lo largo de varios años sin recurrir a trampas, sino a una estrategia matemática que aprovechaba los vacíos de diseño de los sorteos. Su fórmula consistía en identificar sorteos cuyo premio acumulado triplicara el coste de adquirir to
Mientras España conquistaba su segunda Copa del Mundo de fútbol, el matemático de Harvard Levent Alpöge logró algo inédito: que Fable 5, un modelo de inteligencia artificial de Anthropic, refutase en lugar de demostrar la conjetura de Jacobi, un problema abierto desde 1939. La formulación original s
Una investigación publicada en Mathematical Thinking and Learning, liderada por Amber Simpson, profesora asociada de la Universidad de Binghamton (Nueva York), desmonta la idea de que el aprendizaje matemático ocurre solo en el aula. El estudio, basado en doce kits de ingeniería domésticos llamados
El 16 de octubre de 1843, el matemático irlandés William Rowan Hamilton resolvió mientras cruzaba el Broom Bridge de Dublín un problema que lo había obsesionado durante quince años: cómo multiplicar números hipercomplejos en el espacio tridimensional. Grabó con su navaja en la piedra del puente la f
En menos de un mes, la inteligencia artificial ha logrado dos hitos en matemáticas que han sacudido a la comunidad científica. OpenAI refutó un problema abierto por Paul Erdős en 1946 sobre geometría discreta, y Google DeepMind anunció la solución de otros nueve enigmas, dos de ellos pendientes desd
Más de 600 profesores de la Universidad de California (UC), liderados por matemáticos de Berkeley, han firmado una carta abierta exigiendo la reinstalación de las pruebas estandarizadas SAT o ACT para los solicitantes de carreras STEM. La iniciativa surge tras seis años de ausencia de exámenes, dura
El "AI Engineering from Scratch" es un currículo educativo masivo diseñado para desmitificar la inteligencia artificial de manera fundamental. A diferencia de la mayoría de los recursos que enseñan a usar herramientas sin explicar el funcionamiento interno, este proyecto busca construir algoritmos d
El "sándwich cuadrático" es un concepto fundamental en el análisis de optimización numérica que ayuda a comprender el comportamiento de funciones durante el entrenamiento de modelos complejos. Su importancia radica en proporcionar límites matemáticos estrictos que determinan la facilidad con la que
El pensamiento booleano se refiere a la tendencia a categorizar toda afirmación como exclusivamente verdadera o falsa, basándose en la ley del medio excluido de la lógica booleana. Aunque muchas personas consideran evidente que toda oración es verdadera o falsa, esta perspectiva ignora la importanci
Polypad, la plataforma gratuita de herramientas virtuales para la enseñanza de matemáticas desarrollada por Mathigon, ha lanzado una nueva versión con funcionalidades mejoradas. La plataforma ofrece una biblioteca completa de manipulativos matemáticos que permiten a los estudiantes explorar concepto
Los lemas son declaraciones matemáticas auxiliares que, aunque frecuentemente consideradas secundarias frente a los grandes teoremas, constituyen el verdadero motor del progreso matemático. A diferencia de los teoremas que suelen ser resultados finales y específicos, los lemas poseen una aplicabilid
Este contenido aborda una reflexión profunda sobre cuál es el verdadero propósito y la función del matemático en la sociedad. La premisa central es que las matemáticas no consisten únicamente en demostrar teoremas, sino que su propósito fundamental es generar claridad y comprensión para la humanidad
El problema de la aguja de Buffon es un clásico de la probabilidad geométrica desarrollado en el siglo XVIII. Consiste en lanzar una aguja de longitud L sobre un suelo de madera con tablas de ancho t, y calcular cuántas líneas entre tablas cruza la aguja en promedio. El resultado clásico establece q
El matemático Timothy Gowers, de la Universidad de Cambridge, informa que ChatGPT 5.5 Pro ha demostrado capacidad para realizar investigación de nivel doctoral en matemáticas. El hallazgo representa una revisión significativa al alza de las estimaciones sobre las capacidades de los modelos de lengua
Zyphra ha lanzado un nuevo modelo de lenguaje, ZAYA1-8B, que está destacando en pruebas de matemáticas y programación con un tamaño significativamente menor que otros modelos de vanguardia. ZAYA1-8B iguala el rendimiento de DeepSeek-R1 en matemáticas y compite con Claude Sonnet 4.5 en razonamiento,
Las células vegetales enfrentan un desafío constante: optimizar la absorción de luz solar, que es a la vez esencial para la fotosíntesis y potencialmente dañina debido a su intensidad variable. Para resolver esto, las células vegetales no son pasivas; los cloroplastos, los orgánulos responsables de
Este artículo explora una pregunta fascinante: ¿cuántos niños aprendieron matemáticas a través de los libros de texto de A.P. Kiselev en la Rusia Imperial y la Unión Soviética? Kiselev, un autor de libros de texto de matemáticas, tuvo una influencia notable, con sus libros de texto siendo el estánda
Este recurso, alojado en 2dcurves.com, es una colección exhaustiva de 939 curvas matemáticas bidimensionales, creada por Jan Wassenaar. Su valor radica en ser una herramienta de referencia para matemáticos, diseñadores, artistas, ingenieros y cualquier persona interesada en la geometría y las formas
Un estudiante de 23 años, Liam Price, ha resuelto un problema matemático de 60 años de antigüedad que había eludido a expertos durante décadas, utilizando ChatGPT Pro de OpenAI. El problema, relacionado con conjuntos de números primos conocidos como “conjuntos primitivos” y propuesto por el matemáti
Matemáticos Dror Bar-Natan y Roland van der Veen han desarrollado una nueva herramienta para analizar nudos que combina potencia y facilidad de cálculo, un logro significativo en la teoría de nudos. Tradicionalmente, los invariantes de nudos (herramientas para distinguir nudos) se enfrentan a un dil
Un problema de apuestas renacentista, conocido como el “problema de puntos”, originó la teoría de la probabilidad moderna. En 1494, Luca Pacioli propuso una solución basada en la proporción de puntos, pero fue criticada por ser injusta en situaciones extremas. Posteriormente, Niccolò Tartaglia sugir
La Transformada Rápida de Fourier (FFT) es un algoritmo fundamental en el procesamiento de señales y el análisis de datos, crucial para tareas como el análisis del espectro de una señal o la simplificación de cálculos complejos. Este artículo explica cómo funciona el algoritmo FFT de Cooley-Tukey, q
Michael O. Rabin (1931-2026) fue un matemático e informático israelí, reconocido principalmente por sus contribuciones fundamentales a la teoría de la complejidad computacional, por las que recibió el Premio Turing en 1976 junto con Dana Scott. Su trabajo trascendió la informática teórica, impactand
Este artículo introduce las Funciones Harmónicas Esféricas (Spherical Harmonics - SH) para programadores gráficos, explicando su utilidad y funcionamiento sin entrar en demostraciones matemáticas rigurosas. Las SH son una herramienta poderosa para aproximar funciones definidas sobre una esfera, lo q
Este artículo de Quanta Magazine explora el legado perdurable del matemático indio Srinivasa Ramanujan, y cómo su trabajo, a menudo intuitivo y sin pruebas formales, continúa inspirando y desafiando a los matemáticos modernos. Ramanujan, un genio autodidacta que vivió una vida corta y humilde, produ
La inteligencia artificial está revolucionando la matemática, marcando un punto de inflexión en el verano de 2025. Este cambio se evidenció cuando modelos de IA resolvieron con éxito cinco de seis problemas del International Mathematical Olympiad, sorprendiendo a la comunidad matemática. Inicialment
El artículo de Andrzej Odrzywolek, publicado en arXiv, presenta un concepto fascinante: el 'minimalismo matemático'. En esencia, demuestra que es posible construir todas las funciones elementales (como exponenciales, trigonométricas, raíces cuadradas, etc.) a partir de un conjunto extremadamente red
Este artículo explora la idea de la escala en matemáticas, argumentando que la elección de la escala es crucial al ilustrar conceptos matemáticos y que esta elección afecta profundamente la percepción y comprensión de esos conceptos. La escala no se refiere simplemente al tamaño físico, sino a la re
Este artículo de Richard Ngo explora una lista ambiciosa: los mayores logros intelectuales de la humanidad. No se trata simplemente de inventos, sino de los avances conceptuales y metodológicos que han transformado nuestra comprensión del mundo y nuestra forma de interactuar con él. La lista, cronol
Un estudio publicado en la revista American Antiquity revela que los nativos americanos desarrollaron juegos de azar y conceptos de probabilidad hasta 12.000 años atrás, superando significativamente a las culturas del Viejo Mundo (Europa, África y Asia). La investigación, liderada por el abogado-arq
Este artículo explora la creación de un reloj conceptual, inspirado en el trabajo de Gonon, que busca trascender las convenciones culturales y lingüísticas asociadas a la medición del tiempo. El objetivo final es diseñar un dispositivo que, idealmente, podría ser comprendido por una civilización ext
El saxofonista John Coltrane, figura clave del jazz, es reconocido cada vez más por su profunda comprensión y aplicación de principios matemáticos en su música. Este artículo explora el concepto del “Círculo de Tono de Coltrane”, un diagrama que Coltrane le entregó al saxofonista Yusef Lateef en 196
Investigadores de Facebook IA han desarrollado un sistema llamado RepoProver, capaz de formalizar automáticamente libros de texto matemáticos utilizando inteligencia artificial. El sistema, cuyo código está disponible en GitHub, emplea una arquitectura multi-agente que colabora en un repositorio Git
Este artículo explora un aspecto fascinante y a menudo pasado por alto de las tablas de funciones: la precisión que se puede extraer de ellas mediante la interpolación. Aunque la simple búsqueda de valores en una tabla pueda parecer trivial, comprender cómo se pueden estimar valores entre puntos tab
Investigadores han resuelto un complejo problema matemático relacionado con la teoría de Ramsey en hipergrafos, un área de las matemáticas que estudia la estructura de conjuntos y su convergencia. La solución fue inicialmente obtenida por Kevin Barreto y Liam Price utilizando GPT-5.4 Pro, y posterio
Este artículo explora una representación geométrica de la famosa cadena de desigualdades HM-AM-GM-QM (Media Armónica, Media Aritmética, Media Geométrica, Media Cuadrática). El autor, inspirado por una imagen, buscó visualizar estas desigualdades algebraicas y analíticas a través de figuras geométric
La composición atonal, un estilo musical que deliberadamente evita las estructuras tonales tradicionales, puede ser un desafío para los compositores, requiriendo una disciplina considerable para crear obras que a menudo se perciben como disonantes. Una técnica clave utilizada para lograr esto es la
El artículo de Quanta Magazine explora el origen y la importancia del Teorema del Límite Central (TLC), un principio matemático fundamental que explica por qué la curva de campana (distribución normal) aparece tan frecuentemente en diversos conjuntos de datos. La curva de campana, esa forma suave y
Este artículo presenta el "Mathematics Distillation Challenge – Teorías Ecuacionales", una iniciativa innovadora para avanzar en la investigación matemática a través de la colaboración y la asistencia de la inteligencia artificial. Tradicionalmente, la investigación matemática se ha centrado en un p
Este artículo explora el valor de las preguntas aparentemente "estúpidas" y cómo pueden ser catalizadores para el descubrimiento y el aprendizaje. El autor, un profesor de matemáticas, comparte su experiencia de ser etiquetado como alguien que hace demasiadas preguntas sin sentido, tanto en su vida
Este artículo explora la visualización del teseracto (o hipercubo), una analogía de cuatro dimensiones de un cubo. A menudo visto en ciencia ficción, comprender cómo se generan estas representaciones visuales puede ser complejo. El artículo comienza explicando cómo construir un modelo matemático del
Este artículo del blog de Inigo Quilez argumenta que el uso excesivo de trigonometría (seno, coseno, tangente, arcoseno, arcocoseno, arcotangente) en algoritmos de gráficos 3D es innecesario y a menudo introduce complejidad y errores. La premisa central es que la información que la trigonometría int
Un par de personas en el Reino Unido recientemente ganó su segundo premio de lotería superior a £1 millón, primero en EuroMillions Millionaire Maker en 2018 y luego en el Lotto de la Lotería Nacional en noviembre. La probabilidad de este evento, según los operadores de la Lotería Nacional, es de más
La afinación de una guitarra, algo que damos por sentado, es en realidad una consecuencia directa de las matemáticas y la física de las vibraciones de las cuerdas. Cuando pulsamos una cuerda, no solo se produce una única frecuencia (el tono que escuchamos), sino una compleja mezcla de 'armónicos', q
Este artículo explora un concepto matemático avanzado, los espacios de recubrimiento (covering spaces), y cómo se utilizan de manera ingeniosa en la comunidad de speedrunning de Super Mario 64. En esencia, un espacio de recubrimiento es una forma de 'desdoblar' un espacio topológico. Imagina un donu
Un equipo de matemáticos, liderado por Maryna Viazovska (galardonada con la Medalla Fields en 2022), ha formalizado la solución al problema del empaquetamiento de esferas en dimensiones 8 y 24, un hito en la verificación matemática. El problema, que se remonta a la conjetura de Kepler en 1611, busca
Este artículo explora el concepto de "juego de aproximación", una forma de analizar qué tan bien podemos aproximar un número real utilizando fracciones racionales (a/b). La idea central es que, dado un número real 'r', buscamos una fracción racional que se acerque a 'r' lo más posible, pero que no s
Este artículo explora un problema de probabilidad aparentemente sencillo: si se colocan aleatoriamente cuatro puntos en una circunferencia, ¿cuál es la probabilidad de que todos estén contenidos en la misma semicircunferencia? La respuesta intuitiva, basada en la idea de que cada punto tiene una pro
La 'Manta Hiperbólica' es un diseño innovador para crear una superficie hiperbólica, una forma geométrica con curvatura negativa, en forma de manta. Inventada originalmente como un poncho por el matemático y escultor Helaman Ferguson, este diseño representa una mejora significativa sobre las constru
Este artículo explica la interpolación polinómica de Lagrange, una técnica para encontrar un polinomio que pasa exactamente por un conjunto dado de puntos. Imagina que tienes algunos puntos en un gráfico y quieres dibujar una curva que los conecte perfectamente. La interpolación polinómica es la her
Este artículo de Quanta Magazine narra la historia de Demian Goos, un matemático y periodista, y su descubrimiento de una carta perdida de Georg Cantor, uno de los padres de la teoría de conjuntos y un pionero en el estudio de la infinitud. La carta, fechada en 1873, sugiere que el influyente trabaj
Un desarrollador ha lanzado 'manim-web', una versión de la popular herramienta de animación matemática Manim que ahora puede ejecutarse directamente en navegadores web sin necesidad de Python. La iniciativa, liderada por Maloyan y disponible en GitHub, permite a los usuarios crear animaciones comple
Matemáticos han logrado un avance significativo en un problema de 2.000 años de antigüedad relacionado con las curvas matemáticas. El hallazgo, publicado recientemente como un preprint, establece un límite superior en la cantidad de puntos racionales (con coordenadas enteras o fraccionarias) que pue
Este artículo, escrito de forma humorística y con un toque de ciencia ficción, explora la idea de que el desayuno, aparentemente simple, puede ser un concepto sorprendentemente complejo cuando se analiza desde una perspectiva matemática. El autor, Ryan Moulton, comienza con una idea disparatada surg
La Fundación Wolfram ha lanzado el "Wolfram S Combinator Challenge", ofreciendo un premio de 20.000 dólares a la primera persona o grupo que proporcione una solución completa y verificada. El desafío invita a participantes de todo el mundo a presentar una prueba que satisfaga al comité de premios, c
La fórmula de Gauss para el día de la semana es un ingenioso cálculo desarrollado por el matemático Carl Friedrich Gauss en el siglo XVIII, que permite determinar el día de la semana en que cae el 1 de enero de cualquier año. Aunque pueda sonar como una curiosidad matemática, su importancia radica e
Un análisis reciente publicado en math.columbia.edu sugiere un posible cambio radical en la producción de artículos científicos, particularmente en el campo de la física teórica de altas energías (hep-th). El autor, quien permanece anónimo, ha observado un aumento significativo en el número de envío
El concepto de infinito puede parecer único e inmutable, pero la matemática nos revela una sorprendente realidad: existen *diferentes tamaños* de infinito. Este fenómeno, conocido como la teoría de cardinalidad, fue revolucionado por Georg Cantor a finales del siglo XIX y desafió las nociones tradic
El reconocido matemático Terence Tao ha anunciado la publicación de su nuevo libro, "Six Math Essentials", a través de Quanta Books. El libro, disponible para pre-compra desde ahora y con fecha de lanzamiento oficial el 27 de octubre, explora seis conceptos fundamentales de las matemáticas: números,
Este artículo de Lcamtuf profundiza en la construcción matemática de los números reales, continuando desde su trabajo previo sobre la derivación de la matemática a partir de la lógica formal. Inicialmente, se revisa cómo se construyen los números naturales (ℕ) a partir de un elemento inicial (cero)
Este artículo explora el rápido avance de la inteligencia artificial (IA) en el campo de las matemáticas, desafiando predicciones anteriores sobre el ritmo de progreso. Inicialmente, el autor, Daniel Litt, observó que los modelos de lenguaje grandes (LLMs) podían generar pruebas matemáticas correcta
Un matemático con experiencia en programación está explorando el uso del sistema de demostración de teoremas Lean para formalizar las matemáticas, con el objetivo de revolucionar la escritura matemática y el desarrollo de la inteligencia artificial. La formalización, que implica verificar mecánicame
## Simulador de Gas de Coulomb 2D: Una Ventana a Sistemas Complejos Este artículo presenta un simulador web interactivo que visualiza y aproxima el estado de mínima energía de un 'Gas de Coulomb' en dos dimensiones. Pero, ¿qué es exactamente un Gas de Coulomb y por qué es importante? En esencia, u
El proyecto 'Maths, CS & AI Compendium' de Henry Ndubuaku, alojado en GitHub, representa una alternativa innovadora a los libros de texto tradicionales de matemáticas, computación e inteligencia artificial. La motivación detrás de este compendio es clara: muchos libros académicos se sumergen en la n
Un problema matemático fundamental conocido como el problema de incrustación de Connes, formulado por Alain Connes en la década de 1970, ha sido resuelto y posteriormente corregido, con implicaciones significativas para la informática. El problema, central en la teoría de álgebras de von Neumann, es
La función Gamma es una función matemática especial que extiende el concepto de factorial a números complejos. Visualizar su comportamiento en el plano complejo puede ser complejo, pero la herramienta 'Vanilla Gamma Graph' (disponible en vanilla-gamma-graph.netlify.app) ofrece una forma dinámica e i
