math meets machines