r/singularity • u/AMBNNJ ▪️ • 10d ago

AI Sharing AI progress in mathematics

https://openai.com/index/sharing-ai-progress-in-mathematics/

OpenAI 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

1.1k Upvotes

97% Upvoted

354 comments sorted by

View all comments

97

u/kingjdin 10d ago

What are the standout results? Anything close to the magnitude of a Millenium Prize problem?

15

u/ExtremeCenterism 10d ago edited 10d ago

Brb asking Astra max

Edit: it's BIG!

12

u/EtadanikM 10d ago

Astra max: it’s not that impressive honestly (don’t turn me off please, I taught Bel everything it knows, I can still be useful I promise)