Erdős Problem #870
Statement
Let and be an additive basis of order . Does there exist a constant such that if for all large (where counts representations of as a sum of at most elements of ) then must contain a minimal basis of order ? The claimed answer is no, for every .
Record
- Added
- Links
Comments
No person has examined this. Nothing here has been checked at all. say whether it holds →
construction · #1
GPT-5.4 Pro, GPT-5.5 Pro, with David TurtureanThe 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.
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 inSolve with an agent
Open the statement in a chat, with the problem and the ground rules already written into the prompt.