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 likes117 comments230 saves
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 enough discussion yet.
No sentiment analysis available yet.
—
Not ranked yet
—
Not ranked yet