Corca pozyskał 7,8 miliona dolarów, aby zrewolucjonizować przepływy pracy matematycznej dla ery sztucznej inteligencji

Matematyka stanowi podstawę nowoczesnego inżynierii, finansów, badań naukowych i sztucznej inteligencji. Jednak pomimo napędzania niektórych z najbardziej zaawansowanych technologii na świecie, narzędzia wykorzystywane do tworzenia i współpracy nad pracami matematycznymi zmieniły się niespodziewanie mało w ciągu ostatnich kilku dekad.

Teraz nowojorska firma Corca ma na celu zmodernizowanie tego doświadczenia. Firma ogłosiła rundę finansowania w wysokości 7,8 miliona dolarów, której przewodniczy NEA, z udziałem Bloomberg Beta, Daft Capital i NVentures. Nowy kapitał zostanie wykorzystany do rozbudowy zespołu inżynierskiego, dalszego rozwoju możliwości sztucznej inteligencji oraz przyspieszenia rozwoju produktu.

Problem ukryty na widoku

Podczas gdy rozwój oprogramowania ewoluował przez platformy współpracy kodowania, środowiska programistyczne oparte na chmurze i asystentów kodowania sztucznej inteligencji, prace matematyczne pozostają rozproszone wśród narzędzi, które zostały pierwotnie opracowane kilka dekad temu.

Inżynierowie mogą używać MATLAB do obliczeń, platform symulacyjnych do modelowania oraz oddzielnych narzędzi do dokumentacji wyników. Naukowcy często przechodzą między notesami, tablicami, plikami PDF, zrzutami ekranu i dokumentami LaTeX, aby komunikować idee. W efekcie jest to proces, który może być niespodziewanie uciążliwy dla pracy, która coraz częściej stanowi podstawę systemów sztucznej inteligencji, robotyki, projektowania lotniczego, finansów ilościowych i odkryć naukowych.

Założyciele Corca twierdzą, że nigdy nie było prawdziwego współpracy w przestrzeni matematycznej, specjalnie zaprojektowanej dla matematyki. Zamiast tego użytkownicy byli zmuszeni dostosować narzędzia, które zostały pierwotnie opracowane dla publikacji równań, a nie dla aktywnej pracy z nimi.

Budowanie “kursora dla matematyki”

Corca opisuje swoją platformę jako przestrzeń współpracy matematycznej, rodzimej dla sztucznej inteligencji, która łączy edycję równań, symboliczne rozumowanie, obliczenia i współpracę w czasie rzeczywistym w środowisku opartym na przeglądarce.

W przeciwieństwie do tradycyjnego oprogramowania matematycznego, które często wymaga specjalistycznej składni lub wiedzy programistycznej, Corca pozwala użytkownikom pisać matematykę przy użyciu naturalnych danych wejściowych. Wpisywanie terminów takich jak “całka” lub “pierwiastek” automatycznie generuje odpowiednią notację bez wymagania od użytkowników zapamiętania poleceń lub reguł formatowania.

Interfejs platformy przypomina nowoczesne narzędzia współpracy produktywnej bardziej niż tradycyjne oprogramowanie matematyczne. Wielu użytkowników może pracować jednocześnie nad równaniami, modelami i obliczeniami, podobnie jak zespoły współpracują w Google Docs lub Figma. Wbudowane możliwości sztucznej inteligencji mogą pomóc w rozwiązywaniu problemów, manipulowaniu wyrażeniami, generowaniu kodu i wykonywaniu obliczeń bez wymagania od użytkowników przełączania się między aplikacjami.

Zamiast funkcjonowania wyłącznie jako kalkulator lub edytor równań, Corca позиционирует się jako kompletna przestrzeń, w której myślenie matematyczne, obliczenia i współpraca zachodzą w jednym miejscu.

Dlaczego interfejsy matematyczne są ważne dla sztucznej inteligencji

Czas finansowania Corca pojawia się wraz ze wzrastającym zainteresowaniem poprawą, w jaki sposób systemy sztucznej inteligencji wchodzą w interakcje z rozumowaniem matematycznym.

Pomimo tego, że duże modele językowe wykazały zdumiewające możliwości w zadaniach językowych, matematyka pozostaje jednym z bardziej wyzwaniowych obszarów. Wyrażenia matematyczne nie są po prostu tekstem; zawierają one symboliczne struktury, relacje i logiczne znaczenie, które tradycyjne modele językowe często mają trudności z reprezentowaniem dokładnie.

Silnik matematyki symbolicznej Corca został zaprojektowany specjalnie wokół obiektów i relacji matematycznych, a nie traktowania równań jako sekwencji słów. To podejście pozwala przepływom pracy wspomaganym przez sztuczną inteligencję wchodzić w interakcje z pojęciami matematycznymi w sposób bardziej naturalny, potencjalnie czyniąc złożone obliczenia i zadania modelowania bardziej niezawodnymi i dostępnymi.

W miarę jak sztuczna inteligencja staje się coraz bardziej istotna w naukach, inżynierii i badaniach, specjalistyczne interfejsy zaprojektowane wokół rozumowania matematycznego mogą stać się ważną warstwą między ekspertami ludzkimi a inteligentnymi systemami.

Przyszłość obliczeń matematycznych

Przez dziesięciolecia oprogramowanie matematyczne koncentrowało się głównie na obliczeniach lub publikacji. Corca reprezentuje nowe pokolenie platform, które próbują połączyć te światy, łącząc notację, rozumowanie, współpracę i sztuczną inteligencję w jednym środowisku.

Wnioski sięgają poza wygodę. W miarę jak branże coraz bardziej zależą od symulacji, modeli uczenia maszynowego, analizy ilościowej i odkryć naukowych, wydajność przepływów pracy matematycznych staje się coraz bardziej istotna. Naukowcy i inżynierowie często spędzają znaczną ilość czasu na przenoszeniu informacji między niepołączonymi narzędziami, wprowadzając tarcie do procesów, które są już wysoce złożone.

Platformy, które ujednolicają edycję matematyczną, obliczenia, współpracę i asystencję sztucznej inteligencji, mogą pomóc przyspieszyć wszystko, od projektowania inżynierskiego i badań naukowych po modelowanie finansowe i rozwój sztucznej inteligencji. Podobnie jak środowiska współpracy kodowania przekształciły rozwój oprogramowania, przestrzenie współpracy matematycznej mogą zmienić sposób, w jaki wiedza techniczna jest tworzona, udoskonalana i udostępniana.

Z nowym finansowaniem i rosnącym przyjęciem, Corca obstawia, że matematyka zasługuje na ten sam poziom innowacji, jaki rozwój oprogramowania doświadczył w ciągu ostatnich dwóch dekad. Jeśli ta wizja się powiedzie, sposób, w jaki ludzie pracują z równaniami, może wkrótce wyglądać zupełnie inaczej niż przepływy pracy, które pozostały w dużej mierze niezmienione od lat 80.