3 ms·

This sounds very interesting but I'm a little confused by the problem they were trying to solve -- what were they trying to prove knowledge of?