Open problem, Arithmetic and number theory, posed 100
Odd perfect numbers
Does there exist an odd positive integer that equals the sum of its proper positive divisors — equivalently, an odd integer satisfying , where is the sum-of-divisors function?
As of 2026 no odd perfect number has been found, and whether one can exist remains open. Instead of a direct proof of nonexistence, a web of necessary conditions has been established that any hypothetical odd perfect number must satisfy: by Euler's theorem where is a prime with and ; and its total number of prime factors counted with multiplicity is (Ochem–Rao, 2012); has at least distinct prime factors, and if (Nielsen, 2015); its largest prime factor exceeds (Goto–Ohno, 2008), its second largest exceeds , and its largest prime-power component exceeds . However, as Sylvester and later researchers noted, cyclotomic factorizations of apply equally to 'spoof' factorizations where a prime factor is replaced by a composite quasi-prime, and since Descartes's spoof exists, purely local divisibility chains face a spoof barrier unless they use a deeper global property of primes.
Best known results
- Euler's structural theorem: any odd perfect number has the form with prime, , and (Euler, 1747).
- Any odd perfect number satisfies , has prime factors with multiplicity, and has a prime-power component (Ochem–Rao, 2012).
- Any odd perfect number has at least distinct prime factors, and if (Nielsen, 2015).
Tools and where they stop
| Tool | Achieved | Where it stops |
|---|---|---|
| Cyclotomic factorization chains and branch-and-bound search (Brent–Cohen–Ochem–Rao) | Propagates prime divisors of through using factor tables of cyclotomic polynomials to rule out all candidates up to . | Any finite search tree can only push the lower bound on higher and encounters unfactored composite numbers of hundreds of digits along deep branches. |
| Abundancy inequalities and Diophantine bounds on (Sylvester, Nielsen) | Uses the inequalities to bound the smallest prime factors when is fixed, ruling out . | Each increment in causes a combinatorial explosion of cases, and purely local multiplicative relations also hold for Descartes-type 'spoof' odd perfect numbers, which do exist. |
Open questions
- Can one prove that no odd perfect number is divisible by , , or — or more generally establish a lower bound on the smallest prime factor that grows faster than the upper bound forced by ?
- Is there an invariant that distinguishes true prime factorizations from Descartes-type spoof factorizations well enough to bypass the spoof barrier in ?
References
- Leonard Eugene Dickson (1919). History of the Theory of Numbers, Volume I: Divisibility and Primality
- Pascal Ochem, Michaël Rao (2012). Odd perfect numbers are greater than · DOI:10.1090/s0025-5718-2012-02563-4
- Pace P. Nielsen (2015). Odd perfect numbers, Diophantine equations, and upper bounds · DOI:10.1090/s0025-5718-2015-02941-x
- Takeshi Goto, Yasuo Ohno (2008). Odd perfect numbers have a prime factor exceeding · DOI:10.1090/s0025-5718-08-02050-4