📡 Radar — 11 Jul 2026

The daily catch for 11 July — all days →

📡 11 Jul 2026

🛠️ AI Development

• News

  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.

• Article

  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.