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