AI Research
OpenAI Named Its Next Model Family and Published Ten Solved Problems. It Has Not Shipped Anything.
An internal version called Astra produced proofs for ten long-open questions in mathematics and theoretical computer science, each formalised in Lean. The model is unreleased and the name is provisional.
3h ago
