Bartosz Naskrecki, a mathematician at Adam Mickiewicz University in Pozna, had designed the complex challenge as part of the FrontierMath benchmark.