GPT Astra 辅助 Erdős 问题 #357 取得下界新进展

Kevin Russell 与 GPT Astra 合作，为 Erdős 问题 #357 的任意顺序版本提出候选进展：对所有 k ≥ 10²²，k 个不同整数若满足所有连续段和两两不同需满足新下界条件，首次有望突破 1986 年的 3/2 下界，结果已用 Lean 形式化验证、待人工审核。他还补充说明：erdosproblems.com 上的更强 Coppersmith–Phillips 界仅覆盖递增序列情形，与本次任意顺序结果并不冲突。

2026-11-03 ~ 2026-11-03 · 3 条相关

• GPT Astra 协作攻克 Erdős #357:Lean 验证首次突破 1986 年 3/2 下界 — kevrussell · 2026-11-03
• GPT Astra 辅助证明 Erdős 问题 #357 新下界，Lean 验证待人工审 — kevrussell · 2026-11-03
• Erdős #357 新证明补充：Coppersmith–Phillips 界仅覆盖递增序列 — kevrussell · 2026-11-03