问题
Let be a finite unit distance graph in (i.e. the vertices are a finite collection of points in and there is an edge between two points if and only if the distance between them is ).
Is there some such that if has girth (i.e. contains no cycles of length ) then ?
问题陈述引自 erdosproblems.com/705(Thomas Bloom 维护),保留英文原文。原始出处:[Er81,p.27]。该网站上的当前状态:已否定。
AI 贡献
以下记录来自 Terence Tao 的 Wiki AI contributions to Erdős problems(数据截至 2026 年 6 月 30 日)。🟢 完整、🟡 部分、⚪ 待核实、🔴 有误。
| 日期 | 类型 | AI 系统 | 结果 |
|---|---|---|---|
| 26 Jan, 2026 | 文献检索 | GPT | 🟢 找到已有的完整解 |
| 1 Feb, 2026 | 文献检索 | Aletheia | 🟢 找到已有的完整解 |
说明
Wiki 中的分类是暂定的,也不是一份评测榜单。许多 Erdős 问题从未有过完整的文献调研,看似新的结果日后可能被发现早已存在;也有一些问题本身的表述有歧义或错误。完整的讨论见问题页面。
∎