Unfortunately, as I was looking more into it, I’ve stumbled upon a paper that points out some key problems with the proof. I haven’t looked into it more and tbh my expertise in formal math ends at vague memories from CS degree almost 10 years ago, but the points do seem to make sense.
Thank you, it was an interesting read.
Unfortunately, as I was looking more into it, I’ve stumbled upon a paper that points out some key problems with the proof. I haven’t looked into it more and tbh my expertise in formal math ends at vague memories from CS degree almost 10 years ago, but the points do seem to make sense.
https://arxiv.org/html/2411.06498v1