Corca lève 7,8 millions de dollars pour réinventer les flux de travail mathématiques pour l’ère de l’IA

Les mathématiques sont au fondement de l’ingénierie moderne, de la finance, de la recherche scientifique et de l’intelligence artificielle. Pourtant, malgré le fait qu’elles alimentent certaines des technologies les plus avancées du monde, les outils utilisés pour créer et collaborer sur les travaux mathématiques n’ont changé que très peu au cours des dernières décennies.

Maintenant, la startup new-yorkaise Corca vise à moderniser cette expérience. L’entreprise a annoncé un tour de financement de 7,8 millions de dollars mené par NEA, avec la participation de Bloomberg Beta, Daft Capital et NVentures. Le nouveau capital sera utilisé pour élargir l’équipe d’ingénieurs de l’entreprise, développer davantage ses capacités d’IA et accélérer le développement de produits.

Un problème caché en plein jour

Alors que le développement de logiciels a évolué à travers les plateformes de codage collaboratif, les environnements de développement basés sur le cloud et les assistants de codage IA, les travaux mathématiques restent fragmentés à travers une collection d’outils développés à l’origine il y a des décennies.

Les ingénieurs peuvent utiliser MATLAB pour les calculs, les plateformes de simulation pour la modélisation et des outils de documentation distincts pour partager les résultats. Les chercheurs passent souvent d’un cahier à un tableau noir, des PDF, des captures d’écran et des documents LaTeX pour communiquer des idées. Le résultat est un flux de travail qui peut être étonnamment fastidieux pour un travail qui sous-tend de plus en plus les systèmes d’IA, la robotique, la conception aérospatiale, la finance quantitative et la découverte scientifique.

Les fondateurs de Corca soutiennent qu’il n’y a jamais eu d’espace de travail collaboratif véritablement conçu spécifiquement pour les mathématiques. Au lieu de cela, les utilisateurs ont été contraints d’adapter des outils conçus principalement pour la publication d’équations plutôt que pour y travailler activement.

Construire un “curseur pour les mathématiques”

Corca décrit sa plateforme comme un espace de travail collaboratif mathématique natif IA qui combine l’édition d’équations, la raison symbolique, le calcul et la collaboration en temps réel dans un environnement basé sur le navigateur.

Contrairement aux logiciels mathématiques traditionnels qui exigent souvent une syntaxe spécialisée ou des connaissances en programmation, Corca permet aux utilisateurs d’écrire des mathématiques à l’aide de saisies naturelles. La saisie de termes tels que “intégrale” ou “racine” génère automatiquement la notation appropriée sans exiger que les utilisateurs mémorisent des commandes ou des règles de mise en forme.

L’interface de la plateforme ressemble plus aux outils de productivité collaboratifs modernes qu’aux logiciels mathématiques hérités. Plusieurs utilisateurs peuvent travailler simultanément sur des équations, des modèles et des calculs, de la même manière que les équipes collaborent dans Google Docs ou Figma. Les capacités IA intégrées peuvent aider à résoudre des problèmes, manipuler des expressions, générer du code et effectuer des calculs sans forcer les utilisateurs à basculer entre les applications.

Plutôt que de fonctionner uniquement comme un calculatrice ou un éditeur d’équations, Corca se positionne comme un espace de travail complet où la pensée mathématique, le calcul et la collaboration se produisent en un seul endroit.

Pourquoi les interfaces mathématiques sont importantes pour l’IA

Le moment du financement de Corca arrive au milieu d’un intérêt croissant pour améliorer la façon dont les systèmes d’IA interagissent avec la raison mathématique.

Alors que les grands modèles de langage ont démontré des capacités remarquables dans les tâches de langage naturel, les mathématiques restent l’un de leurs domaines les plus difficiles. Les expressions mathématiques ne sont pas seulement du texte ; elles contiennent des structures symboliques, des relations et une signification logique que les modèles de langage traditionnels ont souvent du mal à représenter avec précision.

Le moteur mathématique symbolique sous-jacent de Corca est conçu spécifiquement autour d’objets et de relations mathématiques plutôt que de traiter les équations comme des séquences de mots. Cette approche permet aux flux de travail assistés par l’IA d’interagir plus naturellement avec les concepts mathématiques, rendant potentiellement les tâches de calcul et de modélisation complexes plus fiables et accessibles.

À mesure que l’IA devient de plus en plus importante dans la science, l’ingénierie et la recherche, les interfaces spécialisées conçues autour de la raison mathématique pourraient devenir une couche importante entre les experts humains et les systèmes intelligents.

Le futur de l’informatique mathématique

Pendant des décennies, les logiciels mathématiques se sont concentrés principalement sur le calcul ou la publication. Corca représente une nouvelle génération de plateformes qui tentent de combler ces deux mondes en combinant la notation, la raison, la collaboration et l’IA dans un seul environnement.

Les implications vont au-delà de la commodité. À mesure que les industries dépendent de plus en plus de simulations, de modèles de machine learning, d’analyses quantitatives et de découvertes scientifiques, l’efficacité des flux de travail mathématiques devient de plus en plus importante. Les chercheurs et les ingénieurs passent souvent beaucoup de temps à déplacer des informations entre des outils non connectés, introduisant ainsi des frictions dans des processus déjà très complexes.

Les plateformes qui unifient l’édition mathématique, le calcul, la collaboration et l’assistance IA pourraient aider à accélérer tout, de la conception d’ingénierie et de la recherche scientifique à la modélisation financière et au développement de l’IA. Tout comme les environnements de codage collaboratifs ont transformé le développement de logiciels, les espaces de travail mathématiques collaboratifs pourraient façonner la manière dont les connaissances techniques sont créées, affinées et partagées.

Avec un financement frais et une adoption croissante, Corca mise sur le fait que les mathématiques méritent le même niveau d’innovation que le développement de logiciels modernes a connu au cours des deux dernières décennies. Si cette vision réussit, la façon dont les gens travaillent avec les équations pourrait bientôt être très différente des flux de travail qui sont restés largement inchangés depuis les années 80.