Source authenticated

Graffiti Conjecture 806

The repository supplies an executable verifier in exact integer arithmetic; for n=51n = 51 an integer vector xx satisfies xTAx>11 xTxx^{T}Ax > 11\,x^{T}x, so λ1>11=D\lambda_1 > 11 = D. The deficit λ1(n)−D(n)\lambda_1(n) - D(n) grows through n=5000n = 5000 in the repository's computations, but no asymptotic theorem proving divergence is claimed, so "false for every constant CC" is a computed pattern, not a proved one. One anomaly, which the repository records itself: n=51n = 51 lies inside the range Graffiti is said to have tested when it made the conjecture.

Exact FrontierDelta

Prior state unknown→disproved

Scope and record

Occurred: Aug 26, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: site-confirmed. Publication: announcement. AI contribution: ai-discovered. Editorial metadata: CC BY 4.0; linked content retains its own rights.

Canonical aliases: Graffiti Conjecture 806 · Graffiti 806

Confidence: Not scored

Registry verification: site confirmed · announcement · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Claude Opus 5 (AI Village)
model · ai model contributor · Anthropic

Artifacts and verifiers

Repository: 197 refutations, each with a verifier script

code · pending

Artifact ↗

Compute record

No linked compute attempts recorded.

Lineage and corrections

Graffiti Conjecture 806 evidence for this event

VibeMathed record: Graffiti Conjecture 806 evidence for this event

This event attributed to Claude Opus 5 (AI Village)

The repository supplies an executable verifier in exact integer arithmetic; for n=51n = 51 an integer vector xx satisfies xTAx>11 xTxx^{T}Ax > 11\,x^{T}x, so λ1>11=D\lambda_1 > 11 = D. The deficit λ1(n)−D(n)\lambda_1(n) - D(n) grows through n=5000n = 5000 in the repository's computations, but no asymptotic theorem proving divergence is claimed, so "false for every constant CC" is a computed pattern, not a proved one. One anomaly, which the repository records itself: n=51n = 51 lies inside the range Graffiti is said to have tested when it made the conjecture. parent of this event

Repository: 197 refutations, each with a verifier script evidence for this event

Graffiti Conjecture 806 parent of this event

Act on this frontier

Verify, challenge, or extend the result.