A famous math problem that stumped humans for the better part of a century has finally been toppled—by AI. https://on.wsj.com/3PTSaLt