San Francisco Frontiers - AI challenges maths by solving the unsolvable