&Truth adlı yeni bir startup formal təsdiqlənməni avtomatlaşdırmaq üçün yarışa qoşulur. Bu, proqramın nəzərdə tutulmuş kimi işlədiyini sübut etmək üçün riyaziyyatdan istifadə edən çətin bir prosesdir.
Əlaqəli xəbərlər
Google etiraf edir ki, AI axtarış az gəlir gətirir, lakin bu problemin həllini daha çox reklam vasitəsilə həll edir
Keçmiş Palantir rəhbərləri a16z-dən 17 milyon dollar ilə tikinti üçün AI dünya modelləri yaratmaq məqsədilə Dream-i buraxırlar
SuperMe AI ekspert profilləri şəbəkəsi üçün 20 milyon dollar topladı
Agentlik kimliyi startapı Mintive Cowboy Ventures, Coatue, mələk investorları Jeff Dean və Andrej Karpathy-nin dəstəyi ilə maliyyələşir
Wabi, mini proqramlar yaradan AI agenti, son maliyyə turu sonrası 1.25 milyard dollara bərabər dəyərləndirilir
Mistral deyir ki, onun AI modeli ‘Le Chonk’ Açıq Çəki yarışında Çini ötüb