The problem
For a graph let denote the minimal number of vertices that include at least one from each maximal clique of (aside from isolated vertices). This is sometimes called the clique transversal number.
Estimate . In particular, is it true that if has vertices then
for some , or even
for some absolute constant ?
Statement quoted from erdosproblems.com/610, maintained by Thomas Bloom. Original source: [EGT92][Er94][Er99]. Current status there: proved (Lean).
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 | Humans | Outcome |
|---|---|---|---|---|
| 21 Apr, 2026 | AI working with humans | Aristotle, GPT-5.4 Pro | Przemek Chojecki | 🟢 Full solution (Lean) (implicit in literature) |
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.
∎