Mathematicians tried to prove how hard The Witness is | Heykuki News