This is one of my favorite stories. There is some good info on the superpermutations problem (which is now known as the Haruhi problem when looking for the lower bound of 14) here:

https://en.wikipedia.org/wiki/Superpermutation#Lower_bounds,...

This has the original proof that appeared on /sci/:

https://mathsci.fandom.com/wiki/The_Haruhi_Problem

And here is a paper authored in part by "Anonymous 4chan Poster": https://oeis.org/A180632/a180632.pdf