interstice comments on Tao, Kontsevich & others on HLAI in Math