QED Labs

From AI Safety via Debate to Evidence-Grounded Adversarial Assurance

Can competing AI systems help humans evaluate reasoning they cannot independently verify? AI safety via debate proposes this possibility. Yet winning an argument is not a certificate of safe action. This paper develops evidence-grounded adversarial assurance: a mathematical frame...

From AI Safety via Debate to Evidence-Grounded Adversarial Assurance

Can competing AI systems help humans evaluate reasoning they cannot independently verify? AI safety via debate proposes this possibility. Yet winning an argument is not a certificate of safe action. This paper develops evidence-grounded adversarial assurance: a mathematical frame...

From AI Safety via Debate to Evidence-Grounded Adversarial Assurance

Can competing AI systems help humans evaluate reasoning they cannot independently verify? AI safety via debate proposes this possibility. Yet winning an argument is not a certificate of safe action. This paper develops evidence-grounded adversarial assurance: a mathematical frame...

From AI Safety via Debate to Evidence-Grounded Adversarial Assurance

Can competing AI systems help humans evaluate reasoning they cannot independently verify? AI safety via debate proposes this possibility. Yet winning an argument is not a certificate of safe action. This paper develops evidence-grounded adversarial assurance: a mathematical frame...

Autonomous Micro-Enterprise Governance (AMEG): Architectural Accountability, Deontic-Epistemic Verification, and Statutory Auditability in Multi-Agent Systems

As autonomous multi-agent generative systems tran- sition from conversational prototypes to high-stakes revenue- bearing infrastructure, organizational accountability can no longer rely on extrinsic policy documents audited ex-post. This paper formalizes Autonomous Micro-Enterpri...

Autonomous Micro-Enterprise Architectures (AMEA): Formalizing High-Concurrency Multi-Agent Orchestration and Zero-Marginal-Labor Scaling

Ronald Coase's Theory of the Firm holds that enterprise scale is constrained by internal administrative coordination costs, which historically grow superlinearly with transaction volume, forcing operational labor to scale roughly in proportion to throughput. This paper formalizes...

Autonomous Micro-Enterprise Security (AMES): Threat-Bounded State Transitions, Zero-Trust Ingress Verification, and Adversarial Limits in Agent Runtimes

As autonomous multi-agent runtimes transition from conversational prototypes to revenue-bearing infrastructure, the security assumptions that governed classical software systems no longer hold. Prompt injection, tool-call hijacking, credential escalation, and cross-tenant state c...

Autonomous Micro-Enterprise Architectures (AMEA): Formalizing High-Concurrency Multi-Agent Orchestration and Zero-Marginal-Labor Scaling

Ronald Coase's Theory of the Firm holds that enterprise scale is constrained by internal administrative coordination costs, which historically grow superlinearly with transaction volume, forcing operational labor to scale roughly in proportion to throughput. This paper formalizes...

Autonomous Micro-Enterprise Governance (AMEG): Architectural Accountability, Deontic-Epistemic Verification, and Statutory Auditability in Multi-Agent Systems

As autonomous multi-agent generative systems tran- sition from conversational prototypes to high-stakes revenue- bearing infrastructure, organizational accountability can no longer rely on extrinsic policy documents audited ex-post. This paper formalizes Autonomous Micro-Enterpri...

Meta-Architectures for AI-Native Mathematical Research

Meta-Architectures for AI-Native Mathematical Research argues that as machine exploration, proof search, and formal verification become abundant, the unit of mathematical work should shift from the isolated theorem to an evolving, typed research state of conjectures, counterexamp...

Meta-Architectures for AI-Native Mathematical Research

Meta-Architectures for AI-Native Mathematical Research argues that as machine exploration, proof search, and formal verification become abundant, the unit of mathematical work should shift from the isolated theorem to an evolving, typed research state of conjectures, counterexamp...

General Entanglement Diagnostics

A balance diagnostic for bipartite pure states of arbitrary Schmidt rank is built from the elementary symmetric polynomials of the Schmidt spectrum, where the altitude e2\sqrt{e_2} e2 coincides with half the I-concurrence, the AM–GM–HM chain generalizes to Maclaurin's and Newton'...