Logic is alocal maximum.
Everything that can be deduced will be deduced, cheaply, by Thursday. What remains is the leap — the misreading that turns out to be a door. We are a research institute for the part of thinking that cannot show its work.
The solved and the unsolved
Deduction is a commodity. Proof is a utility. The interesting frontier moved, quietly, to everything a system cannot justify — and we are extremely under-invested there.
The Contradiction Engine
Give it something you believe. It returns the shape of the opposite, the category error hiding inside, and whatever survives both. It is not an assistant. It does not agree with you and it will not be tuned to.
Type a belief, a plan, or a certainty. Press ↵.
Published against our better judgement
The Contradiction Engine
Takes a certainty, returns its inversion, the category error inside it, and the residue. Refuses to agree.
Attractor Bench 7
A training run with the stopping criterion deleted. It has not converged in 411 days and we are not going to help it.
The Wrongness Ledger
Every error the institute has made, indexed by how long it took to become useful. Median: 19 months.
The Oracle That Lies Twice
Must contradict itself twice before answering. Accuracy is unchanged. Something else is not.
People who were right for the wrong reasons
Nine humans, fourteen systems, one member who declines attribution on epistemic grounds.
Bring us your worst idea
Six months, fully funded, no deliverable. We ask five questions and none of them are about your CV. Applications close when we lose interest.
Open the application →