OpenAI says its AI broke a rule that has underpinned hundreds of computer science papers. OpenAI announced on Monday that its internal models made three discoveries, one each in mathematics, computer science, and physics. The biggest buzz is about the exponential time hypothesis, a widely held assumption about the speed at which computers can solve certain hard problems. OpenAI's system says this is false, and a computational proof checker confirmed the proof. Two of the people who proposed this hypothesis, Russell Impagliazzo and Ramanujan Paturi, will now lead the independent investigation together with MIT's Ryan Williams. Williams calls it "the claimed break." The mathematical result proves a 1991 hypothesis about how waves focus, in every dimension. Physics provides an existence proof for the strong force theory, and part of it touches on Clay's Millennium Prize Problem. Nobel laureate David Gross leads this critique. OpenAI says it is not seeking academic credit for the results.

OpenAI says its AI broke a rule that has underpinned hundreds of computer science papers. OpenAI announced on Monday that its internal models made three discoveries, one each in mathematics, computer science, and physics. The biggest buzz is about the exponential time hypothesis, a widely held assumption about the speed at which computers can solve certain hard problems. OpenAI's system says this is false, and a computational proof checker confirmed the proof. Two of the people who proposed this hypothesis, Russell Impagliazzo and Ramanujan Paturi, will now lead the independent investigation together with MIT's Ryan Williams. Williams calls it "the claimed break." The mathematical result proves a 1991 hypothesis about how waves focus, in every dimension. Physics provides an existence proof for the strong force theory, and part of it touches on Clay's Millennium Prize Problem. Nobel laureate David Gross leads this critique. OpenAI says it is not seeking academic credit for the results.