Pramaana Labs, yeni bir girişim olarak, yapay zeka pilot programlarını iş süreçlerine entegre etmekteki zorlukları aşmayı hedefliyor. Şirket, matematiksel formelleştirme araçlarını kullanarak güvenilirliği artırmayı planlıyor.
Çarşamba günü Pramaana Labs, Khosla Ventures liderliğinde $27 milyonluk bir başlangıç yatırımı aldığını duyurdu. Yatırıma Accel, Boldcap, Nexus Venture Partners, Premji Invest ve Unbound da katıldı.
Pramaana, hukuk, ilaç keşfi ve vergi hazırlığı gibi hata yapmanın pahalı sonuçlar doğurabileceği alanlara odaklanacak. Bu sistemlerde yapay zeka uygulaması, mevcut korumalara göre daha güçlü önlemler gerektirecek. Ancak Pramaana’nın kurucu ortağı ve CEO’su Ranjan Rajagopalan, bu alanların formelleştirme için de özel olarak uygun olduğunu belirtiyor.
Rajagopalan, “Matematikteki gibi, uymanız gereken birçok kural var,” diyerek vergi kanunlarının kurallarını tanımladı. “Bir kodifiye versiyonunu elde ettiğinizde, onun üzerinde mantık yürütmek daha belirleyici hale gelir.”
Pramaana’nın sistemi hâlâ konvansiyonel bir Büyük Dil Modeli (LLM) üzerinde çalışıyor, bu da ona doğal dil sorularını yanıtlayabilme ve konvansiyonel bilgisayarların başa çıkamadığı karmaşık problemleri çözme esnekliği kazandırıyor. Ancak bu LLM’in çalışmasının doğruluğunu sağlamak için üzerinde belirleyici bir katman bulunuyor.
LLM motoru ile belirleyici doğrulama kombinasyonu popüler bir yapı; Pramaana’nın benzersiz yaklaşımı, matematiksel kanıtları doğrulamak için kullanılan açık kaynaklı LEAN programlama dilinin araçlarını kullanmak. Rajagopalan, bunun için Fransa’nın vergi ve sosyal yardım sisteminin büyük kısmını çalıştırılabilir koda dönüştüren CATALA projesine dikkat çekiyor.
Pramaana, her kullanım durumu için kendi LEAN tarzı formel doğrulama sistemini oluşturacak ve bu süreçte alan uzmanlarının gözetimi altında çalışacak. Vergi hukuku için, şirket eski IRS komiseri Danny Werfel ile iş birliği yaparken; siber güvenlik ve ilaç keşfi sistemleri ise IIT Delhi, IIT Madras ve UC Berkeley’den profesörler tarafından denetleniyor.
Rajagopalan, “Dünyanın en zor problemleri çözümsüz değil. Sadece formelleştirilmemişler,” diyor. “Yanlış olmanın sağlık, para veya özgürlüğe mal olabileceği her alanda kurallar vardır.”
Artık o kuralların kodifiye edilmesi gerekiyor.
Makalelerimizdeki bağlantılar üzerinden yaptığınız alışverişlerde küçük bir komisyon kazanabiliriz. Bu, editoryal bağımsızlığımızı etkilemez.
