A curious situation. The best known lower bound for the minimal length of superpermutations was proved by an anonymous user of a wiki mainly devoted to anime.


https://twitter.com/robinhouston/status/1054637891085918209