TypeSafe AI ir izveidojies slēptā veidā ar 40 miljonu dolāru sākotnējo finansējumu un ambiciozu virzienu: AI modeļi, kas lieliski palīdzēja sarunāties ar cilvēkiem, var būt nepareizi modeļi programmatūras darbināšanai.
Sanfrancisko jaunuzņēmumu 2024. gadā dibināja Diogo Almeida, bijušais OpenAI pētnieks, kurš kopā ar Ēriku Gafni un Sašu Šenu strādāja pie mācīšanās pastiprināšanas no cilvēku atgriezeniskās saites un agrīnās ChatGPT izpētes. DCVC vadīja izsējas kārtu.
TypeSafe cenšas atrisināt problēmu, kuru ir kļuvis grūtāk ignorēt, jo uzņēmumi ievieš AI ražošanā. Lieli robežmodeļi var spriest, rakstīt kodu un veikt ārkārtīgi cilvēciskas sarunas, tomēr ražošanas programmatūrai bieži ir nepieciešams kaut kas mazāk sarunvalodas un paredzamāks. Modelis, kas maina savu pieeju starp pieprasījumiem vai pārliecinoši izdomā atbildi, var radīt problēmas, ja cita programmatūra paļaujas uz šo izvadi, lai pieņemtu lēmumu.
Almeida uzskata, ka mākslīgajam intelektam ir vajadzīgs cits ceļš.
“TypeSafe tika dibināts, lai meklētu alternatīvu ceļu AI pētniecībai, koncentrējoties uz mašīnu vietējo AI,” sacīja Almeida, TypeSafe līdzdibinātājs un izpilddirektors. “Es pavadīju vairākus gadus, strādājot pie modeļiem, kas izstrādāti, lai AI uzlabotu mijiedarbību ar cilvēkiem. Taču, ja mākslīgais intelekts būtiski mainīs darba veikšanas veidu, cilvēki nevar būt vienīgie informācijas patērētāji. Lielākajai daļai informācijas galu galā vajadzētu dzīvot programmatūrā, klusi darbojoties fonā. TypeSafe veido šo nākotni.”
No ChatGPT līdz mašīnām izstrādātam AI
Šī ideja atrodas TypeSafe pirmā modeļa Jev centrā, kas nosaukts Dževona Paradoksa vārdā, ekonomiskais novērojums, ka lielāka efektivitāte dažkārt var palielināt kopējo patēriņu, nevis to samazināt.
Tā vietā, lai Jev pozicionētu kā citu tērzēšanas robotu, kas sacenšas par cilvēku uzmanību, TypeSafe vēlas, lai izstrādātāji to uztvertu vairāk kā programmatūras primitīvu: komponentu lietojumprogrammas var atkārtoti piezvanīt, kad vien nepieciešams semantisks spriedums vai saprātīgs lēmums.
TypeSafe saka, ka Jev var radīt robežlīmeņa intelektu ar latentumu zem 100 milisekundēm un var būt līdz pat 100 reizēm ātrāks un lētāks nekā citi pierobežas modeļi. Uzņēmums saka, ka modelis var ģenerēt simtiem izvadu paralēli no vienas uzvednes un atgriezt kalibrētus uzticamības rādītājus, dodot izstrādātājiem iespēju izlemt, kad lietojumprogramma var darboties pati un kad tai vajadzētu atlikt.
Tie ir TypeSafe veiktspējas apgalvojumi, un īstā pārbaude notiks, kad Jev sasniegs vairāk izstrādātāju un tiks novērtēts salīdzinājumā ar konkurējošiem modeļiem dažādās ražošanas slodzēs.
Starta uzņēmums pašlaik piedāvā Jev, izmantojot agrīnās piekļuves gaidīšanas sarakstu.
Almeida ziņojumā par X piedāvāja vēl agresīvāku uzņēmuma disertācijas izklāstu:
“Pēc kopīgas ChatGPT izgudrošanas es turpināju sev uzdot jautājumu: kāpēc pārcilvēciski tērzēšanas modeļi nav noveduši pie AGI?
Pēdējos 2 gadus esmu pavadījis slepeni, veidojot jaunu veidu, kā apmācīt modeļus (RLCD), un jauna veida AI modeli, ko mēs šodien izlaižam: Jev.
• 20–200 reizes ātrāk
• 40–400 x lētāk (bez izvades marķieriem)
• Pārrobežu komponējamā informācija, kas optimizēta lēmumu pieņemšanai
AFAICT īsākais ceļš uz AI balstītu ekonomisko revolūciju”
Pēc ChatGPT kopīgas izgudrošanas es turpināju sev jautāt: kāpēc pārcilvēciski tērzēšanas modeļi nav noveduši pie AGI?
Pēdējos 2 gadus esmu pavadījis slepeni, veidojot jaunu veidu, kā apmācīt modeļus (RLCD), un jauna veida AI modeli, ko mēs šodien izlaižam: Jev.
• 20–200 reizes ātrāk
• 40–400 x… pic.twitter.com/JSybNG2BKJ— Diogo Almeida (@CompleteSkeptic), 2026. gada 15. septembris
TypeSafe AI: 40 miljonu dolāru likme par citu AI arhitektūru
TypeSafe sēklu kārtas izmērs padara palaišanu īpaši interesantu. DCVC neatbalsta citu OpenAI, Anthropic vai Google API. Tas finansē atšķirīgu disertāciju par to, kā vajadzētu izskatīties pašiem AI modeļiem, kad to galvenie lietotāji ir mašīnas.
“TypeSafe tuvojas vienam no lielākajiem atlikušajiem AI izaicinājumiem: arvien spējīgāku modeļu pārvēršana tehnoloģijās, kuras izstrādātāji var droši iebūvēt produktos plašā mērogā,” sacīja Džeimss Hārdimens, DCVC ģenerālpartneris. “Diogo, Ēriks un Saša sniedz tehnisko dziļumu un pārliecību, lai pārdomātu, kā modeļi tiek veidoti programmatūrai. Viņu pieeja komponējamam intelektam atklās pilnīgi jaunas lietojumprogrammu paaudzes.”
Idejas pamatā ir pārliecinošs ekonomisks arguments. Ja mākslīgais intelekts kļūst pietiekami lēts un ātrs, izstrādātāji varētu ievietot viedus lēmumus vietās, kur liela robežas modeļa izsaukšanai pašlaik ir maz finansiālas vai tehniskas jēgas. Tā vietā, lai viens dārgs modelis tiktu galā ar visu uzdevumu, programmatūra aizkulisēs varētu pieņemt desmitiem, simtiem vai, iespējams, tūkstošiem mazu lēmumu, ko palīdz AI.
Šeit Dževonsa paradokss atsaucei kļūst jēga. Izlūkošanas izmaksu samazināšana varētu likt izstrādātājiem to patērēt daudz vairāk.
TypeSafe vēl ir daudz ko pierādīt. OpenAI, Google un citi lielākie modeļu izstrādātāji turpina samazināt un paātrināt secinājumu izmaksas. Jebkuras veiktspējas priekšrocības, kuras Jev šodien ir, var tikt pakļautas spiedienam, jo lielāki konkurenti uzlabo savus modeļus un infrastruktūru.
Tomēr TypeSafe izdara atšķirīgu likmi nekā liela daļa AI nozares. Almeida pavadīja gadus, palīdzot mācīt mašīnām mijiedarboties ar cilvēkiem. Viņa jaunais uzņēmums ir derējis, ka viens no lielākajiem AI tirgiem var parādīties, kad cilvēki vairs nesēž katras uzvednes otrā pusē.
