'Remarkable' MIP*=RE proof describes how to solve seemingly impossible problem | Heykuki News