Hacker News new | ask | show | jobs
by amatus 5273 days 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.