Erdős 问题 #610

Przemek Chojecki 与 Aristotle、GPT-5.4 Pro 取得部分进展(2026 年 4 月 21 日):完整解(Lean 形式化)(文献中已隐含)。

问题
Erdős 问题 #610(图论);当前状态:已证明(Lean 形式化)
贡献方
Przemek Chojecki 与 Aristotle、GPT-5.4 Pro · AI 与人合作
验证
Lean 形式化收录于 Tao 的 Wiki
时间线
首次 AI 贡献 2026-04-21 · Wiki 数据截至 2026-06-30
来源
问题页面(erdosproblems.com)Tao 的 AI 贡献 Wiki
部分
结果
依据 Tao 的 AI 贡献 Wiki

问题

For a graph GG let τ(G)\tau(G) denote the minimal number of vertices that include at least one from each maximal clique of GG (aside from isolated vertices). This is sometimes called the clique transversal number.

Estimate τ(G)\tau(G). In particular, is it true that if GG has nn vertices then

τ(G)≤n−ω(n)n\tau(G) \leq n-\omega(n)\sqrt{n}

for some ω(n)→∞\omega(n)\to \infty, or even

τ(G)≤n−cnlog⁡n\tau(G) \leq n-c\sqrt{n\log n}

for some absolute constant c>0c>0?

问题陈述引自 erdosproblems.com/610(Thomas Bloom 维护),保留英文原文。原始出处:[EGT92][Er94][Er99]。该网站上的当前状态:已证明(Lean 形式化)。

AI 贡献

以下记录来自 Terence Tao 的 Wiki AI contributions to Erdős problems(数据截至 2026 年 6 月 30 日)。🟢 完整、🟡 部分、⚪ 待核实、🔴 有误。

日期 类型 AI 系统 合作者 结果
21 Apr, 2026 AI 与人合作 Aristotle, GPT-5.4 Pro Przemek Chojecki 🟢 完整解(Lean 形式化)(文献中已隐含)

说明

Wiki 中的分类是暂定的,也不是一份评测榜单。许多 Erdős 问题从未有过完整的文献调研,看似新的结果日后可能被发现早已存在;也有一些问题本身的表述有歧义或错误。完整的讨论见问题页面。

∎