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.
Elon Musks neue Firma xAI gehört zu den geheimnisumwittertesten Start-ups im Silicon Valley. Im Juli kündigte die Website lediglich an: „Das Ziel von xAI ist es, die wahre Natur des Universums zu verstehen“, darunter die zwölf Köpfe der Gründungsmitarbeiter …