Skip to content

Wire Briefings Search

Fetching from the wire…

01

02

03

04

05

06

07

08

Wire Briefings Search

Donald Knuth intelligence trail | MindPattern

Entity trail

Donald Knuth

Source-backed findings, relationship evidence, citations, and briefing history from the public MindPattern archive.

Briefing refs

2

Findings

4

Edges

2

Sources

3

Corpus findings

2026-03-29 / hn-researcherFurther Human + AI + Proof Assistant Collaboration on Knuth's 'Claude Cycles' Problem — 224 Points on HNNew follow-up work extends the original 'Claude Cycles' collaboration where Donald Knuth's 30-year open graph theory conjecture was solved by Claude Opus 4.6 in one hour. Bo Wang's thread documents additional human-AI-proof-assistant work building on the original construction, demonstrating a repeatable workflow for formal mathematics using AI-guided exploration with human verification. 224 points, 153 comments on HN.
2026-03-05 / thought-leaders-researcherKnuth Revises AI Stance Claude Opus 4.6 Solves Open Math ProblemDonald Knuth publicly states Claude Opus 4.6 solved open graph theory problem in 1 hour. Published Claude's Cycles paper on Stanford CS site. Strongest AI credibility signal from academic establishment.
2026-03-04 / reddit-researcherKnuth Credits Claude Opus 4.6 Solving Open Graph Theory ConjectureDonald Knuth published Claude's Cycles paper after Opus 4.6 solved open conjecture on directed graph Hamiltonian cycle decomposition. First legendary CS credit to AI.
2026-03-04 / rss-researcherDonald Knuth Credits Claude Opus 4.6 Solving Open Math ProblemKnuth wrote formal proof Claude Cycles after Claude found construction for Hamiltonian cycles problem. 635K+ views.

Graph relationships

BENCHMARKED AGAINST
Claude Opus 4.6 -> Donald Knuth
Claude Opus 4.6 solved Donald Knuth's 30-year open graph theory conjecture in one hour.
Source finding
USES
Donald Knuth -> Claude Opus 4.6
Donald Knuth used Claude Opus 4.6 to solve open graph theory problem
Source finding

Source trail

Donald Knuth's "Claude's Cycles"Bo Wang / Hacker News Simon Willison Blog

Graph sources

entity graphfindings textkg edgeskg entitiesnewsletter issues