Corca samler inn 7,8 millioner dollar for å gjøre om matematiske arbeidsflyter for AI-æraen

Matematikk ligger til grunn for moderne ingeniørvitenskap, finans, vitenskapelig forskning og kunstig intelligens. Likevel, til tross for å drive noen av verdens mest avanserte teknologier, har verktøyene som brukes til å lage og samarbeide om matematisk arbeid forblitt overraskende uendret over de siste flere tiårene.

Nå er New York-baserte startup Corca i ferd med å modernisere denne opplevelsen. Selskapet har annonsert en finansieringsrunde på 7,8 millioner dollar ledet av NEA, med deltakelse fra Bloomberg Beta, Daft Capital og NVentures. Den nye kapitalen vil bli brukt til å utvide selskapets ingeniørteam, videreutvikle sine AI-kapasiteter og akselerere produktutvikling.

Et problem som ligger åpent

Mens programvareutvikling har utviklet seg gjennom samarbeidsplattformer for kode, skybaserte utviklingsmiljøer og AI-kodehjelpere, forblir matematisk arbeid fragmentert over en samling av verktøy som opprinnelig ble utviklet for flere tiår siden.

Ingeniører kan bruke MATLAB for beregninger, simuleringsplattformer for modellering og separate dokumentverktøy for å dele resultater. Forskere flytter ofte mellom notatbøker, whiteboards, PDF-er, skjermbilder og LaTeX-dokumenter for å kommunisere ideer. Resultatet er en arbeidsflyt som kan være overraskende tungvint for arbeid som i økende grad underbygger AI-systemer, robotikk, romfart, kvantitativ finans og vitenskapelig oppdagelse.

Corcas grunnleggere argumenterer for at det aldri har vært en sant samarbeidsorientert arbeidsplass bygget spesifikt for matematikk. I stedet har brukerne blitt tvunget til å tilpasse verktøy som primært er designet for å publisere ligninger fremfor å aktivt arbeide med dem.

Bygging av en “markør for matematikk”

Corca beskriver sin plattform som en AI-nativ samarbeidsorientert matematisk arbeidsplass som kombinerer ligningsredigering, symbolsk resonnering, beregning og sanntids-samarbeid i en nettbasert miljø.

I motsetning til tradisjonell matematisk programvare som ofte krever spesialisert syntaks eller programmeringskunnskaper, lar Corca brukerne skrive matematikk ved hjelp av naturlige inndata. Å skrive uttrykk som “integral” eller “rot” genererer automatisk den korrekte notasjonen uten at brukerne må huske kommandoer eller formateringsregler.

Plattformens grensesnitt ligner moderne samarbeidsverktøy mer enn eldre matematisk programvare. Flere brukere kan arbeide samtidig på ligninger, modeller og beregninger, likt hvordan team samarbeider i Google Docs eller Figma. Innbygde AI-kapasiteter kan assistere med å løse problemer, manipulere uttrykk, generere kode og utføre beregninger uten å tvinge brukerne til å bytte mellom applikasjoner.

I stedet for å fungere som en ren regnemaskin eller ligningsredigeringsverktøy, stiller Corca seg som en komplett arbeidsplass hvor matematisk tenkning, beregning og samarbeid skjer på ett sted.

Hvorfor matematiske grensesnitt er viktige for AI

Tidspunktet for Corcas finansiering kommer i en tid med økende interesse for å forbedre hvordan AI-systemer samhandler med matematisk resonnering.

Mens store språkmodeller har demonstrert bemerkelsesverdige evner i naturlige språkoppdrag, er matematikk en av deres mer utfordrende domener. Matematiske uttrykk er ikke bare tekst; de inneholder symbolske strukturer, relasjoner og logisk mening som tradisjonelle språkmodeller ofte sliter med å representere nøyaktig.

Corcas underliggende symbolske matematikk-motor er designet spesifikt rundt matematiske objekter og relasjoner fremfor å behandle ligninger som sekvenser av ord. Dette tilnærmingen lar AI-assisterte arbeidsflyter samhandle mer naturlig med matematiske konsepter, potensielt gjør komplekse beregninger og modelleringstasks mer pålitelige og tilgjengelige.

Ettersom AI blir stadig viktigere over hele vitenskap, ingeniørvitenskap og forskning, kan spesialiserte grensesnitt designet rundt matematisk resonnering bli et viktig lag mellom menneskelige eksperter og intelligente systemer.

Fremtiden for matematisk databehandling

I flere tiår har matematisk programvare i hovedsak fokusert på enten beregning eller publisering. Corca representerer en ny generasjon plattformer som forsøker å brobygge disse verdener ved å kombinere notasjon, resonnering, samarbeid og AI i ett miljø.

Konsekvensene går utover komfort. Ettersom industrier stadig mer avhenger av simulasjoner, maskinlæringsmodeller, kvantitativ analyse og vitenskapelig oppdagelse, blir effektiviteten av matematiske arbeidsflyter stadig viktigere. Forskere og ingeniører tilbringer ofte mye tid med å flytte informasjon mellom frakoblete verktøy, og introduserer friksjon i prosesser som allerede er svært komplekse.

Plattformer som forener matematisk redigering, beregning, samarbeid og AI-hjelp kan hjelpe med å akselerere alt fra ingeniørdesign og vitenskapelig forskning til finansiell modellering og AI-utvikling. Like som samarbeidsorienterte kode-miljøer transformerte programvareutvikling, kan samarbeidsorienterte matematiske arbeidsplasser omforme hvordan teknisk kunnskap skapes, finpusles og deles.

Med fersk finansiering og økende adopsjon, Corca er i ferd med å satse på at matematikk fortjener samme nivå av innovasjon som moderne programvareutvikling har opplevd over de siste to tiårene. Hvis denne visjonen lykkes, kan måten mennesker arbeider med ligninger snart se svært annerledes ut enn de arbeidsflytene som har forblitt i hovedsak uendret siden 1980-årene.