EmbeddingGemma 2: an open, lightweight multimodal embedding model
deepmind.google·6d ago
AI Engineering
Lobsters·Sep 11·5 min read
Everything is a Trust Decision
TL;DR
A new theorem proves that there are limits to what can be verified in trust decisions, emphasizing the need for explicit documentation in record-keeping systems.
✦ Why It Matters
Start documenting your findings and trust decisions explicitly to protect your work and clarify ownership.
Key Takeaways
- Explicitly document all trust decisions in your systems.
- Classify trust into three types: given, vouching, and anonymous.
- Use machine-checked proofs to validate your claims.
- Understand the limits of verification to avoid implicit trust.
How It Works
The theorem establishes that verification has a limit, beyond which trust must be explicitly categorized. It uses a machine-checked calculus to define the boundaries of verifiable claims, ensuring that developers understand what they can trust and what remains uncertain.