提出新型编程语言Bend，用数学证明保障AI系统行为正确性，并支持GPU加速执行。