A MATH PROFESSOR JUST RATED OPENAI'S 722 PAPERS
abhishek saha, a maths professor in london, sorted big math results into 4 levels:
-> A: solid normal results. most of published math lives here
-> B: exceptional advances. top journal level
-> C: surprising breakthroughs that change a whole field
-> D: shock breakthroughs. experts thought they were basically impossible right now. "instant Fields medal variety"
the best mathematicians prove only a handful of B and C results in their whole life. many never prove one
his verdict on openai's drop: some are A, but most are B or C. and exactly one is D, the one people are calling the quasi riemann hypothesis
his last line: "It is a very big day for mathematics."
the scariest part: all of it came from one unreleased model, using about 3 hours of thinking per result
to be fair nothing is fully confirmed yet. openai itself says some proofs could still have issues, and checking all of it will take mathematicians months
personally this is where i stop calling AI a tool. a tool doesnt do in one release what the best humans do in a lifetime
We’re releasing a broad range of new mathematical results produced by an internal frontier model.
We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results.
github.com/openai/math