11 points | by nadermx an hour ago
2 comments
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.”
seems some one did that? https://claude.ai/share/fd969850-5dba-41b8-b2d7-f1cf8c7de857
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.”
seems some one did that? https://claude.ai/share/fd969850-5dba-41b8-b2d7-f1cf8c7de857