6 ms·
Actual link to source material: https://zenodo.org/records/21871667 https://zenodo.org/records/21871667 It appears that there is no machine-checked proof or co
by fractorial 1mo ago
Actual link to source material: https://zenodo.org/records/21871667 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 1mo agoseems some one did that? https://claude.ai/share/fd969850-5dba-41b8-b2d7-f1cf8c7de857 https://claude.ai/share/fd969850-5dba-41b8-b2d7-f1cf8c7de857