For decades, elite mathematicians have struggled to solve a collection of thorny problems posed by a 20th-century academic named Paul Erdos. This month, an artificial intelligence startup called Harmonic jumped…