In early 1970, just a couple of months after her 50th birthday, Robinson’s wish came true. Soviet mathematician Yuri Matiyasevich announced that he had solved the problem, one of 23 challenges posed in 1900 by the influential German mathematician David Hilbert.