GPT Astra 协助提出 Erdős 问题候选新下界
热点事件持续更新
GPT Astra 协助提出 Erdős 问题候选新下界
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
Kevin Russell 与 GPT Astra 合作，为 Erdős 问题 #357 的任意顺序版本提出候选新下界：当 k≥10²² 时，满足所有连续段和两两不同的 k 个不同整数需满足新的下界条件。该结果有望首次突破1986年的3/2下界，目前已通过 Lean 形式化验证，但仍待人工审核。 现有更强的 Coppersmith–Phillips 界只适用于递增序列，与这次针对任意顺序的结果不冲突。
AI 根据报道生成 · 2 小时前更新
最新进展11月3日 05:37
GPT Astra 辅助 Erdős 问题 #357 取得下界新进展报道时间线
沿着报道，了解事件的不同侧面。
11月3日
- AGI HuntGPT Astra 辅助 Erdős 问题 #357 取得下界新进展
Kevin Russell 与 GPT Astra 合作，为 Erdős 问题 #357 的任意顺序版本提出候选进展：当 k ≥ 10²² 时，满足所有连续段和两两不同的 k 个不同整数需满足新的下界条件，首次有望突破 1986 年的 3/2 下界。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。