3 ms·
Genuine question - this is so hard for me to follow. Not that I could follow the original disproof anyways. But how is "truth" determined when the effort requir
by OsrsNeedsf2P 2mo ago
Genuine question - this is so hard for me to follow. Not that I could follow the original disproof anyways. But how is "truth" determined when the effort required to validate is so high?
- gpt5 2mo agoIt's a common problem in math. The famous proof for Fermat's last theorem took 2 years to validate.
- auggierose 2mo agoThat's different though. Understanding the spec of Fermat's last theorem is simple. Here, you already need to know some mathematics just to understand the spec.
- startigerjen 2mo ago[flagged]
- muglug 2mo agoFable was not convinced: https://claude.ai/share/1597e697-0638-488a-971d-e17872943137 https://claude.ai/share/1597e697-0638-488a-971d-e17872943137
- auggierose 2mo agoNot sure what your comment has anything to do with my comment, or the comment I replied to. But to answer to your comment: Opus 5 says that Nielsen's critique is nonsense.
- kikokikokiko 2mo agoThese AI generated proofs have something akin to the quantum algorithms that can generate a response that would take 1 billion years of processing to finish on a classical computer. How do you test them to see if the result was correct?
- startigerjen 2mo agoNo they don't. They have a few thousand lines and the hinge points are easy to find. This is more nonsense.
- startigerjen 2mo ago[flagged]