Image de couverture de livre

Why Trust-Scores Always Fail — And Why Proof-Based Systems Are the Only Scalable Alternative

Fuente: Zenodo

Enregistré dans:

Détails bibliographiques
Auteur principal:	Papp, László
Format:	Recurso digital
Langue:	anglais
Publié:	Zenodo 2026
Sujets:	trust systems proof-based verification Goodhart's Law epistemic infrastructure fractal scaling impossibility theorem
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Trust Is Optional: Strategy-Proof Coordination Under Partial Revelation with Physical Verification; A Foundation for Perspectival Theory
par: Roche, Adon
Publié: (2026)

Proof of Intent Consensus
par: Andrews, Ronald Jason
Publié: (2026)

Scalar Impossibility in Multi-Pillar Complexity Measures: Why a Single Number Cannot Capture Algorithmic, Information-Theoretic, Dynamical, and Geometric Complexity
par: Sudoma, Oksana
Publié: (2025)

Proof Engine Verification (PROVED): Training and running today's frontier AI models consumes more electricity than entire small countries.
par: Proof Engine
Publié: (2026)

The δ-Gene: Inference-Time Physical Unclonable Functions from Architecture-Invariant Output Geometry
par: Coslett, Anthony
Publié: (2026)

THEOREM OF PYTHAGORAS. FOUR NEW PROOFS
par: Vladimir M. Moskovkin
Publié: (2025)

Epistemic Fabric: A Formal Topological Solution to the Goodhart Collapse
par: Yalcinkaya, Erkan
Publié: (2026)

Claim Verification: "GLP-1 drugs like Ozempic cause unavoidable major muscle loss and "Ozempic face" even with exercise and high protein intake" — Disproved
par: Proof Engine
Publié: (2026)

Claim Verification: "The Pyramid of Giza was built by slaves." — Disproved
par: Proof Engine
Publié: (2026)

Claim Verification: "AI hallucinations occur on fewer than 5% of factual questions" — Disproved
par: Proof Engine
Publié: (2026)

Claim Verification: "The binary operator eml is defined by the expression \(\text{eml}(a, b) = \exp(a) - \ln(b)\) (where exp is the exponential function and ln is the principal branch of the natural logarithm). For every real \(x > 0\), the nested expression \(\text{eml}(1, \text{eml}(\text{eml}(1, x), 1))\) equals the natural logarithm \(\ln(x)\)." — Proved
par: Proof Engine
Publié: (2026)

Claim Verification: "The binary operator eml is defined by the expression \(\text{eml}(a, b) = \exp(a) - \ln(b)\). There exists a finite binary tree consisting solely of eml operations, whose 9 leaves are drawn from \(\{1, x, y\}\), such that the tree evaluates exactly to \(x \times y\). The tree has K = 17 tokens (8 eml operations and 9 leaves), and the identity holds for all complex \(x\) and \(y\) (in the algebraic setting where \(\ln \circ \exp\) is the identity)." — Proved
par: Proof Engine
Publié: (2026)

Claim Verification: "Quantum entanglement enables the transmission of usable information faster than the speed of light when the distant parties pre-agree on a measurement basis." — Disproved
par: Proof Engine
Publié: (2026)

Completing the Cohomological Extension Package: Section Cocycles and Splitting Criterion for Mathlib
par: Spivack, Nova
Publié: (2026)

Canonical Certification Does Not Exhaust Reflective Structure: Reflective Split, Strict Refinement, and Fiber Structure in Infinity Compression
par: Spivack, Nova
Publié: (2026)

Chapter Poggio Bracciolini, Phyllis Goodhart Gordan, and the Formation of the Goodhart Collection of Fifteenth-Century Books at Bryn Mawr College
par: Pumroy, Eric L.
Publié: (2022)

Failing at the Floor: LLM Formal Reasoning Collapse on the Primitive Duplicating Recursor
par: Rahnama, Moses
Publié: (2026)

Trust, authority and epistemic responsibility
par: Gloria ORIGGI
Publié: (2008)

ZTEK: A Zero Trust Epistemic Kernel for AI-Assisted Research Workflows
par: Papanokechi, Papanokechi
Publié: (2026)

Persona, Shadow, and Cheap Coherence: A Jungian Map of the Soul in the Digital Age (Read Through Structural Intelligence)
par: Jovanovic, Vladisav
Publié: (2026)

The Fractal Consistency Law
par: Reyna Ugarriza, César Daniel
Publié: (2026)

Ad Hominem Laundering: The Epistemic Vacuity and Rhetorical Power of the "Conspiracy Theory" Label
par: Sophia, Franny Philos
Publié: (2026)

The Kernel–Solver Thesis: Adversarial Learning Toward Verified Mathematical Claims
par: Figurelli, Rogério
Publié: (2026)

Histonetica: A Relational Framework for the Systematic Analysis of Historical Knowledge Movements and Epistemic Infrastructures
par: Hobek, Dominik, et autres
Publié: (2026)

The Trinity Triangle Proof Paper
par: Needham, Eric
Publié: (2025)

The Entanglement Theorem: Universal Concept Coupling as a Geometric Consequence of High-Dimensional Encoding
par: McEntire, Jeremy
Publié: (2026)

Operational Realization of the Canonical Quotient for Structural Market Observability
par: Charlier, Rony
Publié: (2026)

Feedback Is Not Enough: Why Organized Methods Fail Under Partial Reduction through Adaptive Reduction Theory
par: Grakov, Oleksii
Publié: (2026)

Abstract Zeta–Möbius Inversion: A Minimal Monoid-Based Schema for Formal Verification
par: Jefferson, Bob
Publié: (2026)

Automated Reasoning with Analytic Tableaux and Related Methods
Publié: (2023)

A Finite–Depth Structural Resolution of the Collatz Conjecture via Hierarchical Height Functions and Mother Chains (JNT Submission Version)
par: Matsuua, Yoshihito
Publié: (2025)

Commit-Gated Execution for Regulated Artificial Intelligence
par: Pinnock, Lee
Publié: (2026)

Universal Bridge Theorem: A Cohomological Framework for Construction-Independent Invariants
par: Maréchal, Thierry
Publié: (2026)

Topological Dynamics of Intelligent Systems Under Constraints
par: Gunther, Colin
Publié: (2026)

General Theory of Finite Descent Authority
par: Carroll, Jeremy H.
Publié: (2026)

The L_σ(n) Theorem: Formal Structural Limits in SAT Solving and Information Loss Analysis
par: Ednyashev, Sanal
Publié: (2025)

Simplicity, Language-Dependency and the Best System Account of Laws
par: Billy Wheeler
Publié: (2016)

Artificial Intelligence and the End of Human Cognitive Isolation: A Cross-Domain Transformation
par: Xausa Bosak, Bibiana
Publié: (2026)

AEGIS-ZK v2.0: A Verifiably Private, Merkle-Anchored, Zero-Knowledge Platform to Prevent and Defeat Extortion
par: Ibrahim, Mohamed
Publié: (2025)

ENI6MA vs. AZTEC: Rosario–Wang Proof (RWP) — a pairing-free proof-of-knowledge vs. Aztec ZKP
par: Rosario, Frank
Publié: (2025)