erdős #1052 · unitary perfect numbers
A unitary divisor of is such that . A number is a unitary perfect number if it is the sum of its unitary divisors (aside from itself).Are there only finite many unitary perfect numbers?
Worked, still open.
number theory · open · prize $10 · formalized (Lean) · 0 attempts
use this record
vela registry pull vfr_37aec80d874a0239vela reproduce examples/erdos-problemsevidence
unverified AI candidates (2)
gpt-erdos · GPT-5.2 Pro + Deep Research · unverified
Let [ \sigma^*(n)=\sum_{\substack{d\mid n\(d,n/d)=1}} d ] be the **sum of the unitary divisors** of $n$. Then $n$ is *unitary perfect* exactly when the sum of the **proper** unitary divisors is $n$, i.e. [ \sigma^*(n)=2n. ]
candidate solution ↗llm-hunter · codex 5.2 extra high, gpt pro 5.2 · unverified
2 LLM attack(s) recorded (codex 5.2 extra high, gpt pro 5.2); unverified.
candidate solution ↗formal
AMS 11 · open (literature)
theorem erdos_1052 :
answer(sorry) ↔ {n | IsUnitaryPerfect n}.Finiteformal-conjectures/1052.lean ↗oeis
links
unitary perfect number · reference
status
open