Erdős 问题 #854：计算机搜索验证 197# 处 620 素性间隔
kevrussell · x · 2026-11-05
ProjectForty2 报告 Erdős 问题 #854 的进展：验证了 197#（197 以下素数之积）附近连续 620 的间隔内不存在与其互素的整数，618 与 622 也已找到实例，由此得出 A389839(45) ≥ 624，区间锁定在 [624, 644]。作者强调这是计算机搜索结果，并非数学证明。
「研究」频道最新
- David Baker 皇家学会开讲：计算蛋白质设计进展 — mmbronstein · 2026-11-05
- 论文：把推理历史改写成压缩状态记录，可降 Agent 后续 token 成本 — Anton Hristov · 2026-11-05
- KernelSeek：靠“提问”而非堆工具的编码 Agent，1.13× 跑赢 FlashAttention-3 — Snowflake · 2026-11-05
- Cohere Labs 开源社区分享 Kernel Autoresearch:用 coding agent 自动发现核函数 — Cohere_Labs · 2026-11-05
- 熵正则优化新论文将登《统计年鉴》:核心思路是局部线性化 — LesterMackey · 2026-11-05
- 权重级安全编辑复现:Qwen3-VL 攻击成功率 28.2% 降至 0.2% — kevrussell · 2026-11-05