Almost All Primes are Partially Regular
Registry resolution: resolved. Reported result type: proved. The registry record and named primary source provide the statement and scope.
Exact FrontierDelta
Scope and record
Occurred: Oct 29, 2026
Delta type: REGISTRY REVISION
Assumptions: VibeMathed verification: lean-checked. 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: Almost All Primes are Partially Regular · Partially regular primes
Confidence: Not scored
Registry verification: lean checked · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
Jujian Zhang
human · human collaborator
and the AxiomProver engineering team
human · human collaborator
AxiomProver
model · ai model contributor · Axiom Math
Evan Chen
human · human collaborator
Letong Hong
human · human collaborator
Kenny Lau
human · human collaborator
Seewoo Lee
human · human collaborator
Ken Ono
human · human collaborator
Lineage and corrections
Corrects Almost All Primes are Partially Regular →
Supersedes Almost All Primes are Partially Regular →
This event attributed to Jujian Zhang
This event attributed to and the AxiomProver engineering team
Almost All Primes are Partially Regular parent of this event
Registry resolution: resolved. Reported result type: proved. The registry record and named primary source provide the statement and scope. parent of this event
VibeMathed record: Almost All Primes are Partially Regular evidence for this event
Almost All Primes are Partially Regular evidence for this event
This event attributed to AxiomProver
This event attributed to Evan Chen
This event attributed to Letong Hong
This event attributed to Kenny Lau
This event attributed to Seewoo Lee
This event attributed to Ken Ono
Act on this frontier