https://www.sciencealert.com/mathematicians-solve-a-long-standing-42-problem-using-planetary-supercomputer