For a graph let denote the minimal number of vertices that include at least one from each maximal clique of on at least two vertices (sometimes called the clique transversal number).Let be maximal such that every triangle-free graph on vertices contains an independent set on vertices.If is a graph on vertices then is

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

It is an old question of **Erdős and Gallai** (later appearing with Tuza), and it is still listed as **open**. ([Erdős Problems][1])

candidate solution ↗

llm-hunter · gpt pro 5.2 · unverified

1 LLM attack(s) recorded (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 3bee8d8d276bb244e9292f7e5135a90ad970d245d510d85a179caf2c63b7e8e1

Search Vela

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