美國交通部長：提供航空交通人工智能工具以控制空域。