2 stories tagged by Digg
AI
Anthropic tested an unreleased research model on a problem related to the Riemann hypothesis.
Internal Astra model produces Lean-certified proofs for ten open problems across math and theoretical computer science.
AI