Radar — 11 Jul 2026

GPT-5.6 Sol Ultra outputs a proof of the 50-year Cycle Double Cover Conjecture
A day after Sol Ultra went GA, its makers say it produced a proof of the ~50-year-old Cycle Double Cover Conjecture using 64 subagents in under an hour — prompt and full proof posted to check.
Amazon: compile an agent's repeated steps into validated, versioned tools
Amazon researchers turn an agent's recurring SOP steps into pre-validated, versioned tools before deploy — cutting p50 latency 42% and error rates up to 53%, and making each run auditable.