Problem 363

Is it true that there are only finitely many collections of disjoint intervals $I_1,\ldots,I_n$ of size $\lvert I_i\rvert \geq 4$ for $1\leq i\leq n$ such that

\prod_{1\leq i\leq n}\prod_{m\in I_i}m

is a square?

Source: erdosproblems.com/363

Number theory

Wiki page

Status

SolvedDisproved

An accepted solution exists. The statement is false.

DISPROVED (LEAN). The "(LEAN)" suffix is the site's catalog label; the disproofs, their acceptance and the Lean formalization are recorded on the claim pages, and the corpus has built no Lean for this problem.

Problem 363

Status

Proof claims

Discussion