I built a world record exact solver for the minimum line cover of prime points after watching a Numberphile video