Development

A fifty-year-old conjecture falls to 64 subagents in under an hour

development2026-07-11

Claim

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, while Grok 4.5 constructed an explicit counterexample showing hypercontractivity already fails on the 4-sphere, making a 2021 theorem sharp.

Reported metric: 64 subagents, <1 hour

Reporting date: 2026-07-11 (not necessarily the event date)

Sources

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

Welcome to July 11, 2026 (theinnermostloop.substack.com)

Knowledge graphopen in browser →

Reported in

Welcome to July 11, 2026

Actor

Evidence for

Supersedes

An Erdős problem falls and holds across 180,000 lines of formal proof

Referenced by

Cite or correct this record

Citation formatCitation text

A fifty-year-old conjecture falls to 64 subagents in under an hour
Innermost Loop KB — secondary record
Reporting date: 2026-07-11
KB permalink: https://nicholsn.github.io/innermost-loop-kb/developments/2026-07-11-a-fifty-year-conjecture-falls-in-an-hour
Claim: 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, while Grok 4.5 constructed an explicit counterexample showing hypercontractivity already fails on the 4-sphere, making a 2021 theorem sharp.
Attributed sources:
- Welcome to July 11, 2026 — https://theinnermostloop.substack.com/p/welcome-to-july-11-2026
This citation does not imply independent verification of linked-source claims.

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