Skip to content

Problem

erdos:830

sorry ↔ {(a, b) | IsAmicable a b}.Infinite

Declared status
open
Formalization
formalized
OEIS
A259180

Matching claims

0
No direct claims
This problem has no directly related claim record.

Search problems.science

Find a Problem, Result, source, or page