3 ms·
They did produce a formal solution/proof. The disappointing part is that it contains billions of statements that don't give us any insight about the problem.
by amatus 15y ago
They did produce a formal solution/proof. The disappointing part is that it contains billions of statements that don't give us any insight about the problem.