r/singularity Spots a Real Math Result in Claude Opus 4.6

Why Reddit paid attention

A highly upvoted r/singularity post linked to Donald Knuth’s note Claude’s Cycles. In the opening paragraph of that note, Knuth says he was shocked to learn that an open problem he had been working on for several weeks had just been solved by Claude Opus 4.6, Anthropic’s hybrid reasoning model released only a few weeks earlier. The problem emerged while he was writing about directed Hamiltonian cycles for a future volume of The Art of Computer Programming. That alone makes the episode notable: this is not a casual social-media claim but a named mathematician writing an explicit note under his own byline.

The mathematical problem is specific. Knuth describes a digraph with m^3 vertices ijk and three outgoing arcs from each vertex, then asks for a general decomposition of those arcs into three directed m^3-cycles for all m > 2. The note does not present the model as a magical black box. Instead, it records stages of exploration such as a cyclic ansatz, a DFS search attempt, and what Claude called a 2D serpentine analysis. That research-log structure is part of what makes the case worth reading: it looks more like mathematical workflow than benchmark theater.

Why the case feels different

The author is Donald Knuth himself, not a third-party commentator.

The conjecture arose from active work on a future TAOCP volume.

Knuth explicitly frames the outcome as evidence of progress in automatic deduction and creative problem solving.

Search snippets from the note indicate that Claude found one valid route among many possible solutions for odd m.

That is why the Reddit thread landed. The excitement is not just that an LLM answered a hard question. It is that a famous researcher published an informal note saying a frontier model materially advanced a live combinatorics task. Knuth even writes that he may have to revise his opinions about generative AI. In context, that reads as a marker that reasoning models are starting to matter inside serious expert workflows, not only inside toy problem collections.

It is still important to read the evidence carefully. Claude’s Cycles is an informal note, not yet a peer-reviewed paper, and the exact division of labor between model discovery and human mathematical framing deserves continued scrutiny. Even with that caution, the episode is unusually concrete. It shows LLM-based reasoning tools entering advanced mathematics not as decoration, but as potentially useful collaborators in exploratory proof work.

Source: Donald Knuth, Claude’s Cycles. Community discussion: r/singularity thread.