AI Used to Verify Toughest Mathematics Proof Yet

(spectrum.ieee.org)

3 points | by surprisetalk 5 hours ago ago