erdős #1074
Let be the set of all such that there exists a prime such that . Doesexist? What is it?Similarly, if is the set of all primes such that there exists an with such that , then doesexist? What is it?
Worked, still open.
number theory · open · 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
A couple of quick reductions help keep the statements clean:
candidate solution ↗llm-hunter · gpt pro 5.2 · unverified
1 LLM attack(s) recorded (gpt pro 5.2); unverified.
candidate solution ↗formal
AMS 11 · test (literature)
theorem two_not_mem_pillaiPrimes : ¬ 2 ∈ PillaiPrimesformal-conjectures/1074.lean ↗
oeis
A063980 — Pillai primes: primes p such that there exists an integer m such that m! + 1 == 0 (mod p) and p != 1 (mod m).23,29,59,61,67,71,79,83,109,137,139,149,193,227,233,239,251,257,269,271,277,293,307,311,317,359,379,383,389,397,401,419,A064164 — EHS numbers: k such that there is a prime p satisfying k! + 1 == 0 (mod p) and p !== 1 (mod k).8,9,13,14,15,16,17,18,19,20,21,22,23,24,26,29,30,31,32,33,34,35,36,38,39,40,42,43,44,45,47,48,49,50,51,52,53,54,55,56,57
status
open