OpenAI Announces AI-Driven Proofs in Math and Physics

OpenAI stated on Monday that its artificial intelligence models generated three new scientific results in mathematics, computer science, and physics. The company, valued at $852 billion, identified the specific areas as harmonic analysis, complexity theory, and quantum field theory. This announcement follows a pattern of AI systems claiming discoveries in specialized scientific fields.

The most detailed mathematical finding involves the local smoothing conjecture. OpenAI reported that its models proved this conjecture in every spatial dimension for the first time. Harmonic analysis studies how complex signals break down into elementary waves. Researchers had previously managed to prove the theory only in three dimensions. The new proof extends the verification to all dimensions.

Alex Iosevich, a mathematics professor at the University of Rochester who specializes in harmonic analysis, reacted to the news with surprise. He noted that the conjecture was formulated by his doctoral adviser, Chris Sogge. Iosevich described the development as a shock at first but said he now feels joy and optimism. He believes the scientific enterprise will make large strides due to the AI revolution.

Iosevich also expressed a twinge of sadness regarding the potential changes in theoretical mathematics. He expects the field to change drastically because of AI. Many of his colleagues in theoretical mathematics share these feelings. However, he firmly believes these emotions will give way to the realization that scientists can now accomplish more. He added that problems in pure mathematics often arise from physical considerations, and these connections can now be explored rapidly.

In computer science, OpenAI said its models disproved the Exponential Time Hypothesis. This hypothesis relates to the time required to solve complex computational problems. The company stated that the AI provided a rigorous disproof of this long-standing assumption in the field of complexity theory.

In physics, the company claimed its models provided mathematically rigorous proof of the existence of quantum chromodynamics. This field studies the interaction of quarks and gluons. OpenAI noted that it reached out to external scientists to help turn raw research data into scientific understanding.

The company consulted with three expert groups acting as shepherds to determine how to release the findings. The groups collaborating on the mathematics and computer science problems chose to make the AI-produced data public immediately. The physics group decided to defer the release to write up their own interpretation of the findings first.

OpenAI acknowledged that these approaches involve tradeoffs. The collaborations empower experts to unpack the results and contextualize them in the academic community. However, choosing initial shepherds shapes who gets involved first and creates information asymmetry. The company said it welcomes feedback on how to broaden participation and make the process more useful.

This announcement follows other recent claims of AI-driven scientific breakthroughs. Last month, Anthropic, the creator of Claude, announced the discovery of a new enzyme resembling CRISPR. The gene editing mechanism is used in treating conditions like cancer and sickle cell disease. Anthropic's announcement drew mixed reactions, with some researchers hailing the finding while others suggested the company exaggerated its significance.