Erdős #357 新证明补充：Coppersmith–Phillips 界仅覆盖递增序列
kevrussell · x · 2026-11-03
Kevin Russell 对其 Erdős 问题 #357 的 AI 辅助证明发布补充说明：erdosproblems.com 上列有一个更强的 Coppersmith–Phillips 界，他们的解读是该结果只覆盖递增序列的情形，与本次针对任意顺序序列的下界不冲突，并欢迎指正。同时附上了 Lean 审计回执链接。
所属事件:GPT Astra 辅助 Erdős 问题 #357 取得下界新进展(3 条相关)→
「研究」频道最新
- Zyphra 发布分层注意力 ZHA:宣称超长上下文提速最高 400 倍 — teortaxesTex · 2026-11-03
- 研究员点评 ZHA:原理扎实,或让保密的次二次注意力实验室出局 — teortaxesTex · 2026-11-03
- 9B 教师模型蒸馏出 0.6B 嵌入模型，共享嵌入空间可交叉查询 — antoine_chaffin · 2026-11-03
- 以往上下文嵌入训练假设单一金标 chunk，把支持性上下文误当负样本 — antoine_chaffin · 2026-11-03
- Astra 改 Qwen 权重真相：只是套用公开可解释性技术，并非 RSI — markjeffrey · 2026-11-03
- Yoav Goldberg 泼冷水：Astra 改模型权重多是已知可解释性技术 — yoavgo · 2026-11-03