Re:AlphaProof Code
by bananaflag on Tuesday November 10, 2026 @07:41AM
(#50439526)
The same way Goedel's 0th incompleteness theorem doesn't make math proofs impossible (this is not sarcasm btw).
[ Parent
| on HN ]
There are no comments on this comment yet.