So anyway, @jpantone and Vince Vatter have been working on writing up the proof. Here’s the current draft. https://t.co/Rhyb2B0ebj

It would be hilarious to publish a paper with lead author “Anonymous 4chan poster”. I hope we can make this happen.

— Robin Houston (@robinhouston) October 25, 2018
.....