We are very far from the point where that is feasible for many new results in math.