But they would need to employ human mathematicians for that.