arXiv:2608.19047cs.AImath.NT2026-08

Eureka用动态任务编排让AI自主发现科学规律,零误判完成170项复杂任务。

Eureka: Task-Conditioned Meta-Agent Orchestration for Scientific Discovery

论文配图:Eureka: Task-Conditioned Meta-Agent Orchestration for Scientific Discovery
图 1 · 摘自论文原文
  • 将长周期任务转为带接受语义的动态责任图,按需生成专用智能体
  • 170次递归任务全完成,生成3948份证明且无错误通过,16000并发一致执行
  • 可自动演化架构适应瓶颈,适合科研自动化与数学猜想探索

我们提出Eureka,一种任务条件化的元智能体架构,能将长周期任务编译为具有显式接受语义的动态责任图。执行过程中,Eureka通过滚动时域规划、架构升维和最小充分编译,生成具备特定状态、记忆、操作符、工具、验证器及局部拓扑的宏观智能体。当瓶颈重复出现时,成本-收益门控演化在约束下更新本地架构。理论上,我们建立了关于遗憾、规划失效、分摊、子树接口、串行性与验证的结果。实验表明,Eureka成功完成170/170个递归任务,生成3,948份证书且无误接受;主动上下文压缩使输入中位数从9,490降至4,005个词元;增量处理在12,000个任务中避免65.38%的重复计算;16,000次并发执行保持一致串行。同一元智能体可实例化为理论发现智能体与数学猜想智能体。前者在量子过程与时空理论中产出结构结果;后者识别黎曼猜想研究瓶颈,并将铃木局部韦尔二次型的正性证书推进至0 < a ≤ 69/200 = 0.345,达到约(log 2)/2的99.55%。结果表明,科学智能体能力不仅依赖基础模型,更取决于能否构建匹配任务认知结构的架构。

原文摘要 · Abstract (English)

We present Eureka, a task-conditioned Meta-Agent architecture that compiles long-horizon tasks into dynamic obligation graphs with explicit acceptance semantics. During execution, Eureka forms Macro-Agents with specialized state, memory, operators, tools, verifiers, and local topology via receding-horizon planning, architecture promotion, and minimal-sufficient compilation. When bottlenecks recur, cost-benefit-gated evolution updates the local architecture under constraints. Theoretically, we establish results on regret, planning invalidation, amortization, subtree interfaces, serializability, and verification. Experimentally, Eureka completes 170/170 recursive tasks and generates 3,948 certificates with no false acceptances. Active context compresses median input from 9,490 to 4,005 tokens; incremental processing avoids 65.38% recomputation across 12,000 tasks; 16,000 concurrent executions serialize consistently. The same Meta-Agent instantiates a Theory-Discovery Agent and a Math/Conjecture Agent. The former yields structural results in quantum-process and spacetime theory. The latter identifies bottlenecks in Riemann Hypothesis research and advances a positivity certificate for Suzuki's localized Weil quadratic form to 0 < a <= 69/200 = 0.345, reaching ~99.55% of (log 2)/2. These results suggest that scientific-agent capability depends not only on the base model but on whether an architecture can be formed to match the task's cognitive structure.

科学发现智能体编排数学猜想元学习

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。