4 ms·

It's a common problem in math. The famous proof for Fermat's last theorem took 2 years to validate.

• auggierose 2mo ago
  That'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 ago
      Fable was not convinced: https://claude.ai/share/1597e697-0638-488a-971d-e17872943137 https://claude.ai/share/1597e697-0638-488a-971d-e17872943137
    • auggierose 2mo ago
      Not 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.