Formal and computational research on Erdős Problem #993 by Xeit AI.
Description excerpted from the original listing, which is linked below.