Back to News
Advertisement
Advertisement

Discussion (3 Comments)Read Original on HackerNews

fractorial•about 2 hours ago
Actual link to source material: https://zenodo.org/records/21871667

It appears that there is no machine-checked proof or corroboration of this claim; I would be dubious in calling this “solved.”

nadermx•about 2 hours ago
globular-toast•about 1 hour ago
Have there been any results so far that are surprising?