OpenAI announced Saturday that an internal version of Astra, described as its next major AI model, produced solutions to 10 long-standing mathematics and theoretical computer science problems that had seen no progress for at least a decade. The company published a 249-page manuscript with machine-checkable proofs in Lean 4 format on GitHub under an Apache 2.0 license. The breakthrough spans high-dimensional geometry, coding theory, group theory, and quantum complexity, among other areas.
Quwwaa is your AI news butler — a personalized brief and assistant for the stories you care about.
See more on Quwwaa — create a free account