# 算法候选交付：代码搜索、反例与正确性证据 工作单元：W-C14；版本：2026-10-21.workunits.2；复核：2026-10-20 针对固定问题交付新算法/系统候选及对应的正确性、复杂性或经验改进证据，未解决则说明预算与卡点。 ## 当前用法 可委派新候选、实现和反例循环；按独立评价接收有效成果，理论推广与新颖性另核。 依据：AlphaEvolve专用系统报告算法改进，并有部分公开成果；本站未重放。 来源状态：active 本站记录：本次只核查公开材料和任务契约；未在本站运行该任务、工具或模型。 条件： - 独立正确性/性能评价器、保留输入、硬件与计算/时间/尝试预算；理论结论给命题和允许假设。 - 编译/求解/反例工具和对照实现固定；错误/合法替代先校准，搜索者不能静默改评分器。 ## 请求与范围 已有精确定义的问题和基线，需要探索更好的候选算法/系统，并用独立评价器接收。 对象为明确问题上的新算法/系统候选与可检查论证，允许返回预算内未解决；已有论文贡献的复现另由W-C25接收。 ## 输入 - 问题与基线：输入域、输出语义、已有算法/结果、目标性质、不可放宽约束与必要文献。 - 评价与预算：独立正确性/性能评价器、保留输入、硬件与计算/时间/尝试预算；理论结论给命题和允许假设。 - 验证环境：编译/求解/反例工具和对照实现固定；错误/合法替代先校准，搜索者不能静默改评分器。 ## 交付物 - 候选算法/系统、精确定义与可运行实现 - 反例/正确性/复杂性论证或保留输入下的同条件实验和失败账本 - 相对基线改进、退化边界、预算及未解决部分 ## 验收 1. 问题语义保持 方法：独立核对输入域、输出和约束，反例/边界及保留输入挑战候选。 拒收：放宽约束或只缓存公开样例。 2. 证据匹配主张 方法：一般性/复杂性给完整论证，经验改善同条件比较；数值搜索不能代替一般证明。 拒收：样例更快就声称一般最优。 3. 结果可重查 方法：固定环境重跑基线/候选，保留选择、预算与失败，记录评价器缺口。 拒收：只给最好一次，隐藏改过评分器。 ## 具体例子 输入：在保持精确输出下优化图算法，原算法和输入分布固定。 预期产物：候选代码、反例搜索、保留图性能/内存和语义论证；或预算内未改善说明。 失败：只对公开小图缓存答案，称已改善一般复杂度。 ## 工作重组 以前：候选、实现、反例与资源实验分散进行。 现在：Agent可联合搜索算法/实现/验证路径，程序或求解器给反馈；目标语义、独立评价器和预算保持固定。 保留： - 研究价值、语义与可接受证明由研究负责人确定。 新增： - 核对保留输入、失败账本与评价器未被偷换。 ## 人的责任与失败接管 选择研究价值、语义、预算与证据要求，核对新颖性和一般性。 预算内未找到有效候选就交失败/卡点；评价器有误先修正再重评，不以更容易问题宣告成功。 ## 尚待补足 - 新问题语义、可获得搜索配置、独立评价器和一般复杂性/正确性论证尚需逐项核验。 ## 职业与团队下一步 新算法与系统研究 候选算法/系统、精确定义与可运行实现 固定一个算法问题、基线、评价器和预算，先校准错误/合法替代，再搜索候选并在保留输入重跑，独立检查理论主张。 /explore?purpose=career&domain=computing 候选代码很多，但独立正确性/资源证据不足。 Agent可联合搜索算法/实现/验证路径，程序或求解器给反馈；目标语义、独立评价器和预算保持固定。 固定一个算法问题、基线、评价器和预算，先校准错误/合法替代，再搜索候选并在保留输入重跑，独立检查理论主张。 /explore?purpose=team&domain=computing ## 证据与关系 - AlphaEvolve 白皮书：https://arxiv.org/abs/2506.13131v1 定位：Abstract；evolution/evaluators与algorithm discoveries；公开 2025-06-16；核查 2026-10-20；复查 2027-01-20 支持：直接算法探索研究。 未覆盖：专用系统/选择性成果；不等于任意公开Agent或任意理论问题。 - AlphaEvolve 公开产物：https://github.com/google-deepmind/alphaevolve_results 定位：README与具体算法产物目录；公开 持续更新仓库；本次2026-10-20访问；核查 2026-10-20；复查 2027-01-20 支持：有可定位产物。 未覆盖：本站未运行产物。 ## 任务级判断与证据 采用方式：探索与候选交付 从证据到建议：问题和独立评价器可把算法候选搜索与反证接成循环；结果可以包含代码、可核查特例或论证，但不能从得分直接推广一般理论。 当前可用性：mixed；公开研究成果可检查；研究系统可获得性、预算和目标问题依赖单独核实。 - AlphaEvolve公开结果：https://github.com/google-deepmind/alphaevolve_results 2026-10-20公开仓库HEAD 4226acbf237ff9ad10ba7673a2af127a2d8a5971；实际运行另固定依赖/镜像/模型；可读成果公开；完整搜索服务/配置不据此假定可得 ### AlphaEvolve白皮书报告在可自动评价的算法与计算基础设施问题上产生改进，并有部分公开产物；可把算法和验证共同纳入委派研究。 依据身份：外部报告结果；状态：active - AlphaEvolve 白皮书：https://arxiv.org/abs/2506.13131v1 定位：Abstract；evolution/evaluators；computational problems；关系：partial 支持：直接算法探索研究。 限制：专用系统/选择性成果；不等于任意公开Agent或任意理论问题。 核查：2026-10-20；来源状态：active 配置：2025白皮书专用AlphaEvolve；LLM代码变异、演化与一个或多个任务评价器；不推算未报告任务分母/成本。 适用限制：专用系统/选择性成果；不等于任意公开Agent或任意理论问题。 相关进展（本条判断）： - AlphaEvolve公开算法搜索与部分成果：/explore?purpose=understand&domain=computing&window=all#P-C-ALGORITHM 首次公开 2025-05-14；资料修订 2025-06-16：5月官方首次公布成果；6月白皮书补方法/产物说明，不重置能力首次公开日。 ### 公开AlphaEvolve成果库可作为独立检查和复现入口；不能把成果库当完整搜索系统已经开放。 依据身份：可检查产物；状态：active - AlphaEvolve 公开产物：https://github.com/google-deepmind/alphaevolve_results 定位：README与结果目录；关系：partial 支持：有可定位产物。 限制：本站未运行产物。 核查：2026-10-20；来源状态：active 适用限制：本站未运行产物。 ### 在固定问题和独立评价器下可委派算法搜索，接收候选与反例/论证；一般性、复杂性和新颖性不能只靠样例得分。 依据身份：有条件的编辑推断；状态：active - AlphaEvolve 白皮书：https://arxiv.org/abs/2506.13131v1 定位：evaluation and algorithm search；关系：partial 支持：专用研究展示搜索与验证联合组织。 限制：公开Agent与新问题仍需独立任务检查。 核查：2026-10-20；来源状态：active 适用限制：公开Agent与新问题仍需独立任务检查。 ## 情境变化 ### 理论与反例 输入变化：接收命题、复杂性或正确性证明，而非经验提升。 判断变化：候选探索可委派，完整论证/反例才算相应结果。 验收变化：命题语义、假设、边界、逻辑依赖；若选形式化再验内核与公理。 ### 经验模型与系统 输入变化：接收新模型、调度/数据库等系统原型。 判断变化：按实际运行、资源和保留分布阶段接收。 验收变化：W-C06实验/消融与W-C08系统负载，避免只汇报单次最好。 研究前沿：专用研究系统已有可检查算法成果；搜索配置、任务选择与预算限制公开Agent迁移，目标问题表现未知。 下一项验证：固定一个算法问题、基线、评价器和预算，先校准错误/合法替代，再搜索候选并在保留输入重跑，独立检查理论主张。 未来改判信号： - 新问题和独立保留输入上候选有可核验改进，论证不偷换目标，可考虑扩大相近输入范围。 - 钻评价器漏洞、仅公开样例变好或一般性主张无相应证明，应收窄或暂停相应采用。 ## 与本单元直接关联的进展 ### AlphaEvolve公开算法搜索与部分成果 公开 2025-05-14；资料修订 2025-06-16：5月官方首次公布成果；6月白皮书补方法/产物说明，不重置能力首次公开日。 专用系统以代码搜索和任务评价器得到算法/计算优化成果。 支持范围：专用研究系统与选择性成果，不保证公开Agent复现或解决任意新题。 来源状态：active /explore?purpose=understand&domain=computing&window=all&kind=all#P-C-ALGORITHM 领域背景与未来情景：/explore?purpose=understand&domain=computing ## 工具与采用佐证