2 stories tagged by Digg
AI
Internal Astra model produces Lean-certified proofs for ten open problems across math and theoretical computer science.