Cilvēki var ģenerēt programmatūru, izmantojot AI, izveidot videoklipus no teksta un izveidot vietnes dažu minūšu laikā. Tomēr daudzi inženieri, zinātnieki un finanšu analītiķi joprojām paļaujas uz rīkiem un darbplūsmām, kas kopš 80. gadiem ir maz mainījušās. Vienādojumi tiek nodoti ekrānuzņēmumos, kopīgoti kā PDF faili vai rakstīti, izmantojot specializētu sintaksi, kuras apguve var ilgt vairākus gadus.
Corca uzskata, ka ir pienācis laiks to mainīt.
Ņujorkā bāzētais jaunuzņēmums, kas veido to, ko tas raksturo kā “Matemātikas kursoru”, trešdien paziņoja, ka ir piesaistījis NEA vadīto finansējumu 7,8 miljonu dolāru apmērā. Raundā piedalījās Bloomberg Beta, Daft Capital un NVENtures, NVIDIA riska kapitāla nodaļa.
Uzņēmums Corca, ko 2023. gadā dibināja Antons Gladkoborodovs un Oļegs Ševļagins, izstrādā uz pārlūkprogrammu balstītu darbvietu, kas apvieno matemātikas rediģēšanu, simboliskus aprēķinus, sadarbību un AI palīdzību vienā vidē. Uzņēmums vēlas aizstāt sadrumstaloto rīku kolekciju, ko daudzas tehniskās komandas šodien izmanto inženierzinātnēs, fizikā, finansēs, zinātniskajā pētniecībā un AI attīstībā.
Iespēja ir lielāka, nekā varētu šķist.
Matemātiskā skaitļošana atrodas nozaru centrā, sākot no aviācijas un aizsardzības līdz enerģētikai un akadēmiskajām aprindām. Tomēr liela daļa programmatūras infrastruktūras, kas atbalsta šīs darbplūsmas, meklējama gadu desmitiem. Inženieri bieži pārvietojas starp atsevišķām vienādojumu, simulāciju, aprēķinu, dokumentācijas un sadarbības lietojumprogrammām. Daudzas platformas joprojām pieprasa lietotājiem apgūt programmēšanas valodas vai formatēšanas sistēmas, piemēram, LaTeX, pirms viņi var sākt jēgpilnu darbu.
Saskaņā ar Corca datiem vairāk nekā 100 000 organizāciju vairāk nekā 180 valstīs paļaujas uz šīm atvienotajām darbplūsmām.
Matemātikas programmatūra 40 gadu laikā nav daudz mainījusies. Corca piesaista USD 7,8 miljonus, lai to labotu
Kāpēc matemātiskās darbplūsmas ir iestrēgušas 80. gados
Gadu desmitiem tehniskie profesionāļi ir paļāvušies uz specializētiem programmatūras pārdevējiem, katrs atrisinot citu problēmas daļu.
MathWorks MATLAB kļuva par standarta rīku inženieru un skaitlisko aprēķinu veikšanai. Tādi uzņēmumi kā Dassault Systèmes, PTC un Ansys izveidoja lielus uzņēmumus simulācijas, modelēšanas un fizikas lietojumprogrammu jomā. Katrs produkts kalpo kādam mērķim, tomēr komandas bieži pārvieto datus starp vairākām sistēmām, lai pabeigtu vienu projektu.
Corca piedāvājums ir vienkāršs: apvienojiet matemātikas izveidi, aprēķinus, sadarbību un AI palīdzību vienā kopīgā darbvietā.
Lietotāji var rakstīt matemātiskas izteiksmes dabiski, nevis mācīties specializētas iezīmēšanas valodas. Aprēķini notiek reāllaikā. Vairāki cilvēki var sadarboties, izstrādājot vienu un to pašu dokumentu tādā veidā, kas šķiet tuvāks Google dokumentiem vai Figma nekā tradicionālajai inženierijas programmatūrai.
Iebūvētie AI rīki var palīdzēt atrisināt problēmas, manipulēt ar simboliskām izteiksmēm un ģenerēt kodu, neprasot lietotājiem pāriet no vienas programmas uz citu.
“2026. gadā cilvēki joprojām veic matemātiku uz papīra, un tirgū nebija īsta matemātikas redaktora ar vairāk nekā pieciem miljoniem lietotāju. Viņi katru dienu cīnās ar bojātām darbplūsmām,” sacīja Antons Gladkoborodovs, Corca Research līdzdibinātājs un izpilddirektors. “Ja vēlaties rakstīt matemātiku datorā, jūsu galvenā iespēja nav redaktors, bet gan izkārtojuma valoda. Mēs sākām Corca, lai izveidotu kaut ko ātrāku un intuitīvāku.”
Kā vienu piemēru uzņēmums norāda uz inženiertehniskajiem projektiem. Komandai, kas izstrādā gaisa kondicionēšanas sistēmu, var būt nepieciešami vienādojumi, simulācijas, kodi un modelēšanas rīki, lai izpētītu, kā siltums pārvietojas caur materiāliem. Corca mērķis ir saglabāt šo procesu vienā darbvietā, nevis izplatīt to vairākās lietojumprogrammās.
Startup saka, ka tas ir piesaistījis vairāk nekā 10 000 lietotāju, pateicoties organiskai izaugsmei, un ziņo, ka daži lietotāji paveic vienādojuma smagu darbu pat divas reizes ātrāk nekā tradicionālās darbplūsmas.
“Mēs cenšamies padarīt matemātiku pieejamāku un plānojam, lai akadēmiskiem lietotājiem vienmēr būtu pieejams galvenais redaktors. Mūsu sabiedrība gūs labumu no vairāk inženierzinātņu un zinātnes talantu, ja ikviens varēs vieglāk mijiedarboties ar matemātiku jau no mazotnes. Ja man skolas laikā būtu Corca, varu derēt, ka man nekad nebūtu neviena “C” matemātikā,” sacīja Gladkoborodovs.
Corca vīzija nonāk brīdī, kad investori arvien vairāk skatās tālāk par AI tērzēšanas robotiem un meklē lietojumprogrammas, kas risina domēna specifiskas problēmas.
Lūks Papass, NEA partneris, uzskata, ka matemātika ir viena no šīm iespējām.
“Mēs uzskatām, ka AI modeļi ievērojami paātrinās progresu smagajās zinātnēs,” sacīja Pappas. “Tomēr tradicionālie LLM ir cīnījušies ar matemātiku, jo rakstītā matemātika nav tikai tekstuālu žetonu virkne, bet gan augstākas nozīmes simbolu secība. Corca ir izveidojusi simbolisku matemātikas dzinēju no paša sākuma, kas, mūsuprāt, padara to par labāko lietojumprogrammu matemātiskām darbplūsmām, ko uzlabo AI.”
Jaunais finansējums atbalstīs produktu izstrādi, AI pētniecību un darbā pieņemšanu, jo Corca strādā, lai modernizētu kategoriju, kurā gadu desmitiem ir notikušas nelielas būtiskas izmaiņas.
Ja uzņēmums gūst panākumus, lielākā pārmaiņa var nebūt AI mācīšana, kā veikt matemātiku. Tas var dot cilvēkiem labāku vietu, kur to darīt.
