TIL about http://michaelnielsen.org/polymath1/index.php?title=Main_Page http://michaelnielsen.org/polymath1/index.php?title=Main_Pag... I cant help but think t

TIL about http://michaelnielsen.org/polymath1/index.php?title=Main_Page http://michaelnielsen.org/polymath1/index.php?title=Main_Pag... I cant help but think that a wiki isnt the best platform for this. It needs something more analogous to pen-and-paper proofs. ie. discrete steps with the possibility to fork any step and combine identities...