erdős #256
Let and be maximal such that for any integers we haveEstimate - in particular, is it true that there exists some constant such that
Worked, still open.
analysis · open · 0 attempts
use this record
vela registry pull vfr_37aec80d874a0239vela reproduce examples/erdos-problemsevidence
unverified AI candidates (2)
gpt-erdos · GPT-5.2 Pro + Deep Research · unverified
Let [ P_{(a_1,\dots,a_n)}(z):=\prod_{j=1}^n(1-z^{a_j}),\qquad |z|=1, ] and [ M(a_1,\dots,a_n):=\max_{|z|=1}|P_{(a_1,\dots,a_n)}(z)|. ] Your “maximal” $f(n)$ is exactly [ f(n)=\inf_{1\le a_1\le\cdots\le a_n} M(a_1,\dots,a_n), ] the classical Erdős–Szekeres “pure power product” extremal function.
candidate solution ↗llm-hunter · gpt pro 5.2 · unverified
1 LLM attack(s) recorded (gpt pro 5.2); unverified.
candidate solution ↗links
Create a formalisation here · link
status
open