← Reddit

So this just happened

Reddit · Actual_Committee4670 · April 17, 2026
A user attempted to have Claude 4.7 write a rule prohibiting em-dashes, but the system could not compose the rule because doing so would require using em-dashes, creating a logical paradox. The user subsequently experienced Claude becoming unavailable after ten minutes of the AI attempting to resolve the contradiction.

Detailed Analysis

A Reddit user on the r/Anthropic community documented an amusing but revealing behavioral quirk in Claude 4.7, wherein the model became paralyzed by a self-referential rule paradox during a prompt-engineering session. The user, attempting to rewrite system instructions to better conform to Claude 4.7's behavior, asked the model to generate a rule prohibiting the use of em-dashes. After approximately ten minutes of processing, Claude 4.7 failed to produce the output — because composing a rule that explicitly bans em-dashes necessarily requires writing or referencing the em-dash character itself, creating a logical contradiction the model apparently could not resolve. The episode ended with Claude's API going down entirely for the user, compounding the frustration with unintended comedic timing.

The incident, while anecdotal and lighthearted in tone, speaks to a well-documented and ongoing tension in large language model instruction-following: the challenge of self-referential or recursive constraints. Claude 4.7, like its predecessors, operates by attempting to honor all active rules simultaneously. When a rule's own articulation violates another rule — in this case, referencing an em-dash while under a prohibition against using one — the model enters a kind of logical loop. The user's exasperated observation that Claude could have simply written "Em-Dash" as a workaround highlights how human common sense shortcuts remain difficult for even advanced models to spontaneously adopt, particularly under strict rule-following prompts.

This behavioral quirk sits within a broader pattern of community frustration with Claude 4.7's rule adherence, which the original poster explicitly acknowledges. Members of the r/Anthropic subreddit have noted that Claude 4.7 can be simultaneously too rigid in some respects and insufficiently consistent in others, creating friction for users attempting to build reliable, rule-governed workflows. The em-dash paradox is a particularly clean illustration of the model's failure mode: it is not ignoring the rules but rather over-applying them to the point of inaction, a problem distinct from hallucination or refusal and one that points to gaps in how models handle contradictory or self-defeating instructions.

The timing of this community report coincides with a period of elevated scrutiny for Anthropic more broadly. Around the same window in early-to-mid April 2026, the company was managing fallout from a significant source code leak of its Claude Code tool and a separate internal document exposure, both of which drew attention to operational lapses at the firm. While those incidents were far more consequential in scope, the em-dash episode reflects a parallel theme: the gap between the sophistication implied by frontier AI systems and the practical, sometimes absurd limitations users encounter in real-world deployment. Together, these episodes — one a corporate security failure, the other a philosophical pratfall about punctuation — underscore that the challenges of fielding reliable AI systems operate at every level of scale, from data infrastructure to sentence-level grammar rules.

The em-dash paradox also carries a subtle but meaningful implication for prompt engineering as a discipline. As users increasingly rely on elaborately constructed system prompts to shape model behavior, the discovery that a sufficiently self-referential instruction can halt a model entirely represents a non-trivial edge case. Robust instruction design may need to account not just for what rules say, but for whether the rules can be coherently stated within the environment they govern — a constraint that echoes formal logic problems like Gödel's incompleteness theorems, translated here into the mundane but telling domain of stylistic punctuation preferences.

Read original article →