[math-fun] interesting trailer for new movie on hilbert's 10th problem & julia robinson