How a Computer Broke a 50-Year Math Record