Hacker News new | ask | show | jobs
by jchook 51 days ago
Is the conjecture not trivially sound at an intuition level? It's surprising that this proof was difficult.