Pixi：面向机器人和人工智能的统一软件开发与分发框架

科学计算中的可重复性危机限制了机器人研究的进展。既有研究表明，最多有 70% 的机器人算法无法被独立团队复现，而许多其他研究也无法到达部署，因为创建可共享的软件环境仍然异常复杂。这些挑战源于碎片化的、多语言的和硬件软件工具链，导致依赖管理困难。我们提出了 Pixi，这是一个统一的包管理框架，通过在项目级别的锁文件中捕获确切的依赖状态，确保跨平台的位级可重复性。其高性能 SAT 求解器相较于 comparable tools 快达 10 倍，而将 conda-forge 和 PyPI 生态系统集成消除了需要多个管理器的需求。自 2023 年起，Pixi 已被 Adoption in over 5,300 个项目，显著缩短了设置时间从小时到分钟，并降低了全球研究人员的技术门槛。通过实现可扩展的、可重复的、协作性的研究基础设施，Pixi 加速了机器人和人工智能领域的进展。