Corca hæver 7,8 millioner dollars for at revolutionere matematiske arbejdsgange for AI-æraen

Matematik ligger til grund for moderne ingeniørvidenskab, finans, videnskabelig forskning og kunstig intelligens. Alligevel har værktøjerne, der bruges til at skabe og samarbejde om matematiske arbejder, forblivet næsten uændrede i løbet af de seneste årtier.

Nu søger New York-baserede startup Corca at modernisere denne oplevelse. Selskabet har annonceret en finansieringsrunde på 7,8 millioner dollars ledet af NEA, med deltagelse fra Bloomberg Beta, Daft Capital og NVentures. Den nye kapital vil blive brugt til at udvide selskabets ingeniørteam, yderligere udvikle dets AI-kapaciteter og accelerere produktudviklingen.

Et problem skjult i fuld daglys

Mens softwareudviklingen har udviklet sig gennem samarbejdende kodningsplatforme, cloud-baserede udviklingsmiljøer og AI-kodningsassistenter, forbliver matematiske arbejder fragmenterede over en samling af værktøjer, der oprindeligt blev udviklet for årtier siden.

Ingeniører kan bruge MATLAB til beregninger, simulationsplatforme til modellering og separate dokumentationsværktøjer til deling af resultater. Forskere flytter ofte mellem notesbøger, whiteboards, PDF’er, skærmbilleder og LaTeX-dokumenter for at kommunikere ideer. Resultatet er en arbejdsgang, der kan være overraskende besværlig for arbejde, der i stigende grad underbygger AI-systemer, robotteknik, rumfartsdesign, kvantitativ finans og videnskabelig opdagelse.

Corcas grundlæggere argumenterer for, at der aldrig har været en sandt samarbejdende arbejdsplads bygget specifikt til matematik. I stedet har brugerne været tvunget til at tilpasse værktøjer, der primært er designet til at offentliggøre ligninger i stedet for aktivt at arbejde med dem.

Bygning af en “markør for matematik”

Corca beskriver sin platform som en AI-naturlig samarbejdende matematiske arbejdsplads, der kombinerer ligningredigering, symbolisk resonans, beregning og realtids-samarbejde i en browser-baseret miljø.

I modsætning til traditionel matematisk software, der ofte kræver specialiseret syntaks eller programmeringskundskaber, giver Corca brugerne mulighed for at skrive matematik ved hjælp af naturlige indtastninger. Når man skriver termer som “integral” eller “rod”, genererer det automatisk den korrekte notation uden, at brugeren behøver at huske kommandoer eller formateringsregler.

Platformens interface ligner moderne samarbejdende produktivitetsværktøjer mere end legacy-matematisk software. Flere brugere kan arbejde samtidigt på ligninger, modeller og beregninger, ligesom hold samarbejder i Google Docs eller Figma. Indbyggede AI-kapaciteter kan hjælpe med at løse problemer, manipulere udtryk, generere kode og udføre beregninger uden, at brugerne behøver at skifte mellem programmer.

I stedet for kun at fungere som en beregner eller ligningseditor positionerer Corca sig selv som en komplet arbejdsplads, hvor matematisk tænkning, beregning og samarbejde sker på ét sted.

Hvorfor matematiske grænseflader er vigtige for AI

Tidspunktet for Corcas finansiering kommer i en periode med stigende interesse for at forbedre, hvordan AI-systemer interagerer med matematisk resonans.

Mens store sprogmodeller har demonstreret bemærkelsesværdige evner i naturlige sprogopgaver, forbliver matematik en af deres mere udfordrende domæner. Matematiske udtryk er ikke blot tekst; de indeholder symboliske strukturer, relationer og logisk mening, som traditionelle sprogmodeller ofte har svært ved at repræsentere nøjagtigt.

Corcas underliggende symboliske matematiske motor er designet specifikt omkring matematiske objekter og relationer i stedet for at behandle ligninger som sekvenser af ord. Dette tilgang giver AI-assisterede arbejdsgange mulighed for at interagere mere naturligt med matematiske begreber, hvilket potentielt kan gøre komplekse beregninger og modelleringstasks mere pålidelige og tilgængelige.

Da AI bliver stadig vigtigere på tværs af videnskab, ingeniørvidenskab og forskning, kan specialiserede grænseflader designet omkring matematisk resonans blive et vigtigt lag mellem menneskelige eksperter og intelligente systemer.

Fremtiden for matematisk beregning

I årtier har matematisk software primært fokuseret på enten beregning eller offentliggørelse. Corca repræsenterer en ny generation af platforme, der forsøger at brobygge disse verdener ved at kombinere notation, resonans, samarbejde og AI i ét miljø.

Konsekvenserne strækker sig ud over bekvemmelighed. Da industrierne i stigende grad afhænger af simulationer, maskinlæringsmodeller, kvantitativ analyse og videnskabelig opdagelse, bliver effektiviteten af matematiske arbejdsgange stadig vigtigere. Forskere og ingeniører bruger ofte betydelig tid på at flytte information mellem ikke-sammenhængende værktøjer, hvilket introducerer friktion i processer, der allerede er højkomplekse.

Platforme, der samler matematisk redigering, beregning, samarbejde og AI-assistance, kan hjælpe med at accelerere alt fra ingeniørdesign og videnskabelig forskning til finansielle modeller og AI-udvikling. Ligesom samarbejdende kodningsmiljøer har forandret softwareudviklingen, kan samarbejdende matematiske arbejdspladser måske omforme, hvordan teknisk viden skabes, forfineres og deles.

Med frisk finansiering og stigende adoption, Corca er villig til, at matematik fortjener samme niveau af innovation, som moderne softwareudvikling har oplevet i løbet af de seneste to årtier. Hvis denne vision lykkes, kan måden, hvorpå mennesker arbejder med ligninger, snart se meget forskellig ud fra de arbejdsgange, der har forblevet stort set uændrede siden 1980’erne.