Hacker News
points by cromka 1 day ago | 0 comments
Does it have to be? I am betting there's more people working on proving this and not disclose the proof than to do.
[–] wredcoll 14 hours ago
It doesn't have to be, but it's getting a bit weird that everytime this subject comes up nobody has an actual example.