正确性值多少钱：弱多智能体集群中强纠错者的预算化布置

一群廉价的不可靠智能体可以由少数强而昂贵的“oracle”纠错者导向正确共识。我们问：要花多少、以及把oracle放在哪里。我们把集群建模为图上的共识：每个oracle以成本耦合的凹强度把一个节点钉向真值，质量以一致性H(R)=tr M(R)⁻¹度量。第一个结果是：即使oracle强度不同，H仍保持次模性（每加一个oracle的边际帮助递减），因此成本收益贪婪在任意预算下都能达到最优布置的1−1/e以内。对预算求逆给出预算—正确性前沿B*(ε)——保证ε正确共识的最小花费：在完全图上有闭式解，等成本时为最小oracle数k*。预算该买少数强oracle还是多数中等oracle，取决于成本—质量律的曲率：收益递减利于分散，急剧递增利于集中。在Qwen3阶梯（0.6–32B）上实测：数学验证任务中该律呈凹性（利分散），涌现代码追踪中呈凸性（利集中）——结论真正依赖任务。