Loading problem…
Status
On this page
Status
Topics
Problem 1148
Can every large integer be written as with ?
Source: erdosproblems.com/1148
- Number theory
Status
Solved, ProvedAn accepted solution exists. The statement is true.
PROVED (LEAN): the site credits Chojecki and GPT-5.4 Pro with a deduction from Duke's theorem in the form of [ELMV12]; the Lean development behind the label proves the theorem from that theorem taken as a hypothesis. The accepted claim page is Chojecki 2026.