Hacker News new | ask | show | jobs
by mikebenfield 3203 days ago
We are very far from the point where that is feasible for many new results in math.