PulseAugur
EN
LIVE 14:31:18

AI and human collaboration fully resolves Donald Knuth's "Claude Cycles" problem

By PulseAugur Editorial · [1 sources] ·

An AI startup has collaborated with Professor Donald Knuth on his "Claude Cycles" problem, a graph decomposition conjecture. Initially, an AI system named Claude Opus 4.6 explored the problem for about an hour, leading to a paper titled "Claude's Cycles." Subsequent work involved multiple AI systems and humans, with GPT-5.4 Pro and a combined Claude and GPT approach contributing to the full resolution of both odd and even cases of the problem. The efforts were further solidified by formalizing proofs using tools like Lean, creating a comprehensive mathematical ecosystem around the problem. AI

IMPACT Demonstrates AI's growing capability in complex mathematical problem-solving and formal verification, potentially accelerating research across scientific disciplines.

RANK_REASON The cluster details the resolution of a mathematical conjecture through the use of AI systems and human collaboration, including formal verification. [lever_c_demoted from research: ic=1 ai=1.0]

Read on HN — AI startup stories →

AI-generated summary · Google Gemini · from 1 sources. How we write summaries →

AI and human collaboration fully resolves Donald Knuth's "Claude Cycles" problem

How we ranked this

Signal score
0 / 100
Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket
Tool
The cluster details the resolution of a mathematical conjecture through the use of AI systems and human collaboration, including formal verification. [lever_c_demoted from research: ic=1 ai=1.0]
Source corroboration
Single-source cluster
Only one publisher covered this so far. Single-source stories can still rank when the publisher is high-authority, but they lack cross-source corroboration.
Topics
paper, other
Editorial topic classification. Feeds into how the story surfaces on /topic/<slug> hub pages and into the per-entity coverage mix.
AI-industry relevance
High
Clearly on-topic for AI-industry coverage.
Story freshness
169 days old
Aged out of breaking-news scoring windows; ranking reflects the durable signal from the full source set.

Full methodology in our editorial standards.

COVERAGE [1]

  1. HN — AI startup stories TIER_1 English(EN) · mean_mistreater ·

    Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem

RELATED ENTITIES

RELATED TOPICS