Almost All Primes are Partially Regular
In the circle of Kummer's regular primes and Vandiver's conjecture, the paper proves that almost all primes are partially regular, yielding a partial Vandiver theorem for a density-one set of primes, with consequences for Kubota-Leopoldt p-adic L-functions, Eisenstein congruences and K-theory torsion.
Exact FrontierDelta
Scope and record
Occurred: Feb 4, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-checked. Publication: preprint. AI contribution: ai-discovered. Imported under CC BY 4.0.
Canonical aliases: Almost All Primes are Partially Regular · Partially regular primes
Confidence: Not scored
Registry verification: lean checked · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
AxiomProver
model · ai model contributor · Axiom Math
Kenny Lau
human · human collaborator
Ken Ono
human · human collaborator
Evan Chen
human · human collaborator
Jujian Zhang
human · human collaborator
Letong Hong
human · human collaborator
Seewoo Lee
human · human collaborator
and the AxiomProver engineering team
human · human collaborator
Lineage and corrections
This event attributed to and the AxiomProver engineering team
This event attributed to Kenny Lau
This event attributed to Ken Ono
This event attributed to Evan Chen
This event attributed to Jujian Zhang
This event attributed to Letong Hong
This event attributed to Seewoo Lee
This event attributed to AxiomProver