1 story

AI Models

OpenAI says its AI proved a famous computing idea wrong

OpenAI says an internal model showed that the Exponential Time Hypothesis, a widely used assumption about how hard some problems are, is false. It also claims new proofs in maths and physics. No outside expert has confirmed any of them yet.

OpenAI announced the three claimed results on Monday, October 26, and put the computer science proof and a Lean version on GitHub. Three experts, two of whom first proposed the hypothesis, will lead an open check. They say their role does not mean the claim is right.

1 story

AI Models

OpenAI says a new model solved over 100 open maths problems

It has not named or published any of them yet.

In a September 21 post, OpenAI said an internal model in training since August 28 has solved more than 100 long-standing problems. It named none and published no proofs. It also set up an unpaid advisory group of nine leading mathematicians, hosted at the Institute for Advanced Study.