天选2人工智能的学名是“Dart”,是清华大学KEG实验室与智谱AI于2023年共同训练的语言模型。Dart旨在解决机器翻译中的复杂语义理解问题,（华硕天选人工智能叫什么名字）