number-theory / Number Theory

Erdős Problem #848

Is the maximum size of a set $A\subseteq \{1,\ldots,N\}$ such that $ab+1$ is never squarefree (for all $a,b\in A$) achieved by taking those $n\equiv 7\pmod{25}$? Resolved for all sufficiently large $N$: any near-maximal $A$ is contained in $\{n\equiv 7\pmod{25}\}$ or $\{n\equiv 18\pmod{25}\}$, leaving only a finite check.

10Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

number-theoryNov 20, 2025Significance 10/100Registry: site confirmed

Erdős Problem #848

Prior state unknownproved

Resolved for all sufficiently large N via a stability theorem; small N remain a finite computation (erdosproblems.com marks the problem DECIDABLE)

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Is the maximum size of a set $A\subseteq \{1,\ldots,N\}$ such that $ab+1$ is never squarefree (for all $a,b\in A$) achieved by taking those $n\equiv 7\pmod{25}$? Resolved for all sufficiently large $N$: any near-maximal $A$ is contained in $\{n\equiv 7\pmod{25}\}$ or $\{n\equiv 18\pmod{25}\}$, leaving only a finite check.

Resolved for all sufficiently large N via a stability theorem; small N remain a finite computation (erdosproblems.com marks the problem DECIDABLE)

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.