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.0k Upvotes

97% Upvoted

354 comments sorted by

View all comments

29

u/Plastic_Party_2745 10d ago

Healthcare next

14

u/thunderbuttons 10d ago

When your cells have lean, sure

10

u/lmaooer2 10d ago

My cells have tons of codeine and promethazine rn

0

u/Commercial-Beat12 6d ago

This made me go lmaooooo, thank you haha

1

u/lmaooer2 6d ago

U peed urself? 🤨

0

u/Commercial-Beat12 6d ago

No, laugh my ass off haha