Nobody knows how to cite 4chan mathematicians who solved an interesting problem