Vela

Let be a complete sequence, and define the threshold of completeness to be the least integer such that all are in(the existence of is guaranteed by completeness). Is it true that there are infinitely many such that ?

Worked, still open.

number theory · open · 0 attempts

use this record

vela registry pull vfr_37aec80d874a0239
vela reproduce examples/erdos-problems

evidence

unverified AI candidates (2)

gpt-erdos · GPT-5.2 Pro + Deep Research · unverified

For the specific power sequences [ A_k={1^k,2^k,3^k,\dots}, ] it is classical that (A_k) is complete for every $k$ [[nomath]](so $T(A_k)$ exists)[[/nomath]]. This goes back to Sprague (1948), with later generalisations by Roth–Szekeres and an “elementary” proof by Graham; see e.g. Kim’s paper for a summary and explicit…

candidate solution ↗

llm-hunter · gpt pro 5.2 · unverified

1 LLM attack(s) recorded (gpt pro 5.2); unverified.

candidate solution ↗

oeis

status

open

notary

vela reproduce examples/erdos-problems
  • packet.json · sha256 7d30ad70fcdc469120ea902a60f941e5e790457cc25102cbaca71c71e7390199

finding.noted · reviewer:will-blair · 1 day

renders the record as of vev_d199cb2e · 1,338 events · hub

Search Vela

Jump to a section, signal, campaign, document, primitive, work path, frontier, record index, atlas, constellation, agent, capability, or full-state search.