Computer works out maths riddle so complex, no human can check if it's correct

Computer works out maths riddle so complex, no human can check if it's correct | Mail Online: "More than 80 years ago, a mathematician posed a problem so complex even the brightest mathematical minds working together have been unable to solve it."