Erdős Problem #1105

Aletheia found that the problem had already been solved in the literature (1 Feb 2026).

Problem
Erdős problem #1105 (graph theory, ramsey theory); current status: proved
Credit
Aletheia · Literature search
Checked
Listed in Tao's wiki
Timeline
First AI contribution 2026-01-19 · wiki data as of 2026-06-30
Sources
Problem page (erdosproblems.com)Tao's AI-contributions wiki
PRIOR
ART
Per Tao's AI-contributions wiki

The problem

The anti-Ramsey number AR(n,G)\mathrm{AR}(n,G) is the maximum possible number of colours in which the edges of KnK_n can be coloured without creating a rainbow copy of GG (i.e. one in which all edges have different colours).

Let CkC_k be the cycle on kk vertices. Is it true that

AR(n,Ck)=(k−22+1k−1)n+O(1)?\mathrm{AR}(n,C_k)=\left(\frac{k-2}{2}+\frac{1}{k-1}\right)n+O(1)?

Let PkP_k be the path on kk vertices and ℓ=⌊k−12⌋\ell=\lfloor\frac{k-1}{2}\rfloor. If n≥k≥5n\geq k\geq 5 then is AR(n,Pk)\mathrm{AR}(n,P_k) equal to

max⁡((k−22)+1,(ℓ−12)+(ℓ−1)(n−ℓ+1)+ϵ)\max\left(\binom{k-2}{2}+1, \binom{\ell-1}{2}+(\ell-1)(n-\ell+1)+\epsilon\right)

where ϵ=1\epsilon=1 if kk is odd and ϵ=2\epsilon=2 otherwise?

Statement quoted from erdosproblems.com/1105, maintained by Thomas Bloom. Original source: [ESS75]. Current status there: proved.

AI contributions

As recorded in Terence Tao's wiki AI contributions to Erdős problems (data as of 30 Jun 2026). 🟢 full, 🟡 partial, ⚪ unverified, 🔴 incorrect.

Date Kind AI systems Outcome
19 Jan, 2026 Literature search ChatGPT Deep research 🟡 Partial results found
1 Feb, 2026 Literature search Aletheia 🟢 Full solution found; 🔴 Gave some wrong references

Caveats

The wiki's classifications are provisional and are not a benchmark. Many Erdős problems have never had a thorough literature review, so a result that looks new may later turn out to be known; some problems were also stated ambiguously or incorrectly. See the problem page for the full discussion.

∎