Issue

Welcome to July 11, 2026

issue

Reporting date: (not necessarily the event date)

Sources

Attribution and reporting linked by this record; links do not imply independent verification.

A day after release, GPT-5.6 Sol Ultra proved the fifty-year-old Cycle Double Cover Conjecture using 64 subagents in under an hour. Careful readers noted the Erdős unit-distance solver was something else entirely — which means the lab has been sitting on stronger models for months.

The magic you can rent lags the magic in the vault.

Development timeline

Newest reporting dates first. Reporting dates may differ from event dates.

    Knowledge graphopen in browser →

    Covers

    Cite or correct this record

    Suggest a correction — opens a GitHub draft for you to review and submit.