Probabilistic Numerics: Bayesian Quadrature And Human-Ai Collaboration