Pramaana Labs 17. června oznámila seed investici 27 milionů dolarů vedenou fondem Khosla Ventures. Startup chce spojit jazykové modely s formální verifikací, tedy matematickými postupy, které umějí kontrolovat, zda výsledek odpovídá přesně popsaným pravidlům. Zaměřuje se na oblasti jako daně, právo, kybernetická bezpečnost a vývoj léčiv, kde může nepřesná odpověď způsobit finanční, zdravotní nebo právní škodu. Technický přístup vychází mimo jiné z open-source systému Lean používaného k ověřování matematických důkazů. Význam zprávy není jen ve velikosti investice. Ukazuje rostoucí poptávku po vrstvě, která nad generativním modelem dokáže některá tvrzení skutečně zkontrolovat. Takové řešení bude dražší a oborově specifické, ale právě regulované procesy mohou být prvním místem, kde se ověřitelnost stane podmínkou produkčního nasazení AI.
