Three campaigns running · one new finding worth a look, one awaiting your call.
Active
3
Experiments
42 +6
Verified hits
16
Papers
3
Compute · Aug
$310
Worth a look
Featured demo · your callHigh-energy physics
Seven cheaper wormhole-teleportation circuits
Starting from a published sparse-SYK "wormhole on a chip" instance, the harness found seven verifier-certified variants that run on ~32% fewer gates while still passing every chaos and wormhole test. It ends in a written paper — included in the repo.
7certified · 32% fewer gates · paper ready
→ open the demo report
New direction · draftMaterials
Fewer measurements, same implied voltage
A published method infers a solar-cell's operating voltage from three quick optical measurements taken across many settings. Can the same answer come from a much smaller subset — fewer experiments, less energy?
≤2measurements · proposal to review
→ review & approve
Matched a humanQuantum computing
Reproduced a hand-designed compression
An autonomous loop matched a physicist's 54-gate circuit at machine precision — then refused to over-claim.
54MS gates · audit passed
→ open report
In queue3 running
Three campaigns in flight
prism-trpl-recipe, three-kerr-qe, qei-lean — scoring live on the blinded verifier.
Over-pruning caught by the sealed verifier dhruv · EXP-0003
a 53-gate circuit looked fine but fidelity fell to 0.31 — refused
refused today
·
Contact-loss model refuted at the premise dq-voc-residual
challenger proved 5 points can't fix a 2-parameter model
rejected 1d
+ 37 earlier results · didn't-works collapsed
In the queue
prism-trpl-recipe
perovskite · search
1,240 evals88%
three-kerr-qe
gravity · cycle 11
score 70.046%
qei-lean
formal · cycle 14
score 60.161%
← Overview
The approach
What we found
Deliverables
How it ran · agents in parallel
AI-time 00:00 / 2d
EXPERIMENT LEDGER · blinded scorekeeper
best —
← Overview
Proposal · draftMaterials · perovskite · draft
Fewer measurements, same implied voltage
In one line
A published method infers a perovskite device's operating voltage (V_OC) from three non-contact optical measurements, each repeated across many settings. We propose searching for the minimal subset of measurements and configurations that still recovers implied voltage within tolerance — cutting experiment count and energy. Scroll for the plan, the bar it must clear, and the cost.
Every subset of {steady-state glow, time-resolved glow, transmission} — can two of three carry the implied voltage?
How many configurations
Fluence × acquisition-window settings per measurement — from today's many down to a minimal set.
Acquisition budget
Total measurement time and light dose, as an explicit cost the search minimizes.
Robustness
Across a grid of realistic device stacks + measurement noise, scored leave-one-device-out.
Condition to succeed — the bar it must clear
A subset wins only if it is provably good, not merely plausible.
It must recover implied voltage to ≤ 10 mV out-of-sample (leave-one-device-out) using ≤ 2 measurements and a strictly smaller acquisition budget than the full three-measurement protocol.
Anti-hallucination guard: at import, the sealed verifier must first reproduce the full-protocol implied voltage on a held-out device (a dress rehearsal). If it can't, it refuses to run — so a reported "win" can never be an artifact of a broken forward model or a lucky fit.
Time & resources
Total time
~6 hours, start to paper
Fully automated · no hardware or vendor step in the loop.
Resources
1× A10G GPU · ~3 GPU-hrs
Batched forward-model inversion; CPU fallback. ≈ $9.
Simulations & datasets it needs
A 1-D carrier-diffusion + detailed-balance forward model over a grid of synthetic device stacks with realistic measurement noise. Grounded on the published batch data (arXiv:2508.21037).
Lands as
Paper + reduced protocol
The minimal recipe with error bars + a repro repo — or an honest floor.
On approve: pre-register the hypothesis to git → freeze the sealed verifier → run the search, agents in parallel. You stay in the loop on every promotion.
