OpenAI has disclosed three scientific advancements attributed to its artificial intelligence (AI) models, covering the fields of mathematics, computer science, and physics. These findings include potential proofs for ancient mathematical conjectures, the refutation of a crucial hypothesis about computational limits, and theoretical progress in particle physics.
At this time, the company has also introduced a new methodology to integrate independent researchers into the evaluation of these results. This change in approach was motivated by criticism regarding how OpenAI had made hundreds of AI-generated mathematical works public in early October.
The three cases present distinct presentation methods. In mathematics, the model-generated material was published directly. In computer science, the proof was made available along with the organization of an external group for its analysis. In physics, the assigned experts opted to elaborate on the work before releasing the materials created by the AI.
OpenAI emphasizes that these results still need to be converted into verifiable and understandable scientific knowledge. Consequently, the discoveries announced by the company should not be considered definitive conclusions accepted by the academic community.
The second discovery relates to the Exponential Time Hypothesis (ETH), a concept widely used in theoretical computer science. This conjecture posits that certain problems of Boolean formula satisfiability cannot be solved by exact algorithms in subexponential time.
OpenAI claimed that its system identified a deterministic algorithm capable of precisely counting assignments that satisfy fixed-width CNF formulas in subexponential time and polynomial space. Specifically, in the context of the 3-SAT problem, this result contradicts the ETH.
If this conclusion is validated, it will force researchers to reevaluate theoretical results that depend on this hypothesis, which is applied in hundreds of areas, such as computational geometry, computational biology, and graph theory.
To investigate this claim, a collective of experts was assembled, led by Russell Impagliazzo and Ramamohan Paturi, both from the University of California, San Diego (USA), and Ryan Williams, from the Massachusetts Institute of Technology (MIT). Impagliazzo and Paturi had already participated in the original conception of the hypothesis in 1999.
The formalization of the proof in natural language and in Lean was made publicly available on GitHub. The group also requested contributions from the scientific community to evaluate the finding and debate how AI-generated results should be examined. However, the participation of these experts does not constitute prior confirmation of the discovery, as the group itself emphasizes that a claim of this magnitude requires independent and meticulous analysis.
The third claim is related to theoretical physics. OpenAI states that it has developed a mathematically robust demonstration regarding the existence of certain interacting quantum field theories in four dimensions, including gauge fields and fermions.
This work would encompass Quantum Chromodynamics (QCD), a theory describing the interaction between quarks and gluons through the strong force, as well as a unified extension of the Standard Model of particle physics. Furthermore, the company claims that the result proves the existence of pure Yang-Mills theory, a topic linked to one of the Millennium Prize Problems from the Clay Mathematics Institute.
Unlike the other two cases, the materials produced by the AI have not yet been released. David Gross, a 2004 Nobel laureate in Physics, will lead a group that includes Michael Douglas, Arthur Jaffe, Igor Klebanov, and Nikita Nekrasov. The experts decided to prepare the explanation of the work before making the original data public.
The existence of a rigorous demonstration for such theories would represent a significant leap for mathematical physics. However, at this moment, the assertion remains in the analysis phase, with no independent validation presented in the announcement.
The change in disclosure strategy occurs amid a discussion about the role of AI in scientific research. A central point is how to enable the community to analyze the results without initial access being restricted to a group selected by the company itself.
On October 25, the Advisory Group on Mathematics and Artificial Intelligence (AGMAI) issued a recommendation against the practice of AI companies selecting mathematicians to receive results in advance. Among the issues raised were unequal access, the influence of experts' fame on the credibility of claims, and the risk of biases in selections.
The group advocates that results be made available responsibly, providing information that allows for autonomous verification and promotes the development of shared scientific understanding.
OpenAI acknowledges that its new tactic also presents risks. The selection of experts to coordinate the analysis may affect who participates first in the discussion and generate information asymmetries. The company assures that external collaborators can share the work and publish their conclusions without being subject to confidentiality agreements.
Additionally, the company declares that it is not seeking academic recognition for the findings generated by its models. According to the proposal, credit should be given to the researchers who elaborate the explanations, verify the proofs, and produce materials that help understand the results.
OpenAI invites the scientific community to debate criteria for early access, transparency of conflicts of interest, attribution of merit, and support for students and researchers facing transformations caused by AI.