A machine just closed a math problem that had sat open for thirty years. It did it in about ninety minutes. And the catch — the part almost nobody in the excited headlines mentioned — is that a human professor had been feeding that same problem to the machine's predecessors for a full year first.