Research talk: Numerical weak AI and symbolic strong AI | Microsoft Research | Podwise