AI solves 80-year-old math problem: the OpenAI breakthrough

What has changed: an AI model disproves 80 years of open mathematics

On May 20, 2026, OpenAI made a historic announcement. Its own model has disproven the unit distance conjecture , one of the longest-standing unsolved problems in discrete geometry. The conjecture dated back to 1946 and had resisted decades of attempts by the world's most brilliant mathematicians.

In summary, the problem was about the maximum number of pairs of points at unit distance in a set of n points in the plane. Therefore, this is a seemingly simple question, but one of extraordinary combinatorial complexity. The OpenAI model produced a formal proof that refutes the dominant conjecture, opening a new direction in mathematical research.

So, this is not a case of AI optimizing a known process. On the contrary, it is a system that has generated genuinely new mathematical knowledge. The distinction is crucial to understanding the real impact of this achievement.

The qualitative leap: from calculation to formal reasoning

Until recently, language models were seen as powerful pattern recognition tools. However, formal mathematical reasoning required different capabilities: abstraction, rigorous proof, handling complex logical structures. This result shows that the boundary has shifted.

According to MIT Technology Review , the integration between AI and pure mathematics was already considered one of the most promising frontiers of research. Furthermore, initiatives like DeepMind's AlphaProof had already shown progress in symbolic reasoning. However, the refutation of a conjecture that had been open for eighty years represents a different leap in scale.

Consequently, the scientific community finds itself reconsidering the role of AI in knowledge production. No longer just a support tool, but a potential co-author of discoveries. Therefore, the implications extend far beyond pure mathematics.

The immediate impact on applied research and business innovation

For companies, the most relevant signal is not the mathematical result itself. It is the demonstration that AI models can operate in domains of high cognitive complexity with verifiable results. This opens up concrete scenarios for sectors such as pharmaceuticals, materials engineering, advanced logistics, and cybersecurity.

According to a report by McKinsey Global Institute , organizations that integrate AI into R&D processes see significantly reduced innovation times. Furthermore, the ability to explore unconventional solution spaces is one of the most difficult competitive advantages to replicate. Therefore, investing in AI skills is no longer a tactical choice, but a strategic priority.

For Italian SMEs, the message is just as clear. Even without internal research teams, it is possible to access new-generation AI tools to speed up decision-making processes, data analysis, and product development. We at SHM Studio we work on these topics every day, supporting companies in the mindful adoption of the most advanced AI technologies.

What nobody is saying: the problem of verifiability

There's one aspect that public debate tends to underestimate. When an AI model produces a mathematical proof, it needs to be verified by human mathematicians. In the case of the unit distance conjecture, the peer review process is still ongoing in the academic community.

However, this does not diminish the value of the result. On the contrary, it highlights an important characteristic of advanced AI systems: they produce outputs that require human expertise to be properly evaluated. Thus, the human-machine collaboration model remains central, even at the highest levels of cognitive complexity.

Similarly, in business applications, the output of an AI system must be interpreted and validated by professionals with specific domain knowledge. For this reason, internal training and specialized consulting remain essential components of any AI adoption strategy. This applies to pure mathematics as much as to Digital marketing or the SEO .

Outlook 2027-2028: towards AI as a structural scientific partner

The next two years will be decisive. Several research labs, including DeepMind, Meta AI, and OpenAI itself, are developing models specifically geared towards mathematical and scientific reasoning. Furthermore, integration with automatic formal verification tools — like Lean and Coq — is accelerating.

According to forecasts from Gartner , by 2028 a significant share of scientific publications in mathematics and theoretical physics will include contributions generated or co-generated by AI systems. Therefore, organizations that start building expertise in this area today will have a structural advantage.

For SMEs, the most concrete trajectory involves adopting AI tools for predictive analysis, process optimization, and offer personalization. In fact, the same reasoning capabilities that allowed solving a mathematical problem open for eighty years can be applied — in a different form — to complex business problems. Among other things, the AI consulting by SHM Studio is designed precisely to accompany this type of transition.

What to do now: navigating the era of scientific AI

First of all, it is helpful to distinguish between hype and real signal. OpenAI's result is a real signal: it shows new, verifiable capabilities with a measurable impact. It is not marketing, it is math. Therefore, it deserves strategic attention, not just curiosity.

Subsequently, it's worth considering how these advancements translate into accessible tools for businesses. Many of the advanced reasoning capabilities developed for scientific research are progressively being integrated into commercial models. Consequently, the AI tools available today — and those on the horizon — will be significantly more capable than those of previous years.

Finally, for Italian SMEs looking to build a concrete AI strategy, the starting point is an honest assessment of their own needs and processes. SHM Studio is available for a discussion on how to effectively integrate artificial intelligence, from content production at google ads campaigns , right up to the web design conversion-oriented. Besides this, our team constantly monitors the evolution of AI models to ensure clients have access to the most up-to-date solutions. To find out more, you can check out our Blog or explore the full range of digital services .