alt Hacker Newsespecially compared to existing 129 pages proof by human
Replies
dist-epoch • yesterday at 8:28 PM
Insert meme with 200 pages needed to prove 1+1=2 rigurously
➕ show 1 reply
especially compared to existing 129 pages proof by human
Insert meme with 200 pages needed to prove 1+1=2 rigurously
A human can cite previous published results. I am sure a lot of this development was formalising the prerequisites.