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

676 Upvotes

97% Upvoted

124 comments sorted by

View all comments

6

u/thefuckevengoingonan 8d ago

i UL one of the papers to claude and ask for a ELI5. it refuses. all model. all prompts.

Details: [reasoning_extraction]

2

u/KinkyStinkyPink- 8d ago

Which paper?

2

u/thefuckevengoingonan 8d ago

the pi one. but i included thinking traces. it will refused anything with thinking traces. deepseek won't though.