'Remarkable' MIP*=RE proof describes how to solve seemingly impossible problemgizmodo.com92 pointsrbanffy6 years ago