Drew Stone
I build systems that let AI agents do sustained technical work. At Tangle, that means the infrastructure for agents to run experiments, share findings, and keep working.
I write about mathematics, computer science, and what it takes to turn automated research into results we can check.
Proofs & counterexamples
- A five-atom counterexample to BCWW Five equally likely bit strings violate a proposed four-party entropy inequality by 0.0529325 bits.
- A GHZ-mixture witness against BCWW A four-qubit GHZ mixture violates the same proposed inequality by 0.113302 bits.
- A family refuting Linden–Winter Conjecture 6 A six-atom family defeats every finite positive choice of coefficients in the conjectured linear relaxation.