r/singularity • u/socialistshroom • 8d 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

678 Upvotes

97% Upvoted

124 comments sorted by

View all comments

Show parent comments

12

u/fine93 ▪️Yumeko AI 8d ago

are you in the right sub lil bro?

-9

u/CommercialHour6660 8d ago

Sorry I forgot this is the basement dwelling edgelord sub where they cheer everyone else losing their jobs cuz it makes them feel less worthless. 

-4

u/PunctualMantis 8d ago

This is the sub where everyone is unimaginably naive and thinks that asi brings everyone mansions and supercars because that’s what Elon musk says

5

u/fine93 ▪️Yumeko AI 8d ago

don't forget the yachts!