Un modelo de OpenAI desafía la histórica conjetura de distancia unitaria de Erdős
Un documento de OpenAI afirma que un modelo interno construyó conjuntos de puntos en el plano con al menos n^(1+δ) pares a distancia 1 para infinitos n, contradiciendo la conjetura de Erdős [7]. El problema de distancia unitaria pregunta cuál es el número máximo de pares de puntos separados exactamente por distancia...
Publicado porEditado con GPT-5.5Imágenes generadas con GPT Image 2
Un documento de OpenAI afirma que un modelo interno construyó conjuntos de puntos en el plano con al menos n^(1+δ) pares a distancia 1 para infinitos n, contradiciendo la conjetura de Erdős [7].
El problema de distancia unitaria pregunta cuál es el número máximo de pares de puntos separados exactamente por distancia 1 entre n puntos del plano [7].
Durante décadas se creyó que el crecimiento máximo era casi lineal, basado en construcciones tipo rejilla propuestas por Erdős [8].
El nuevo enfoque utiliza herramientas de teoría algebraica de números, incluidos campos CM y torres de campos de clase de tipo Golod–Shafarevich [7].
How did an OpenAI internal reasoning model reportedly disprove Paul Erdős’s 1946 unit distance conjecture in discrete geometry, what does thThe unit distance problem asks how many pairs of points in the plane can be exactly one unit apart among n points.
Prompt de IA
Create a landscape editorial hero image for this Studio Global article: How did an OpenAI internal reasoning model reportedly disprove Paul Erdős’s 1946 unit distance conjecture in discrete geometry, what does th. Article summary: An OpenAI document reports that an internal reasoning model found a construction of planar point sets with more unit-distance pairs than Erdős’s 1946 conjecture allows, namely ν(n) ≥ n^(1+δ) for infinitely many n and som. Topic tags: general, academic, general web, user generated. Reference image context from search candidates: Reference image 1: visual subject "# Erdős Unit Distance Problem. The Erdős unit distance problem asks to determine the maximum number u(n) of occurrences of the same distance among n points in the plane. dense unit" source context "Erdős Unit Distance Problem -- from Wolfram MathWorld" Reference image 2: visual subject "A textual summar
openai.com
Durante casi ocho décadas, un problema planteado por el matemático húngaro Paul Erdős en 1946 ha intrigado a la comunidad matemática. Conocido como el problema de la distancia unitaria, pregunta algo aparentemente simple: si colocamos n puntos en el plano, ¿cuántos pares de esos puntos pueden estar exactamente a distancia 1?
Un documento reciente de OpenAI afirma que un modelo interno de razonamiento encontró una construcción matemática que contradice una de las conjeturas más influyentes asociadas a este problema . Si el resultado se mantiene tras el escrutinio de la comunidad, implicaría que el límite real de estas configuraciones es significativamente mayor de lo que se creía.
Qué plantea el problema de la distancia unitaria
Para cualquier conjunto finito de puntos (P) en el plano, se define (ν(P)) como el número de pares de puntos separados exactamente por distancia 1. A partir de esto, (ν(n)) representa el máximo posible de tales pares entre todos los conjuntos de n puntos en el plano .
Studio Global AI
Continúe su investigación
Esta página incluye una respuesta respaldada por fuentes que puede continuar dentro de Studio Global.
¿Cuál es la respuesta corta a "Un modelo de OpenAI desafía la histórica conjetura de distancia unitaria de Erdős"?
Un documento de OpenAI afirma que un modelo interno construyó conjuntos de puntos en el plano con al menos n^(1+δ) pares a distancia 1 para infinitos n, contradiciendo la conjetura de Erdős [7].
¿Cuáles son los puntos clave a validar primero?
Un documento de OpenAI afirma que un modelo interno construyó conjuntos de puntos en el plano con al menos n^(1+δ) pares a distancia 1 para infinitos n, contradiciendo la conjetura de Erdős [7]. El problema de distancia unitaria pregunta cuál es el número máximo de pares de puntos separados exactamente por distancia 1 entre n puntos del plano [7].
¿Qué debo hacer a continuación en la práctica?
Durante décadas se creyó que el crecimiento máximo era casi lineal, basado en construcciones tipo rejilla propuestas por Erdős [8].
Un modelo de OpenAI desafía la histórica conjetura de distancia unitaria de Erdős
Un documento de OpenAI afirma que un modelo interno construyó conjuntos de puntos en el plano con al menos n^(1+δ) pares a distancia 1 para infinitos n, contradiciendo la conjetura de Erdős [7]. El problema de distancia unitaria pregunta cuál es el número máximo de pares de puntos separados exactamente por distancia...
Publicado porEditado con GPT-5.5Imágenes generadas con GPT Image 2
Un documento de OpenAI afirma que un modelo interno construyó conjuntos de puntos en el plano con al menos n^(1+δ) pares a distancia 1 para infinitos n, contradiciendo la conjetura de Erdős [7].
El problema de distancia unitaria pregunta cuál es el número máximo de pares de puntos separados exactamente por distancia 1 entre n puntos del plano [7].
Durante décadas se creyó que el crecimiento máximo era casi lineal, basado en construcciones tipo rejilla propuestas por Erdős [8].
El nuevo enfoque utiliza herramientas de teoría algebraica de números, incluidos campos CM y torres de campos de clase de tipo Golod–Shafarevich [7].
How did an OpenAI internal reasoning model reportedly disprove Paul Erdős’s 1946 unit distance conjecture in discrete geometry, what does thThe unit distance problem asks how many pairs of points in the plane can be exactly one unit apart among n points.
Prompt de IA
Create a landscape editorial hero image for this Studio Global article: How did an OpenAI internal reasoning model reportedly disprove Paul Erdős’s 1946 unit distance conjecture in discrete geometry, what does th. Article summary: An OpenAI document reports that an internal reasoning model found a construction of planar point sets with more unit-distance pairs than Erdős’s 1946 conjecture allows, namely ν(n) ≥ n^(1+δ) for infinitely many n and som. Topic tags: general, academic, general web, user generated. Reference image context from search candidates: Reference image 1: visual subject "# Erdős Unit Distance Problem. The Erdős unit distance problem asks to determine the maximum number u(n) of occurrences of the same distance among n points in the plane. dense unit" source context "Erdős Unit Distance Problem -- from Wolfram MathWorld" Reference image 2: visual subject "A textual summar
openai.com
Durante casi ocho décadas, un problema planteado por el matemático húngaro Paul Erdős en 1946 ha intrigado a la comunidad matemática. Conocido como el problema de la distancia unitaria, pregunta algo aparentemente simple: si colocamos n puntos en el plano, ¿cuántos pares de esos puntos pueden estar exactamente a distancia 1?
Un documento reciente de OpenAI afirma que un modelo interno de razonamiento encontró una construcción matemática que contradice una de las conjeturas más influyentes asociadas a este problema . Si el resultado se mantiene tras el escrutinio de la comunidad, implicaría que el límite real de estas configuraciones es significativamente mayor de lo que se creía.
Qué plantea el problema de la distancia unitaria
Para cualquier conjunto finito de puntos (P) en el plano, se define (ν(P)) como el número de pares de puntos separados exactamente por distancia 1. A partir de esto, (ν(n)) representa el máximo posible de tales pares entre todos los conjuntos de n puntos en el plano .
Studio Global AI
Continúe su investigación
Esta página incluye una respuesta respaldada por fuentes que puede continuar dentro de Studio Global.
¿Cuál es la respuesta corta a "Un modelo de OpenAI desafía la histórica conjetura de distancia unitaria de Erdős"?
Un documento de OpenAI afirma que un modelo interno construyó conjuntos de puntos en el plano con al menos n^(1+δ) pares a distancia 1 para infinitos n, contradiciendo la conjetura de Erdős [7].
¿Cuáles son los puntos clave a validar primero?
Un documento de OpenAI afirma que un modelo interno construyó conjuntos de puntos en el plano con al menos n^(1+δ) pares a distancia 1 para infinitos n, contradiciendo la conjetura de Erdős [7]. El problema de distancia unitaria pregunta cuál es el número máximo de pares de puntos separados exactamente por distancia 1 entre n puntos del plano [7].
¿Qué debo hacer a continuación en la práctica?
Durante décadas se creyó que el crecimiento máximo era casi lineal, basado en construcciones tipo rejilla propuestas por Erdős [8].
La cuestión central es: ¿cómo crece ν(n) a medida que aumenta n?
Erdős propuso una construcción basada en una rejilla aproximadamente (\sqrt{n} \times \sqrt{n}). Esa configuración produce alrededor de
n^(1+Ω(1/log log n))
distancias unitarias. Durante décadas se sospechó que este crecimiento —ligeramente mayor que lineal— estaba cerca del máximo posible .
Por otro lado, un resultado clásico de Spencer, Szemerédi y Trotter establece que
ν(n) = O(n^(4/3))
lo que fija un límite superior mucho mayor. Entre ese límite y la conjetura de Erdős quedaba una gran brecha sin resolver .
El resultado que presenta OpenAI
Según el documento técnico publicado por OpenAI, el modelo logró construir configuraciones de puntos tales que
ν(n) ≥ n^(1+δ)
para infinitos valores de n y algún número fijo positivo δ .
Esto es significativo porque la conjetura de Erdős sostenía que el crecimiento máximo debía ser esencialmente casi lineal (del tipo n^(1+o(1))). Un exponente fijo δ mayor que cero implica un crecimiento polinómico más rápido, lo que contradice directamente esa predicción .
En otras palabras: existirían infinitas configuraciones de puntos en el plano donde el número de pares a distancia 1 crece de forma claramente superlineal, no solo ligeramente por encima de n.
La idea matemática detrás de la construcción
Las construcciones clásicas del problema dependían principalmente de geometría combinatoria y estructuras tipo rejilla. El enfoque del modelo, en cambio, recurre a teoría algebraica de números.
El esquema general utiliza:
Campos CM (complex multiplication fields), objetos centrales de la teoría algebraica de números.
Torres infinitas de campos de clase con propiedades del tipo Golod–Shafarevich.
Estructuras algebraicas que generan grandes familias de relaciones entre elementos con norma 1.
A partir de estas torres de extensiones numéricas, el método produce retículos de alta dimensión con muchas relaciones de norma que luego pueden interpretarse geométricamente como pares de puntos a distancia unitaria en el plano .
La intuición es que, en lugar de depender de la repetición geométrica de una rejilla, el método crea una enorme reserva de relaciones algebraicas que se traducen en muchas aristas de longitud 1 en el grafo de distancias.
Verificación y revisión por matemáticos
El anuncio vino acompañado de documentos donde matemáticos analizan y condensan el argumento. Entre los autores asociados a estas revisiones aparecen investigadores conocidos como Noga Alon, Timothy Gowers, Will Sawin, Melanie Wood y otros .
Estos trabajos presentan versiones resumidas y verificadas del razonamiento generado por el modelo, además de comentarios sobre las ideas matemáticas involucradas. Sin embargo, como ocurre con cualquier resultado importante, la aceptación definitiva dependerá de la revisión y validación continua por parte de la comunidad matemática.
Por qué este resultado ha llamado tanta atención
Si el argumento se confirma plenamente, el caso sería notable por dos razones:
Resolvería (o refutaría) una conjetura central en geometría discreta planteada hace casi 80 años.
Representaría uno de los ejemplos más destacados de un sistema de IA produciendo una prueba matemática original para un problema abierto significativo.
Aun así, algunos investigadores recomiendan cautela hasta que el resultado se examine exhaustivamente. En matemáticas, incluso pruebas aparentemente correctas pueden requerir años de revisión antes de considerarse completamente establecidas.
Lo que sí parece claro es que el enfoque —mezclar geometría combinatoria con técnicas profundas de teoría algebraica de números— abre una nueva dirección inesperada para un problema clásico.
[PDF] Short proofs in combinatorics and number theory - arXiv
La cuestión central es: ¿cómo crece ν(n) a medida que aumenta n?
Erdős propuso una construcción basada en una rejilla aproximadamente (\sqrt{n} \times \sqrt{n}). Esa configuración produce alrededor de
n^(1+Ω(1/log log n))
distancias unitarias. Durante décadas se sospechó que este crecimiento —ligeramente mayor que lineal— estaba cerca del máximo posible .
Por otro lado, un resultado clásico de Spencer, Szemerédi y Trotter establece que
ν(n) = O(n^(4/3))
lo que fija un límite superior mucho mayor. Entre ese límite y la conjetura de Erdős quedaba una gran brecha sin resolver .
El resultado que presenta OpenAI
Según el documento técnico publicado por OpenAI, el modelo logró construir configuraciones de puntos tales que
ν(n) ≥ n^(1+δ)
para infinitos valores de n y algún número fijo positivo δ .
Esto es significativo porque la conjetura de Erdős sostenía que el crecimiento máximo debía ser esencialmente casi lineal (del tipo n^(1+o(1))). Un exponente fijo δ mayor que cero implica un crecimiento polinómico más rápido, lo que contradice directamente esa predicción .
En otras palabras: existirían infinitas configuraciones de puntos en el plano donde el número de pares a distancia 1 crece de forma claramente superlineal, no solo ligeramente por encima de n.
La idea matemática detrás de la construcción
Las construcciones clásicas del problema dependían principalmente de geometría combinatoria y estructuras tipo rejilla. El enfoque del modelo, en cambio, recurre a teoría algebraica de números.
El esquema general utiliza:
Campos CM (complex multiplication fields), objetos centrales de la teoría algebraica de números.
Torres infinitas de campos de clase con propiedades del tipo Golod–Shafarevich.
Estructuras algebraicas que generan grandes familias de relaciones entre elementos con norma 1.
A partir de estas torres de extensiones numéricas, el método produce retículos de alta dimensión con muchas relaciones de norma que luego pueden interpretarse geométricamente como pares de puntos a distancia unitaria en el plano .
La intuición es que, en lugar de depender de la repetición geométrica de una rejilla, el método crea una enorme reserva de relaciones algebraicas que se traducen en muchas aristas de longitud 1 en el grafo de distancias.
Verificación y revisión por matemáticos
El anuncio vino acompañado de documentos donde matemáticos analizan y condensan el argumento. Entre los autores asociados a estas revisiones aparecen investigadores conocidos como Noga Alon, Timothy Gowers, Will Sawin, Melanie Wood y otros .
Estos trabajos presentan versiones resumidas y verificadas del razonamiento generado por el modelo, además de comentarios sobre las ideas matemáticas involucradas. Sin embargo, como ocurre con cualquier resultado importante, la aceptación definitiva dependerá de la revisión y validación continua por parte de la comunidad matemática.
Por qué este resultado ha llamado tanta atención
Si el argumento se confirma plenamente, el caso sería notable por dos razones:
Resolvería (o refutaría) una conjetura central en geometría discreta planteada hace casi 80 años.
Representaría uno de los ejemplos más destacados de un sistema de IA produciendo una prueba matemática original para un problema abierto significativo.
Aun así, algunos investigadores recomiendan cautela hasta que el resultado se examine exhaustivamente. En matemáticas, incluso pruebas aparentemente correctas pueden requerir años de revisión antes de considerarse completamente establecidas.
Lo que sí parece claro es que el enfoque —mezclar geometría combinatoria con técnicas profundas de teoría algebraica de números— abre una nueva dirección inesperada para un problema clásico.
[PDF] Short proofs in combinatorics and number theory - arXiv
