San Francisco, 27. siječnja 2026. – Kako umjetna inteligencija sve brže preuzima pisanje programskog koda, startup Theorem ulaže u ono što smatra sljedećim uskim grlom IT-industrije: povjerenje u takav kod.
Tvrtka, koja je proizašla iz Y Combinatora u proljetnoj generaciji 2025., zatvorila je seed-rundu vrijednu 6 milijuna dolara. Rundu je predvodio Khosla Ventures, a uključili su se i Y Combinator, e14, SAIF, Halcyon te anđeli ulagači Blake Borgesson (Recursion Pharmaceuticals) i Arthur Breitman (Tezos).
Theorem razvija automatizirane alate koji matematički dokazuju ispravnost softvera nastalog uz pomoć AI-asistenata poput onih GitHuba, Amazona ili Googlea. Ti asistenti već danas generiraju milijarde linija koda godišnje, no mogućnost da se taj kod sustavno provjeri ne prati isti tempo. Upravo tu osnivači Theorema vide „prazninu nadzora” koja potencijalno ugrožava financijske sustave, energetske mreže i drugu ključnu infrastrukturu.
Ključ tehnologije je spajanje formalne verifikacije – rigorozne matematičke metode kojom se dokazuje da program radi točno prema specifikaciji – s AI-modelima osposobljenima da samostalno stvaraju i provjeravaju dokaze. Proces koji je tradicionalno zahtijevao godine rada vrhunskih inženjera, Theorem želi svesti na tjedne ili čak dane.
Za razliku od brojnih projekata koji formalnu verifikaciju primjenjuju na matematičke dokaze ili kriptografiju, Theorem se usredotočio isključivo na skaliranje nadzora nad softverom. Suosnivač Gross opisuje izazov sigurnosnim rječnikom: kako AI olakšava pronalazak i iskorištavanje ranjivosti, obrana mora biti „asimetrična”, odnosno rasti bez proporcionalnih troškova.
Svježi kapital namijenjen je širenju tima, povećanju računalnih kapaciteta za treniranje verifikacijskih modela te ulasku u nove sektore, među kojima su robotika, obnovljivi izvori energije, kriptovalute i sinteza lijekova.
Theoremov uspon sugerira da bi nadolazeća faza AI-potpomognutog razvoja mogla tražiti nešto više od same brzine pisanja koda: matematički dokaz da sigurnost nije žrtvovana radi produktivnosti.