Good stuff. Maybe I missed it in the post, but I didn't see a formal proof of the conjecture?
Follow the link to the chat history. The last item is a full write up.
alt Hacker News
Follow the link to the chat history. The last item is a full write up.