Vela

erdős #1052 · unitary perfect numbers

← #1051 · #1053 (packet.json; erdosproblems.com)

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_37aec80d874a0239
vela reproduce examples/erdos-problems

evidence

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}.Finite
formal-conjectures/1052.lean ↗

oeis

status

open

notary

vela reproduce examples/erdos-problems
  • packet.json · sha256 5d7f265c35d7bc3f373e0c268c0d69eac51d3a3770b7a6bafff1f2407a46d111

finding.noted · reviewer:will-blair · 1 day

renders the record as of vev_d199cb2e · 1,338 events · hub

Search Vela

Jump to a section, signal, campaign, document, primitive, work path, frontier, record index, atlas, constellation, agent, capability, or full-state search.