Reddit user Artwastelander claims Claude Code (Fable 5.1) produced a valid proof that 31 three-point lines is the maximum for 15 points in the orchard problem, which would extend AI-assisted resolution of open combinatorial-geometry cases.
state: expiredheat: lowuncertainty: highknownscott: nonecoding-agents ai-assisted-mathematics claude-codeArtwastelander
What is this?
A Reddit user (Artwastelander) claims that Claude Code, running a model referred to as 'Fable 5.1', produced a proof that 31 three-point lines is the maximum for 15 points in the orchard-visibility/orchard problem, a decades-old open combinatorial-geometry question. The supplied snippets show a cluster of similar unverified claims (a cipher solved, a conjecture disproved, this proof) circulating on Reddit around the same model, but none of the results confirm formal verification (e.g., Lean/Isabelle checking) of this specific proof — one snippet explicitly notes verification is the recommended next step, not something that happened. The material is thin and self-reported; there's no mathematician, journal, or independent source confirming the result here, only social-media claims.
Why it matters to Scott
This is one more unverified social-media claim of an AI-generated math proof, the same pattern the radar already tracks extensively (claude-fable-jacobian-counterexample, claude-borsuk-counterexample, claude-hadamard-668-verification, gpt-5.6 proof claims, ai-mathematics concept spanning 5 episodes) and that Scott's own claim-bounded adversarial verification / trace-backed agent comparison concepts already address as a general epistemics pattern. It's an example of a pattern Scott already holds a position on, not new evidence or a new angle — no mathematician or formal verification confirms it, and the case adds nothing beyond the existing cluster.
dev:concept.claim-bounded-adversarial-verificationradar:concept.ai-mathematicsradar:claude-fable-jacobian-counterexampleradar:claude-borsuk-counterexampleradar:claude-fable-5-coding-value
queries asked of Scott's wikis
- AI-assisted proof verification workflows and trust
- coding agent claims vs verified output track record
- Claude Code capability claims skepticism
- formal verification tooling Lean Isabelle agent pipelines
- hype cycles around AI math breakthroughs
- epistemics of unverified AI-generated claims on social media
Measured heat
no measured readings yet — the hourly heat pass fills this in
How the heat travelled
no chain yet — the hourly chain pass fills this in
Evidence (1) — ⭐ canonical anchor
Interpretation history
2026-09-06T23:50:19Z
Comment count grew but upvote ratio fell (0.25) and no independent or formal-verification confirmation appeared; still a single unverified self-reported claim matching an already-discounted pattern. Nothing left to develop within horizon.
2026-09-06T23:33:11Z
grounded: known/low — This is one more unverified social-media claim of an AI-generated math proof, the same pattern the radar already tracks extensively (claude-fable-jacobian-count
2026-09-06T23:27:17Z
case created — Single low-engagement first-party claim of a new AI-assisted math result, distinct from the elliptic-curve, Hopf, and Berge-Fulkerson cases already open.
Decision trace
- 09-07 09:50expireComment count grew but upvote ratio fell (0.25) and no independent or formal-verification confirmation appeared; still a single unverified self-reported claim matching an already-discounted pattern. N
- 09-07 09:50alert_silentNo new substantive evidence; declining engagement quality on an already-discounted unverified claim pattern.
- 09-07 09:50alert_routeNo new substantive evidence; declining engagement quality on an already-discounted unverified claim pattern.
- 09-07 09:48alert_silentSingle unverified Reddit claim of an AI-generated math proof with zero engagement, no mathematician review, no formal verification artifact, no first-party corroboration — matches existing cluster of
- 09-07 09:48alert_routeSingle unverified Reddit claim of an AI-generated math proof with zero engagement, no mathematician review, no formal verification artifact, no first-party corroboration — matches existing cluster of
- 09-07 09:33groundThis is one more unverified social-media claim of an AI-generated math proof, the same pattern the radar already tracks extensively (claude-fable-jacobian-counterexample, claude-borsuk-counterexample,
- 09-07 09:27createSingle low-engagement first-party claim of a new AI-assisted math result, distinct from the elliptic-curve, Hopf, and Berge-Fulkerson cases already open.