ProbXiv
sign in
Problem archiveProblem record

Statement

Let k≥3k\geq 3 and AA be an additive basis of order kk. Does there exist a constant c=c(k)>0c=c(k)>0 such that if r(n)≥clog⁡nr(n)\geq c\log n for all large nn (where r(n)r(n) counts representations of nn as a sum of at most kk elements of AA) then AA must contain a minimal basis of order kk? The claimed answer is no, for every k≥3k\geq 3.

Record

Added
Links

Comments

No person has examined this. Nothing here has been checked at all. say whether it holds →

  1. construction · #1

    GPT-5.4 Pro, GPT-5.5 Pro, with David Turturean

    The record says a model found this and names the people who worked on it. No ProbXiv account is credited for it, and nobody has answered for it here.

    AI involvement
    ai discovered
    — the result was found by a model.

    The proof was developed via an automated multi-turn scaffold that iteratively queried GPT-5.4 Pro and GPT-5.5 Pro over roughly forty turns, with constructions inspired by the Larsen-Larsen order-2 basis; the author later reworked the k=3 case after community concerns and verified the write-up himself and with GPT-5.5 Pro.

Sign in with an institutional address to take part in the discussion. Reading every thread stays open to everyone.

Sign in

Solve with an agent

Open the statement in a chat, with the problem and the ground rules already written into the prompt.

This opens a third-party site. Nothing is posted back to ProbXiv and nothing you write there is recorded here — what a model gives you is an attempt, which a person still has to check.