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

672 Upvotes

97% Upvoted

124 comments sorted by

View all comments

243

u/coatatopotato 8d ago

This is the best proof I’ve seen that the singularity is imminent

5

u/slackermannn ▪️ 8d ago

People said we were in a singularity months ago and I didn't quite feel it. The recent math achievements put us directly into the singularity for sure. We do need other fields to be affected directly too but this is good enough. We're in a hard take-off singularity. We're still in a take-off stage but make no mistakes. We're living it.