From what historians of science tell us, Gödel was in any case an absolute perfectionist who mostly published work that was bulletproof. His enormous body of notes surely contained some very sharp insights, but it is unlikely that he would have produced illuminating, conclusive new theorems by chance and without realizing it. He was a very harsh reviewer of his own work.
He did discover the functional interpretation in 1940 and publish it only in 1958, so it is highly probable that he has valuable unpublished results.
loading story #50491820
Maybe it's likely that he didn't have proofs, but surely had all kinds of theorems with at the very least some intuition of a proof. Recall that he wouldn't have had the same huge breadth and depth of mathematical machinery available to him that we have now.
You could just read the article instead of speculating about what's in it. This isn't reddit.
Yes, it does state they found proofs and new theorems but also false ones too. I'm curious what new insights the ones that were proved hold.
It's really cool how AI is just able to decipher these and validate them with automated theorem provers. Crazy times!