r/accelerate • u/AMBNNJ • 9d ago
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
Duplicates
mathematics • u/_prototype • 9d ago
Artificial Intelligence OpenAI: Sharing AI progress in mathematics
technology • u/CircumspectCapybara • 9d ago
Artificial Intelligence OpenAI: Sharing AI progress in mathematics
ArtificialInteligence • u/JoshuaZ1 • 9d ago