Problem detail · source-aware
VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
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.
The source statement is reproduced for indexing with attribution. Mathematical correctness requires domain-expert or mechanical review. VibeMath has not independently audited statement fidelity, correctness, priority, or novelty.
"The theorem proving partial regularity for almost all primes is fully formalized in Lean/Mathlib and was produced automatically by AxiomProver from a natural-language statement of the conjecture." The human authors prepared the mathematical exposition from the formal development as reference.
Provider: Axiom Math · Prompt public: unknown · Independence: unknown
Fully formalized and kernel-checked in Lean/Mathlib, produced autonomously by AxiomProver; no independent review of the informal-to-formal correspondence yet. Tier: AxiomProver produced both the proof and the Lean statement; the correspondence to the informal claim has not been independently audited.
Correctness: supported · statement fidelity: unaudited · peer review: none
VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
Source-reported tools: argument.
Independent: unknown · difference confidence: 0
VibeMath has not independently audited the mathematical statement, proof, or novelty claim.