Autismus maximus

L’argumentation portait sur un anime appelé The Melancholy of Haruhi Suzumiya, célèbre pour avoir diffusé ses 14 épisodes dans un ordre non linéaire et non chronologique. Comme les différentes diffusions télévisées et sorties en vidéo proposaient les épisodes dans des ordres différents, les fans débattaient fréquemment du « meilleur » ordre pour regarder la série.

Un utilisateur a posé une question hypothétique sur le forum scientifique et mathématique de 4chan (/sci/) :
Si vous vouliez regarder les 14 épisodes dans absolument tous les ordres possibles, quelle serait la séquence d’épisodes la plus courte que vous devriez regarder ?
En mathématiques, il s’agit d’un célèbre problème de combinatoire concernant les superpermutations.
Une permutation est n’importe quel arrangement d’un ensemble d’éléments. Par exemple, pour 3 épisodes, les arrangements possibles sont : 123, 132, 213, 231, 312 et 321.
Une superpermutation est une unique suite continue de nombres qui contient en elle chacune de ces petites combinaisons.
Pendant 25 ans, des mathématiciens professionnels avaient essayé de trouver une formule générale permettant de déterminer la borne inférieure minimale — autrement dit, la longueur absolument la plus courte possible — d'une superpermutation de n éléments.

Moins d'une heure après que la question eut été posée, un utilisateur anonyme publia une démonstration mathématique particulièrement dense.
L'utilisateur n'avait pas entièrement résolu le problème, mais il avait réussi à démontrer une nouvelle formule donnant une borne inférieure pour n symboles :
Longueur ≥ n! + (n − 1)! + (n − 2)! + n − 3
Pour la série de 14 épisodes, cette formule démontrait qu'un spectateur devrait regarder au minimum 93 884 313 611 épisodes pour observer toutes les variations possibles — ce qui représenterait environ 4,3 millions d'années.
4. L'héritage académique
Comme la démonstration avait été publiée anonymement sur un forum d'images, elle passa complètement inaperçue du monde universitaire pendant sept ans.
En 2018, le mathématicien Robin Houston retrouva cette publication, vérifia les mathématiques avec d'autres collègues et publia un article scientifique officiel basé sur une version affinée du travail de l'utilisateur de 4chan.
Aujourd'hui, cette démonstration révolutionnaire figure dans la littérature mathématique officielle sur la superpermutation, notamment dans l'article Wikipédia consacré aux superpermutations, et l'article attribue officiellement la première contribution à :
« Anonymous 4chan Poster » — « utilisateur anonyme de 4chan »