公司业务与战略 - 公司专注于开发自动驾驶卡车技术 并计划将技术扩展至更广泛的自动驾驶应用领域[1] - 公司当前在达拉斯和休斯顿之间运营无人驾驶卡车 并预计年底前将运营线路扩展至沃斯堡-凤凰城、沃斯堡-埃尔帕索及埃尔帕索-凤凰城三条新路线[1] - 公司使命是通过安全快速且广泛的方式提供自动驾驶技术带来的效益[1] 技术发展路径 - 公司采用可验证人工智能（Verifiable AI）方法将现代AI技术应用于安全关键领域[2] - 可验证人工智能区别于端到端方案 专门针对自动驾驶安全关键特性设计技术路径[1][2] - 技术开发关注大型语言模型等AI前沿领域的进展与融合可能性[2]