Safety is Non-Compositional: A Formal Framework for Capability-Based AI Systems
Safety is Non-Compositional: A Formal Framework for Capability-Based AI Systems explores This paper presents a formal proof regarding the non-compositional nature of safety in AI systems.. Commercial viability score: 2/10 in AI Safety.
BUILDER'S SANDBOX
Build This Paper
Use an AI coding agent to implement this research.
OpenAI CodexAI Agent
Lightweight coding agent in your terminal.
Claude CodeAI Agent
Agentic coding tool for terminal workflows.
AntiGravity IDEScaffolding
AI agent mindset installer and workflow scaffolder.
CursorIDE
AI-first code editor built on VS Code.
VS CodeIDE
Free, open-source editor by Microsoft.
Recommended Stack
Startup Essentials
Estimated $9K - $13K over 6-10 weeks.
See exactly what it costs to build this -- with 3 comparable funded startups.
7-day free trial. Cancel anytime.
Discover the researchers behind this paper and find similar experts.
7-day free trial. Cancel anytime.
Related Papers
- Prior WorkA Public Theory of Distillation Resistance via Constraint-Coupled Reasoning ArchitecturesViability: 2.0
- Higher ViabilityThe Competence Shadow: Theory and Bounds of AI Assistance in Safety EngineeringViability: 3.0
- Higher ViabilitySafety as Computation: Certified Answer Reuse via Capability Closure in Task-Oriented DialogueViability: 3.0
- Higher ViabilityControl Barrier Corridors: From Safety Functions to Safe SetsViability: 7.0
- Higher ViabilityOOD-MMSafe: Advancing MLLM Safety from Harmful Intent to Hidden Consequences
Related Resources
- What are the latest research breakthroughs in automotive AI safety?(question)
- What are the commercial implications of improved LLM interpretability for AI safety and reliability?(question)
- What are the implications of Certified Circuits for AI safety and robustness?(question)
- AI Safety – Use Cases(use_case)