论文v4：算子包影响验证搜索提议器

Roberto I. Ono Filho 发布论文第4版，研究 FunSearch 风格验证搜索中算子包对提议器侧的影响。论文称，在笔记本上用 30B 本地模型、每次运行 120–600 个验证样本，完整 2^3 因子实验显示组合算子将种子到记录差距缩小 +0.196（名义合并 p=0.023）；排斥算子使 9 个问题中 8 个的构造哈希多样性提升（单侧 p=0.0039）。 第4版新增了 Zenodo v3 的“墙上的注记”，并列出对照记录审计后的更正。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。