Loading problem…
Status
On this page
Status
Topics
Problem 1141
Are there infinitely many such that is prime for all with and ?
Source: erdosproblems.com/1141
- Number theory
- Primes
Status
Solved, DisprovedAn accepted solution exists. The statement is false.
The site labels the problem DISPROVED (LEAN). It credits the finiteness theorem of [APSSV26b], whose authors attribute the proof to an internal OpenAI model; its Lean marker refers to third-party formalizations that this corpus has not built. The standing derives from the claim page (Alexeev, Putterman, Sawhney, Sellke and Valiant, 2026).