Does ${1, 2^{3}, \dots, N^{3}}$ contain a Sidon set of size $≫ N$ ?Is there an infinite set $A \subset N$ of positive density such that ${a^{3} : a \in A}$ is a Sidon set?

Worked, still open.

number theory · open · possible · 0 attempts

use this record

vela registry pull vfr_37aec80d874a0239

vela reproduce examples/erdos-problems

links

Vela Sidon frontier (A309370) · verified work

A B₂/Sidon problem — the same object family as Vela's verified Sidon records, where nine improved terms were accepted into OEIS A309370 (the campaign's first external adoption).

OEIS A309370 ↗ · verified-combinatorics (witnesses + verify.py) ↗ · the Erdős campaign

Create a formalisation here · link

status

open

links

status

Search Vela