Comment by gewetensleegte

But they would need to employ human mathematicians for that.