home.social

#computationalethics β€” Public Fediverse posts

Live and recent posts from across the Fediverse tagged #computationalethics, aggregated by home.social.

  1. 🧠 New publication | Canonical theorem now formalized:
    TLOC – Theorem of the Limit of Conditional Obedience Verification
    β†’ Structural non-verifiability of obedience in generative models.

    ❌ You cannot prove a model obeyed a condition if it never evaluated it.

    πŸ“Ž DOI: doi.org/10.5281/zenodo.15675710
    πŸ” Archive: doi.org/10.6084/m9.figshare.29
    πŸ“˜ Series: doi.org/10.5281/zenodo.15564373

    #AI #LLM #StructuralEpistemology #TLOC #ObedienceVerification #Falsifiability #ComputationalEthics #AITheory