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.