Development

Decades-old conjectures fall in a day and become a national line item

development2026-07-23

Claim

Devin cracked a batch of decades-old graph conjectures in a day from a single tweet, GPT-5.6 Pro helped refute the 30-year Dinitz-Garg-Goemans conjecture, and the Genesis Mission ballooned into a $5 billion, 15-agency national program.

Reported metric: $5B / 15 agencies

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

Sources

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

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

Knowledge graphopen in browser →

Reported in

Welcome to July 23, 2026

Actor

Evidence for

Supersedes

A $200 billion research budget is redirected toward individuals and AI

Referenced by

Cite or correct this record

Citation formatCitation text

Decades-old conjectures fall in a day and become a national line item
Innermost Loop KB — secondary record
Reporting date: 2026-07-23
KB permalink: https://nicholsn.github.io/innermost-loop-kb/developments/2026-07-23-conjectures-become-a-line-item-and-a-meme
Claim: Devin cracked a batch of decades-old graph conjectures in a day from a single tweet, GPT-5.6 Pro helped refute the 30-year Dinitz-Garg-Goemans conjecture, and the Genesis Mission ballooned into a $5 billion, 15-agency national program.
Attributed sources:
- Welcome to July 23, 2026 — https://theinnermostloop.substack.com/p/welcome-to-july-23-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.