AI challenges math principle

An artificial intelligence model created by OpenAI has raised questions about a long-standing mathematical principle in computer science known as the exponential time hypothesis (ETH). This hypothesis suggests that the difficulty of solving certain logical problems increases exponentially as the number of possible solutions grows.

ETH's role in computer science

The exponential time hypothesis has been a cornerstone in algorithmic complexity theory for over thirty years. It has shaped the understanding of how difficult it is to solve complex problems and has influenced numerous research papers and computational methods.

OpenAI's verification method

OpenAI claims its AI model has solved problems faster than previously thought possible, according to the ETH. This claim was verified using Lean, a software tool designed to check the correctness of mathematical proofs, adding a layer of credibility to the findings.

Mixed academic reactions

The announcement has sparked varied responses among experts. Magnus Wahlström, a professor at the University of London, raised concerns about how proprietary AI models might affect ongoing research, even as he recognized the significance of the discovery.

Uncertainty about the findings

Clément Canonne, an algorithm expert at the University of Sydney, pointed out that while the results challenge the ETH, the underlying reasons for the AI's performance remain unclear, leaving many questions unanswered in the field.

Independent review process

OpenAI has invited leading researchers, including Russell Impagliazzo and Ramamohan Paturi, who originally helped develop the ETH, to examine its findings. Their involvement adds weight to the review process and highlights the importance of the potential breakthrough.

New research opportunities

Fedor Fomin, a professor at the University of Bergen, described the result as disruptive to current understandings but also as an opportunity to explore new areas of research, suggesting that the discovery could lead to unexpected advancements in computational theory.