Corca atrage 7,8 milioane de dolari pentru a reinventa fluxurile de lucru matematice pentru era AI

Matematica stă la baza ingineriei moderne, finanțelor, cercetării științifice și inteligenței artificiale. Cu toate acestea, în ciuda faptului că alimentează unele dintre cele mai avansate tehnologii ale lumii, instrumentele utilizate pentru a crea și colabora la lucrări matematice au suferit schimbări surprinzător de mici în ultimele decenii.

Acum, startup-ul din New York, Corca, își propune să modernizeze această experiență. Compania a anunțat un ciclu de finanțare de 7,8 milioane de dolari, condus de NEA, cu participarea Bloomberg Beta, Daft Capital și NVentures. Noul capital va fi utilizat pentru a extinde echipa de ingineri a companiei, pentru a dezvolta în continuare capacitățile sale de inteligență artificială și pentru a accelera dezvoltarea produsului.

O problemă ascunsă în plină vedere

În timp ce dezvoltarea software-ului a evoluat prin intermediul platformelor de codare colaborativă, mediilor de dezvoltare bazate pe cloud și asistenților de codare AI, lucrările matematice rămân fragmentate pe o colecție de instrumente create inițial cu decenii în urmă.

Inginerii pot utiliza MATLAB pentru calcule, platforme de simulare pentru modelare și instrumente de documentare separate pentru a partaja rezultate. Cercetătorii se deplasează adesea între caiete, table, PDF-uri, capturi de ecran și documente LaTeX pentru a comunica idei. Rezultatul este un flux de lucru care poate fi surprinzător de incomod pentru o muncă care tot mai mult stă la baza sistemelor de inteligență artificială, robotică, proiectare aerospațială, finanțe cantitative și descoperire științifică.

Fondatorii Corca susțin că nu a existat niciodată un spațiu de lucru colaborativ adevărat, construit special pentru matematică. În schimb, utilizatorii au fost obligați să adapteze instrumente proiectate în primul rând pentru publicarea ecuațiilor, mai degrabă decât pentru a lucra activ cu ele.

Construirea unui “cursor pentru matematică”

Corca descrie platforma sa ca un spațiu de lucru colaborativ matematic nativ AI, care combină editarea ecuațiilor, raționamentul simbolic, calculul și colaborarea în timp real într-un mediu bazat pe browser.

În contrast cu software-ul matematic tradițional, care adesea necesită sintaxă specializată sau cunoștințe de programare, Corca permite utilizatorilor să scrie matematică utilizând intrări naturale. Introducerea termenilor, cum ar fi “integral” sau “rădăcină”, generează automat notația corespunzătoare, fără a necesita ca utilizatorii să memoreze comenzi sau reguli de formatare.

Interfața platformei se aseamănă mai mult cu instrumentele de productivitate colaborativă moderne decât cu software-ul matematic legacy. Mai mulți utilizatori pot lucra simultan la ecuații, modele și calcule, asemenea modului în care echipele colaborează în Google Docs sau Figma. Capabilitățile integrate de inteligență artificială pot asista la rezolvarea problemelor, manipularea expresiilor, generarea codului și efectuarea calculelor fără a forța utilizatorii să treacă între aplicații.

Mai degrabă decât a funcționa ca un simplu calculator sau editor de ecuații, Corca se poziționează ca un spațiu de lucru complet, în care gândirea matematică, calculul și colaborarea au loc într-un singur loc.

De ce interfețele matematice contează pentru IA

Momentul finanțării Corca vine într-un moment de interes crescând pentru îmbunătățirea modului în care sistemele de inteligență artificială interacționează cu raționamentul matematic.

În timp ce modelele de limbaj mare au demonstrat capacități remarcabile în sarcinile de limbaj natural, matematica rămâne una dintre domeniile lor mai provocatoare. Expresiile matematice nu sunt doar text; ele conțin structuri simbolice, relații și sens logic, pe care modelele de limbaj tradiționale adesea le-au dificultăți în a le reprezenta cu acuratețe.

Motorul de matematică simbolică subiacent al Corca este proiectat special în jurul obiectelor și relațiilor matematice, mai degrabă decât a trata ecuațiile ca secvențe de cuvinte. Acest abordare permite fluxurilor de lucru asistate de IA să interacționeze mai natural cu conceptele matematice, făcând posibil ca calculele și sarcinile de modelare complexă să fie mai fiabile și mai accesibile.

Pe măsură ce inteligența artificială devine tot mai importantă în știință, inginerie și cercetare, interfețele specializate, proiectate în jurul raționamentului matematic, ar putea deveni un strat important între experții umani și sistemele inteligente.

Viitorul calculului matematic

De decenii, software-ul matematic s-a concentrat în mare măsură pe calcul sau publicare. Corca reprezintă o nouă generație de platforme care încearcă să pună poduri între aceste lumi, combinând notația, raționamentul, colaborarea și inteligența artificială într-un singur mediu.

Implicațiile merg dincolo de confort. Pe măsură ce industriile depind din ce în ce mai mult de simulări, modele de învățare automată, analize cantitative și descoperiri științifice, eficiența fluxurilor de lucru matematice devine din ce în ce mai importantă. Cercetătorii și inginerii petrec adesea o cantitate semnificativă de timp mutând informații între instrumente desconectate, introducând fricțiune în procese care sunt deja extrem de complexe.

Platformele care unifică editarea matematică, calculul, colaborarea și asistența IA ar putea ajuta la accelerarea tuturor, de la proiectarea inginerească și cercetarea științifică la modelarea financiară și dezvoltarea IA. La fel cum mediile de codare colaborativă au transformat dezvoltarea software-ului, spațiile de lucru matematic colaborative ar putea remodela modul în care cunoștințele tehnice sunt create, rafinate și împărtășite.

Cu finanțare proaspătă și adoptare în creștere, Corca pariază că matematica merită același nivel de inovare pe care dezvoltarea software-ului modern l-a experimentat în ultimele două decenii. Dacă această viziune reușește, modul în care oamenii lucrează cu ecuații ar putea arăta foarte diferit de fluxurile de lucru care au rămas în mare măsură neschimbate de la începutul anilor 1980.