AWESOME AI PROOFS
← Problems
Research / May 2026

Erdős #1217: divisibility chains

Does positive doubly logarithmic density force a comparably dense infinite divisibility chain?

Model / AI: GPT-5.4 Pro

verified