Corca raccoglie 7,8 milioni di dollari per reinventare i flussi di lavoro matematici per l’era dell’AI

La matematica si trova alla base dell’ingegneria moderna, della finanza, della ricerca scientifica e dell’intelligenza artificiale. Eppure, nonostante alimenti alcune delle tecnologie più avanzate del mondo, gli strumenti utilizzati per creare e collaborare su lavori matematici sono cambiati sorprendentemente poco nel corso degli ultimi decenni.

Ora, la startup di New York Corca mira a modernizzare quell’esperienza. La società ha annunciato un round di finanziamento di 7,8 milioni di dollari guidato da NEA, con la partecipazione di Bloomberg Beta, Daft Capital e NVentures. Il nuovo capitale sarà utilizzato per espandere il team di ingegneria della società, sviluppare ulteriormente le sue capacità di intelligenza artificiale e accelerare lo sviluppo del prodotto.

Un problema nascosto in piena vista

Mentre lo sviluppo del software è evoluto attraverso piattaforme di codifica collaborative, ambienti di sviluppo basati su cloud e assistenti di codifica AI, il lavoro matematico rimane frammentato in una raccolta di strumenti originariamente sviluppati decenni fa.

Gli ingegneri possono utilizzare MATLAB per i calcoli, le piattaforme di simulazione per la modellazione e strumenti di documentazione separati per condividere i risultati. I ricercatori spesso si spostano tra notebook, lavagne, PDF, screenshot e documenti LaTeX per comunicare idee. Il risultato è un flusso di lavoro che può essere sorprendentemente faticoso per un lavoro che aumenta sotto il sistema AI, la progettazione robotica, la progettazione aerospaziale, la finanza quantitativa e la scoperta scientifica.

I fondatori di Corca sostengono che non è mai esistito un vero spazio di lavoro collaborativo costruito specificamente per la matematica. Invece, gli utenti sono stati costretti ad adattare strumenti progettati principalmente per la pubblicazione di equazioni piuttosto che lavorare attivamente con esse.

Costruire un “cursore per la matematica”

Corca descrive la sua piattaforma come uno spazio di lavoro collaborativo matematico nativo AI che combina la modifica delle equazioni, il ragionamento simbolico, il calcolo e la collaborazione in tempo reale in un ambiente basato sul browser.

A differenza del software matematico tradizionale che spesso richiede una sintassi specializzata o conoscenze di programmazione, Corca consente agli utenti di scrivere matematica utilizzando input naturali. Digitare termini come “integrale” o “radice” genera automaticamente la notazione appropriata senza richiedere agli utenti di memorizzare comandi o regole di formattazione.

L’interfaccia della piattaforma assomiglia più a strumenti di produttività collaborativa moderni che a software matematico legacy. Molti utenti possono lavorare simultaneamente su equazioni, modelli e calcoli, simili a come i team collaborano in Google Docs o Figma. Le capacità di intelligenza artificiale integrate possono assistere nella risoluzione dei problemi, nella manipolazione delle espressioni, nella generazione di codice e nell’esecuzione di calcoli senza costringere gli utenti a passare tra applicazioni.

Piuttosto che funzionare solo come un calcolatore o un editor di equazioni, Corca si posiziona come un completo spazio di lavoro in cui il pensiero matematico, il calcolo e la collaborazione avvengono in un unico luogo.

Perché le interfacce matematiche sono importanti per l’AI

Il timing del finanziamento di Corca arriva in un momento di crescente interesse per migliorare la modalità con cui i sistemi AI interagiscono con il ragionamento matematico.

Se i grandi modelli linguistici hanno dimostrato capacità notevoli in compiti di linguaggio naturale, la matematica rimane uno dei loro domini più impegnativi. Le espressioni matematiche non sono semplicemente testo; contengono strutture simboliche, relazioni e significato logico che i modelli linguistici tradizionali spesso lottano per rappresentare con precisione.

Il motore matematico simbolico sottostante di Corca è progettato specificamente intorno a oggetti e relazioni matematiche piuttosto che trattare le equazioni come sequenze di parole. Questo approccio consente ai flussi di lavoro assistiti da AI di interagire in modo più naturale con i concetti matematici, rendendo potenzialmente più affidabili e accessibili compiti di calcolo e modellazione complessi.

Man mano che l’AI diventa sempre più importante nella scienza, nell’ingegneria e nella ricerca, interfacce specializzate progettate intorno al ragionamento matematico potrebbero diventare un importante strato tra gli esperti umani e i sistemi intelligenti.

Il futuro del calcolo matematico

Per decenni, il software matematico si è concentrato principalmente sulla computazione o sulla pubblicazione. Corca rappresenta una nuova generazione di piattaforme che tentano di colmare quei mondi combinando notazione, ragionamento, collaborazione e AI in un unico ambiente.

Le implicazioni vanno oltre la convenienza. Man mano che le industrie dipendono sempre più da simulazioni, modelli di apprendimento automatico, analisi quantitative e scoperta scientifica, l’efficienza dei flussi di lavoro matematici diventa sempre più importante. I ricercatori e gli ingegneri spesso spendono molto tempo spostando informazioni tra strumenti non connessi, introducendo attrito in processi che sono già altamente complessi.

Le piattaforme che uniscono la modifica matematica, il calcolo, la collaborazione e l’assistenza AI potrebbero aiutare ad accelerare tutto, dalla progettazione ingegneristica e dalla ricerca scientifica alla modellazione finanziaria e allo sviluppo dell’AI. Proprio come gli ambienti di codifica collaborativa hanno trasformato lo sviluppo del software, gli spazi di lavoro matematici collaborativi potrebbero ridisegnare il modo in cui la conoscenza tecnica viene creata, raffinata e condivisa.

Con un finanziamento fresco e una crescente adozione, Corca scommette che la matematica merita lo stesso livello di innovazione che lo sviluppo del software moderno ha sperimentato negli ultimi due decenni. Se quella visione ha successo, il modo in cui le persone lavorano con le equazioni potrebbe presto apparire molto diverso dai flussi di lavoro che sono rimasti in gran parte invariati dal 1980.