计算机穷举搜索攻破 Erdős 谜题：新求出 a(66)=3065
kevrussell · x · 2026-10-30
kevrussell 宣布用穷举计算机搜索解决 Erdős puzzle #1109 的新项：a(66) = 3065，超出已发表数表（止于 a(65) = 2993），结果由第二个独立程序交叉验证确认，OEIS 条目更新正在等待提交。这是计算方法推进数学边界的一个小而扎实的案例。
「研究」频道最新
- Claude 仍无法证明数域筛法的时间复杂度，研究者跟进形式化进展 — geoffreyirving · 2026-10-30
- 量子测量为何能产出不可计算的高复杂度随机串 — jessi_cata · 2026-10-30
- 新研究：用 LLM 清单补人类评审短板，降低抽签式方差 — JessicaHullman · 2026-10-30
- 797GB n-gram 查表跑在 CPU 内存,1B 模型多榨 57% 算力 — PangWeiKoh · 2026-10-30
- 南大团队发布 VibeGame:对抗式智能体团队从提示词生成完整 2D 游戏 — nanjinguniv · 2026-10-30
- 腾讯发布 WeVisCut:单个智能体包揽剪辑室,token 用量仅为 Opus 1/33 — tencent · 2026-10-30