Multi-Agentic Software Development Is a Distributed Systems Problem
2 days ago
- #software engineering
- #multi-agent systems
- #distributed computing
- 多智能体软件开发本质上是分布式系统问题，其协调挑战无法仅通过等待更智能的AI模型来解决。
- 形式化建模表明，多智能体合成是分布式共识问题，因为智能体必须就未明确指定的自然语言提示达成一致，以生成一致的软件组件。
- FLP不可能性定理适用，表明在具有崩溃故障的异步环境中，多智能体系统无法同时保证安全性（正确的软件）和活性（达成共识）。
- 拜占庭将军问题凸显了对可容忍误解的限制；如果超过(n-1)/3的智能体误解提示，共识就会失败，这个界限与智能体的智能无关。
- 实践见解包括使用故障检测器（例如，进程检查）和外部验证（测试、静态分析）来缓解协调问题，但根本性限制仍然存在。
- 该文章主张开发形式化语言、协议和工具，将协调作为首要关注点来解决，而非依赖临时方案或未来的人工智能改进。