Define the anti-Ramsey number as the smallest such that there is a graph with vertices and edges with an -colouring of its edges in which every copy of has entirely distinct edge colours.Is it true that, for all ,

claimed — no verifier run, no signed judgmentunreviewedOpen. Worked here; no verified result yet.

graph theory · open · possible · 0 attempts

use this data

vela registry pull vfr_37aec80d874a0239
vela reproduce examples/erdos-problems

Evidence

unverified AI candidates (2)

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

What you are calling (F_k(n)) is exactly the “strong chromatic number” extremal function studied by Burr–Erdős–Graham–Sós in their 1989 paper: they define [ xs(n,e,L)=\min_{G:|V(G)|=n,\ |E(G)|=e}\ xs(G,L), ] where $xs(G,L)$ is the minimum number of edge‐colours needed so that **every** copy of $L$ in $G$ is *totally mu…

candidate solution ↗

llm-hunter · codex 5.2 extra high, gpt pro 5.2 · unverified

2 LLM attack(s) recorded (codex 5.2 extra high, gpt pro 5.2); unverified.

candidate solution ↗

Check it yourself

One command re-derives this record's receipts on your machine.

vela reproduce examples/erdos-problems

Verify this yourself

Run this command — the output must match these fingerprints.

vela reproduce examples/erdos-problems
  • packet.json · sha256 287ddc54db2b136b98705d3ba9f9c1dd2f9035cfc7065c6e2eb30c18df57a5e8

Search Vela

Search problems, results, contributors, and pages — or jump straight to an id.