OpenAI Shares Astra Proofs for Ten Math Advances
Internal Astra model produces Lean-certified proofs for ten open problems across math and theoretical computer science.
Combined views
217.2K
20 Sources, first seen ago
2K likes
Internal Astra model produces Lean-certified proofs for ten open problems across math and theoretical computer science.
217.2K
20 Sources, first seen ago
—
Not ranked yet
—
Not ranked yet