An AI just broke an 87-year-old maths problem, in a tweet sent during the World Cup final — Blankdot