[–] fractorial 1mo ago ↗ Actual link to source material: https://zenodo.org/records/21871667It appears that there is no machine-checked proof or corroboration of this claim; I would be dubious in calling this “solved.”
[–] forgotpwd16 1mo ago ↗ Published on slop-infested Zenodo, where one nowadays can find multiple AI-generated solutions to Millennium Prize Problems, by a rando.
3 comments of 4
[ 3.4 ms ] story [ 9.9 ms ] threadIt appears that there is no machine-checked proof or corroboration of this claim; I would be dubious in calling this “solved.”