Source authenticated

Thakur's Conjecture on Carlitz-Wieferich Primes

Registry resolution: resolved. Reported result type: disproved. The registry record and named primary source provide the statement and scope.

Exact FrontierDelta

disproved→disproved

Scope and record

Occurred: Oct 29, 2026

Delta type: REGISTRY REVISION

Assumptions: VibeMathed verification: site-confirmed. Publication: preprint. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.

Canonical aliases: Thakur's Conjecture on Carlitz-Wieferich Primes · Carlitz-Wieferich primes

Confidence: Not scored

Registry verification: site confirmed · preprint · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Claude Opus 4.8
model · ai model contributor · Anthropic

David Niedbala Giraudin
human · human collaborator

Evidence vector

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Named evidence

VibeMathed record: Thakur's Conjecture on Carlitz-Wieferich Primes

specialist registry · passed

Independently reproduced. We recomputed the claim from the definitions in arXiv:2607.15305, from scratch and with no computer-algebra dependency, so the check shares no code with the author's appendix. Confirmed: $x^3-8x^2-4x-11$ is irreducible over $\mathbb{F}_{19}$ , so $\mathbb{F}_{19^3}$ is a field; $P$ is monic of degree $5$ , irreducible over $\mathbb{F}_{19^3}$ , and genuinely uses the cubic extension; and $\rho_P(1) \equiv 1 \bmod P^2$ , which is the definition of a $c$ -Wieferich prime, computed through the Carlitz recursion inside $\mathbb{F}_q[T]/(P^2)$ . The Bamunoba-Bergstrom criterion the paper cites, $M_5(\theta) = 0$ , was computed by a separate route and agrees. We also confirmed that $\mu(X)$ divides $X + X^q + \cdots + X^{q^4}$ , which is what makes $G = \mu(T^q - T)$ divide $[5]$ . Since $19 \nmid 5$ , the counterexample stands. This matters more than usual here because the author states he cannot verify the mathematics directly. arXiv preprint (v2), not peer-reviewed.

Source ↗

Thakur's Conjecture on Carlitz-Wieferich Primes

preprint · pending

Primary source named by the VibeMathed record. Presence in this import is not an independent mathematical verification.

Source ↗

Lineage and corrections

Corrects Thakur's Conjecture on Carlitz-Wieferich Primes →

Supersedes Thakur's Conjecture on Carlitz-Wieferich Primes →

Registry resolution: resolved. Reported result type: disproved. The registry record and named primary source provide the statement and scope. parent of this event

Thakur's Conjecture on Carlitz-Wieferich Primes parent of this event

VibeMathed record: Thakur's Conjecture on Carlitz-Wieferich Primes evidence for this event

This event attributed to David Niedbala Giraudin

Thakur's Conjecture on Carlitz-Wieferich Primes evidence for this event

This event attributed to Claude Opus 4.8

Act on this frontier

Verify, challenge, or extend the result.

Help verify Open canonical problem Explore evidence graph