OpenAI invited external experts, including Nobel laureates, to review proofs produced by its AI in mathematics, computer science and physics

OpenAI says its AI produced three major proofs in mathematics, computer science and physics, and asked external experts to serve as gatekeepers to review them. In computer science, OpenAI says the system proved that the Exponential Time Hypothesis (ETH) is false, which, if it holds, would shake the foundations of hundreds of papers; Ryan Williams of MIT and Impagliazzo and Paturi, the original proposers of ETH, will independently review it, and the three stressed in an open letter that participation does not mean endorsement; OpenAI has published the written proof and the Lean proof. In mathematics, OpenAI says the model proved that the local smoothing conjecture holds in all dimensions, and with it resolved the Kakeya conjecture and the Stein restriction conjecture; the relevant proofs have been published directly. In physics, OpenAI says the AI proved that certain quantum field theories, including Yang-Mills theory, exist mathematically in four dimensions, but the corresponding Millennium Prize problem is only resolved as to the existence part; a team led by David Gross, winner of the 2004 Nobel Prize in Physics, is not disclosing materials for now and plans to write up the results itself.