The background of the post aside, I find the main idea interesting and fun. Whatever the validity of the original argument is, I don't think the goal was to ac

The background of the post aside, I find the main idea interesting and fun. Whatever the validity of the original argument is, I don't think the goal was to actually prove it, but more to play with maths and code to do something cool.