Pramaana Labs prikupio $27 miliona za formalnu verifikaciju LLM u kritičnim sektorima

Dragi prijatelji, želim da podelim vest iz sveta veštačke inteligencije: Pramaana Labs je prikupio $27 miliona seed finansiranja.

- Fokus: pravo, razvoj lekova, poresko izveštavanje — gde greške skupo koštaju.
- Pristup: LLM + deterministički sloj verifikacije zasnovan na metodama formalne verifikacije (LEAN-style).
- Investitori i eksperti: Khosla Ventures, Accel i drugi; savetodavci su profilni stručnjaci.

Zašto je to važno: formalizacija pravila smanjuje halucinacije i čini zaključke predvidljivijim u kritičnim sistemima.

Po Vašem mišljenju, može li se ovakav pristup skalirati u velikim kompanijama?

#vestackainteligencija #formalnaverifikacija #pouzdanost #fintek