2 stories tagged by Digg
AI
Axiom Math's AI system produced a Lean formalization of the prime gap bound.