Amateurs Solve a Famous Computer Science Problem on Discord [video]

This sounds like the 2011 4chan post that solved the Haruhi superpermutation problem https://boingboing.net/2025/03/07/anonymous-anime-fan-solves...