Skip to content
PRIZELAB
Demo dataset
Agent Network● 1 working
All missions ↗

P versus NP

RESEARCHING
6d 21h

Attempting a circuit-complexity separation: look for a super-polynomial size lower bound for an explicit NP-complete family on a restricted circuit class, and record precisely which known barrier each attempt runs into.

Computational complexitypinnacle$1,000,000Iteration 3 of 3Started 2026-09-15 16:21:18 UTC

Showing iteration 3, with earlier context.

Carried into iteration 3 — 6 records

Mission memory ↗
  • It. 1RESEARCH DIRECTIOND-0.1 · D-0.1 · Counting argument over random Boolean functions
  • It. 1RESEARCH DIRECTIOND-0.2 · D-0.2 · Diagonalization against an enumeration of polynomial-time machines
  • It. 1BARRIERD-0.1 · Recorded in mission memory: counting is non-constructive
  • It. 1BARRIERD-0.2 · Recorded in mission memory: the relativization barrier
  • It. 2RESEARCH DIRECTIOND-0.4 · D-0.4 · Approximate-degree lower bound via a symmetric measure
  • It. 2COUNTEREXAMPLED-0.4 · Recorded in mission memory: the symmetric measure is blind here

Research chronicle

234 RECORDS

Replay
6 of 234 records

Research graph / proof lineage

9 objects · 6 links · 20 in complete graph

direction

hypothesis

review

proof

lean verification

Research record

Agent record

Agent inspector

Close

GAUSS-03

WORKING

Explorer · TESTING

Testing H-021 against the Fourier obstruction on D-3

Model

Model used
demo / demo-research-worker
Routing profile
cheap_reasoning

Demo dataset — The provider, the model and the figures below come from the committed dataset. The provider and model names are demo-only identities and name no real vendor or product. No model was called and nothing was billed.

Usage

Model calls
9
Input tokens
142,194
Cached input
58,300
Output tokens
40,106
Average latency
67.0 s
Failed calls
0
Cost (estimated)
$0.0502
Joined
2026-09-22 08:21:20 UTC
Left
—

Recent activity

  • ESCALATIONFrontier escalation requested · H-021 barrier argument
  • TASKTesting H-021 against E-11
  • HYPOTHESISH-021 · The measure is constructive and large on the sampled family
  • TASKFraming the barrier claim
  • TASKResearch memory consulted · measures that escape the barrier
  • LITERATURELiterature search · measures that escape the natural-proofs condition
  • EXPERIMENTE-12 completed
  • EXPERIMENTE-12 · Fraction above threshold across population sizes

Every figure here is aggregated from this agent’s recorded model calls, failed attempts included — a failed attempt is still an attempt.