RecodeX 重构消息，美国联邦航空管理局（FAA）正准备启动一项耗资8.75亿美元的人工智能软件项目SMART，用于缓解该机构持续面临的空中交通管制员短缺问题。

SMART全称为“空域、航路与航迹战略管理”（Strategic Management of Airspace, Routes, and Trajectories），FAA将其描述为一个基于云端的平台。