(And yes, I know that they solved the 'easy' form of the NS problem. It's still pretty damn impressive)
(And yes, I know that they solved the 'easy' form of the NS problem. It's still pretty damn impressive)