Erdős 问题 #872

GPT-5.2 Pro 取得部分进展(2026 年 2 月 16 日):部分结果。共记录了 3 项 AI 贡献。

问题
Erdős 问题 #872(数论、本原集);当前状态:未解决
贡献方
GPT-5.2 Pro · AI 独立完成
验证
收录于 Tao 的 Wiki
时间线
首次 AI 贡献 2026-02-16 · Wiki 数据截至 2026-06-30
来源
问题页面(erdosproblems.com)Tao 的 AI 贡献 Wiki
部分
结果
依据 Tao 的 AI 贡献 Wiki

问题

Consider the two-player game in which players alternately choose integers from {2,3,…,n}\{2,3,\ldots,n\} to be included in some set AA (the same set for both players) such that no a∣ba\mid b for a≠b∈Aa\neq b\in A.

The game ends when no legal move is possible. One player wants the game to last as long as possible, the other wants the game to end quickly. How long can the game be guaranteed to last for?

At least ϵn\epsilon n moves? (For ϵ>0\epsilon>0 and nn sufficiently large.) At least (1−ϵ)n2(1-\epsilon)\frac{n}{2} moves?

问题陈述引自 erdosproblems.com/872(Thomas Bloom 维护),保留英文原文。原始出处:[Er92c,p.47]。该网站上的当前状态:未解决。

AI 贡献

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

日期 类型 AI 系统 合作者 结果
16 Feb, 2026 AI 独立完成 GPT-5.2 Pro — 🟡 部分结果
16 Apr, 2026 AI 与人合作 GPT-5.4 Pro Om_Buddhdev_sensho 🟡 部分结果
29 Apr, 2026 AI 与人合作 GPT-5.5 Pro Jonas Silva ⚪ 候选部分结果(待核实)

说明

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

∎