AI Used to Verify Toughest Mathematics Proof Yet

3 points | by surprisetalk 5 hours ago