16 noticias
El repositorio openai/PrimeGaps186, alojado en GitHub, contiene una formalización en Lean 4 que establece, de manera condicional, que el límite inferior del mayor hueco entre primos consecutivos es como máximo 186, junto con un certificado numérico en Python que respalda los cálculos intermedios. Lo
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
La curva elíptica número 273 del ranking registra un rango con al menos 30 puntos racionales independientes, según el testigo numérico publicado. La curva viene definida por la ecuación y² + xy = x³ − 201769035260418549083594900060734240952308696994802735114305555x + 11511079391410585657334794260243
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
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
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
## Tesis doctoral del MIT sobre estimación física aplicada a la visión y a los números primos **Sanjoy Mahajan, físico formado en el California Institute of Technology (Caltech), presentó en 1998 su tesis doctoral "Order of Magnitude Physics: A Textbook with Applications to the Retinal Rod and to t
Uno de los objetivos centrales de la teoría de números es encontrar soluciones enteras de ecuaciones polinómicas, tarea que recibe el nombre de estudio de las ecuaciones diofánticas. El artículo responde por qué esta búsqueda, en apariencia extravagante, resulta tan importante, y plantea que la mate
«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
El profesor Brent Yorgey publica una demostración completa, desarrollada desde cero, del Teorema Fundamental de la Aritmética en el asistente de pruebas Agda. El recurso está pensado como material didáctico de nivel intermedio para personas que ya conocen los fundamentos de Agda y la correspondencia
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
Las fracciones egipcias representan cualquier número racional como suma de fracciones unitarias (de la forma 1/n). El método más conocido es el algoritmo voraz, que consiste en tomar la mayor fracción unitaria menor que la cantidad dada y repetir el proceso con el resto. Aunque siempre termina, no s
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
Pozzo es una herramienta de código abierto para comprobar si números enteros grandes son números de la suerte (lucky numbers), una secuencia similar a los números primos pero generada mediante un proceso de cribado. Su eficiencia supera en varios órdenes de magnitud a las implementaciones previas, l
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