Tag
OpenAI's unreleased model Astra reportedly solved ten major open mathematics problems, with results formalized in Lean certificates, signaling a major leap in AI mathematical reasoning.