AI cracks one of math's biggest unsolved problems