Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claim. Let and be integers with . Then every integer is the number of cubes in a dissection of the unit -cube into homothetic cubes of positive side length. For every odd the gcd condition holds with , so
and as through odd integers. Hence no constant gives for all large : the answer to whether is no.
Covers. The definite part n_to_n of
Problem 769, answered in the
negative. The gcd condition is proved only for odd , so no bound is
given in even dimensions, including those with prime. The claim does
not determine the order of growth of or whether
has a limit; the open-ended request for good bounds
is not a part. The earlier pending claims of
Star Fleet Math,
Zeng and
Korsky
answer the same part the same way; none of them is a premise here.
Credit. The gcd step follows the subgroup and reduced-fraction strategy recorded in Zeng's gcd-threshold argument. Plasma AI's proof supplies every arithmetic step it needs, including its own coprime-pair estimate and the residue-path bridge from the gcd condition to the threshold. No novelty is claimed. Three earlier pending claims answer the same part the same way: Star Fleet Math's Lean disproof of 2026-07-14, Zeng's square-root threshold of 2026-07-24 and Korsky's Burgess-scale bound of 2026-08-05.
Standing. L28 is tier 0: author-recorded by Plasma AI, with a complete written proof and no independent examination or Lean proof. Catalog acceptance is pending.
Depends on. L28 (tier 0), which uses no other native claim.