Elon Musks Firma xAI ist bekannt für ihren pöbelnden Chatbot. Doch die klugen Köpfe dahinter arbeiten an einer außergewöhnlichen Idee: einer formal korrekt denkenden KI.