5 ms·We are very far from the point where that is feasible for many new results in math.by mikebenfield 9y agoWe are very far from the point where that is feasible for many new results in math.