The One-Unit Breach
OpenAI says an internal reasoning model has disproved a long-running conjecture in discrete geometry, the planar unit distance problem first posed by Paul Erdos in 1946. The question asks how many pairs of points in a plane can sit exactly one unit apart. For decades, square-grid constructions were treated as close to optimal. OpenAI's model found an infinite family of arrangements that beats that expectation.
The announcement lands after a damaging 2025 episode, when OpenAI overstated Erdos-related results that were already known. This time, the company published the proof and companion remarks from outside mathematicians, including Noga Alon, Tim Gowers, Arul Shankar, Jacob Tsimerman, and Thomas Bloom. Their responses give the claim real weight while formal peer review continues, shifting the story from company boast to scrutinized mathematical claim by experts.
The signal is in the technical route. The model linked a planar geometry question to algebraic number theory, using tools far from the original picture of dots and distances. If the proof survives review, it will be a concrete example of AI doing original work inside mathematical research.
La brecha de una unidad
OpenAI afirma que un modelo interno de razonamiento refutó una conjetura histórica de geometría discreta, el problema de distancia unitaria en el plano, planteado por Paul Erdos en 1946. La pregunta es cuántos pares de puntos pueden quedar exactamente a una unidad de distancia sobre una superficie plana. Durante décadas, las construcciones en cuadrícula se trataron como una respuesta casi óptima. El modelo encontró una familia infinita de configuraciones que supera esa expectativa.
El anuncio llega después de un episodio incómodo en 2025, cuando OpenAI exageró resultados ligados a problemas de Erdos que ya existían en la literatura. Esta vez, la compañía publicó la demostración y comentarios de matemáticos externos, entre ellos Noga Alon, Tim Gowers, Arul Shankar, Jacob Tsimerman y Thomas Bloom. Ese respaldo da peso real a la afirmación mientras avanza la revisión formal.
La señal está en el camino técnico. El modelo conectó una pregunta geométrica con teoría algebraica de números, usando herramientas alejadas de la imagen inicial de puntos y distancias. Si la prueba resiste la revisión, será una muestra concreta de IA haciendo trabajo original dentro de la investigación matemática.
