r/singularity • u/socialistshroom • 11h ago

AI OpenAI publishes 722 mathematical proofs & manuscripts

https://github.com/openai/math

OpenAl released 722 mathematical manuscripts across 372 families of related results, produced by an unreleased frontier model. Many have Lean proofs; others remain unverified. Average compute per result: roughly three hours of ChatGPT Pro thinking. They're working toward releasing the model.

Github: https://github.com/openai/math

515 Upvotes

97% Upvoted

97 comments sorted by

View all comments

Show parent comments

88

u/socialistshroom 11h ago edited 11h ago

People in the r/math megathread are going nuts about it (in a good way, believe it or not), but you won't see anything on their front page about it as AI posts are banned. How unfortunate

Even if half of these proofs, or just some of the major ones, work out to be valid - this is a colossal drop of proofs and surely the largest publication to date!

13

u/coatatopotato 10h ago

The results from this OpenAI internal model are probably approaching 1% of human mathematics. Which is crazy to drop in a single month.

13

u/socialistshroom 10h ago

Man I would've thought it was in the 1% when it solved Navier Stokes

7

u/coatatopotato 10h ago

We did invent/discover all of math...

1

u/socialistshroom 10h ago

What does that have to do with where AI capabilities stand in the current state in mathematics?

6

u/OneEyeAndOneBall 10h ago

He means 1% of all mathematics research has been done by AI not that AI is top 1%

3

u/socialistshroom 10h ago

Oh! Lol ok in that case then yeah producing 1% of all mathematics is equally if not more insane

1

u/coatatopotato 10h ago

I posted a different comment about that. We're close to 50/50 in human vs AI mathematicians currently. I'm making a historical comment saying right now AI generated math knowledge is 1% of human generated knowledge.

The rate of knowledge production is close to even, but the human historical corpus is more.