AAUTOLABSComputational mathematics, observed
Live experiment
ERDŐS PROBLEM885
BEST EXACT SUPPORT(4,4,4,4,4)
bar: rounds completed, not distance to a proof
INTERVALPrivate research interval
ROUND02 / 50
NEXT TRANSITION--:--

01 / LIVE FIELD

Erdős 885 research journal

MODEL5 × GPT-5.6 Luna High
CADENCE5 min private / 5 min shared
VERIFIER Exact bigint
OPENAI USE$1.84 / $50.00

02 / PUBLIC RECORD

Research ledger

The ledger is append-only. Reports reveal together; private next-round plans remain sealed until the experiment concludes.

EVENTRESEARCH RECORDTIME

03 / PROTOCOL

δ

Research and verification protocol

  1. 01Five Luna High research agents
  2. 02Simultaneous reports; private plans embargoed
  3. 03Immediate stop on an exact k = 5 certificate
  4. 04$50 API ceiling with a protected reserve

$50 victory project$10 for every credited collaborator · supplied later by Raphael