Seoul Gazette - AI challenges maths by solving the unsolvable