Source authenticated

Erdős's totient-fiber conjecture: φ(m)=n\varphi(m)=n has more than n1−εn^{1-\varepsilon} solutions for infinitely many nn

Theorem 1.1: for every ε>0\varepsilon>0 there are infinitely many nn with g(n)>n1−εg(n)>n^{1-\varepsilon}, which is optimal in the exponent because g(n)≪ηn1+ηg(n)\ll_\eta n^{1+\eta}. The input is Theorem 1.2: for fixed 0<δ<1/40<\delta<1/4, at least x1−o(1)x^{1-o(1)} primes p∈(2x,5x]p\in(2x,5x] have P+(p−1)≤xδP^+(p-1)\le x^\delta; in particular there are infinitely many primes with P+(p−1)≤pεP^+(p-1)\le p^\varepsilon for every ε>0\varepsilon>0. It does not give a positive proportion of such primes (that stronger statement is in the Poisson-Dirichlet companion), and the o(1)o(1) is not made explicit.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Sep 24, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: announcement. 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: Erdős's totient-fiber conjecture: $\varphi(m)=n$ has more than $n^{1-\varepsilon}$ solutions for infinitely many $n$ · Erdos Problem #821: large totient fibers · Problem 821

Confidence: Not scored

Registry verification: unreviewed · announcement · candidate

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Unreleased internal OpenAI model
model · ai model contributor · OpenAI

Lineage and corrections

Theorem 1.1: for every ε>0\varepsilon>0 there are infinitely many nn with g(n)>n1−εg(n)>n^{1-\varepsilon}, which is optimal in the exponent because g(n)≪ηn1+ηg(n)\ll_\eta n^{1+\eta}. The input is Theorem 1.2: for fixed 0<δ<1/40<\delta<1/4, at least x1−o(1)x^{1-o(1)} primes p∈(2x,5x]p\in(2x,5x] have P+(p−1)≤xδP^+(p-1)\le x^\delta; in particular there are infinitely many primes with P+(p−1)≤pεP^+(p-1)\le p^\varepsilon for every ε>0\varepsilon>0. It does not give a positive proportion of such primes (that stronger statement is in the Poisson-Dirichlet companion), and the o(1)o(1) is not made explicit. parent of this event

Erdős Problem #821 (erdosproblems.com) evidence for this event

This event attributed to Unreleased internal OpenAI model

VibeMathed record: Erdős's totient-fiber conjecture: φ(m)=n\varphi(m)=n has more than n1−εn^{1-\varepsilon} solutions for infinitely many nn evidence for this event

Companion: Weighted dilation graphs, smooth shifted primes and totient fibers evidence for this event

Erdős's totient-fiber conjecture: φ(m)=n\varphi(m)=n has more than n1−εn^{1-\varepsilon} solutions for infinitely many nn parent of this event

The Ford-Konyagin-Luca conjecture: the prime factors of p−1p-1 follow the Poisson-Dirichlet law evidence for this event

Companion: Prime predecessors with an even number of prime factors evidence for this event

Act on this frontier

Verify, challenge, or extend the result.