A type of mathematical problem that was previously impossible to solve can now be successfully analysed with artificial intelligence