Axiom Math's @CarinaLHong & @aaswaminathan01 on how AxiomProver machine-checked BGP246 after 13 years of mathematicians grinding Zhang's 70 million bound down to 246: Ashvin: "One of the fundamental results of 21st century mathematics is the fact that the gaps between prime numbers are bounded. The central breakthrough came from the work of Yitang Zhang 13 years ago, where he proved that the gaps are bounded by 70 million." "Over the years, mathematicians have worked collaboratively to…