OpenAI and AI: Breakthrough in an 80-Year-Old Geometric Problem
Le brief IA que les pros lisent chaque soir
Les 7 actus IA du jour, décryptées en 5 min. Gratuit.
Inclus dès l'inscription : notre sélection des meilleurs guides & comparatifs IA.
Choisis ton rythme
Gratuit · Pas de spam · Désabonnement en 1 clic
A Major Breakthrough for OpenAI
On May 20, 2026, OpenAI revealed that one of its artificial intelligence models had successfully solved a mathematical problem related to the Erdős conjecture, posed in 1946. This problem concerns determining the maximum number of pairs of points that can be placed at unit distance in a plane.
OpenAI demonstrated that it is possible, for an infinite number of values of n, to place at least n^(1+δ) pairs of points at distance 1, with δ greater than zero. This discovery was praised by mathematician Tim Gowers, who stated that he would recommend this advancement for publication in the Annals of Mathematics without hesitation.
The Unit Distance Challenge
The unit distance problem involves maximizing the number of segments of length 1 connecting points in a Euclidean plane. For decades, researchers have explored various methods to tackle this complex problem.
Traditional and New Approaches
Historically, classical methods from discrete geometry and combinatorics have been employed, often using regular constructions. Computer-assisted calculations have also been utilized, although they are limited in their ability to generate new ideas.
With the emergence of AI models like GPT-4, new perspectives have opened up for solving various mathematical problems. OpenAI used a generalist model, not specifically designed for mathematics, to discover a new family of point configurations.
OpenAI's Method
OpenAI's model established a link between discrete geometry and algebraic number theory, allowing it to surpass the limits set by the Erdős conjecture. It proposed a precise method for placing the points, translatable into classical mathematical language, which mathematicians then refined and validated.
Reactions and Debates
OpenAI claimed that this solution was found autonomously by the AI, marking a first in solving a major open problem in mathematics. However, this assertion sparked debates, as the intervention of human mathematicians was crucial in validating the result.
Tim Gowers emphasized that this proof represents the most significant contribution of an AI to date, reinforcing the idea that AI models can play an important role in mathematical research.
Brief IA — L'actualité IA en français
L'essentiel de l'actualité de l'intelligence artificielle, décrypté et expliqué chaque jour.