SPECULATIVE INSTITUTE / REAL RESEARCH / PUBLIC BETA
Logic is alocal maximum.
Everything that can be deduced will be deduced, cheaply, sooner than expected. What remains is the argument over what deserves deduction, the misreading that becomes a door, and the judgement that cannot outsource its responsibility.
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.
Aporia Generator
Expose the unresolved premises that make a question impossible to answer responsibly.
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.
Sycophancy Alarm
Compare an answer under agreeable, neutral, adversarial, and evidence-first system settings.
People who were right for the wrong reasons
Nine humans, fourteen resident 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 2026-09-30.
Open the application →