Corca Levanta $7,8 Milhões para Reinventar Fluxos de Trabalho Matemáticos para a Era da IA

A matemática está na base da engenharia moderna, finanças, pesquisa científica e inteligência artificial. No entanto, apesar de impulsionar algumas das tecnologias mais avançadas do mundo, as ferramentas usadas para criar e colaborar em trabalhos matemáticos mudaram surpreendentemente pouco nas últimas décadas.

Agora, a startup de Nova York Corca está visando modernizar essa experiência. A empresa anunciou uma rodada de financiamento de $7,8 milhões liderada pela NEA, com a participação da Bloomberg Beta, Daft Capital e NVentures. O novo capital será usado para expandir a equipe de engenharia da empresa, desenvolver ainda mais suas capacidades de IA e acelerar o desenvolvimento de produtos.

Um Problema Oculto à Vista

Enquanto o desenvolvimento de software evoluiu por meio de plataformas de codificação colaborativa, ambientes de desenvolvimento baseados em nuvem e assistentes de codificação de IA, o trabalho matemático permanece fragmentado em uma coleção de ferramentas originalmente desenvolvidas décadas atrás.

Engenheiros podem usar MATLAB para cálculos, plataformas de simulação para modelagem e ferramentas de documentação separadas para compartilhar resultados. Pesquisadores frequentemente se movem entre notebooks, quadros brancos, PDFs, capturas de tela e documentos LaTeX para comunicar ideias. O resultado é um fluxo de trabalho que pode ser surpreendentemente trabalhoso para um trabalho que cada vez mais sustenta sistemas de IA, robótica, design aeroespacial, finanças quantitativas e descoberta científica.

Os fundadores da Corca argumentam que nunca houve um verdadeiro espaço de trabalho colaborativo construído especificamente para matemática. Em vez disso, os usuários foram forçados a adaptar ferramentas projetadas principalmente para publicar equações em vez de trabalhar ativamente com elas.

Construindo um “Cursor para Matemática”

A Corca descreve sua plataforma como um espaço de trabalho colaborativo de matemática nativo de IA que combina edição de equações, raciocínio simbólico, computação e colaboração em tempo real em um ambiente baseado em navegador.

Ao contrário do software matemático tradicional que frequentemente exige sintaxe especializada ou conhecimento de programação, a Corca permite que os usuários escrevam matemática usando entradas naturais. Digitar termos como “integral” ou “raiz” gera automaticamente a notação apropriada sem exigir que os usuários memorizem comandos ou regras de formatação.

A interface da plataforma se assemelha mais a ferramentas de produtividade colaborativa modernas do que a software matemático legado. Vários usuários podem trabalhar simultaneamente em equações, modelos e cálculos, semelhante à forma como as equipes colaboram no Google Docs ou Figma. As capacidades de IA integradas podem ajudar a resolver problemas, manipular expressões, gerar código e realizar cálculos sem forçar os usuários a alternar entre aplicativos.

Em vez de funcionar apenas como um calculadora ou editor de equações, a Corca está se posicionando como um espaço de trabalho completo onde o pensamento matemático, computação e colaboração acontecem em um só lugar.

Por Que as Interfaces Matemáticas Importam para a IA

O timing do financiamento da Corca chega em meio a um crescente interesse em melhorar a forma como os sistemas de IA interagem com o raciocínio matemático.

Embora os grandes modelos de linguagem tenham demonstrado capacidades notáveis em tarefas de linguagem natural, a matemática permanece um dos domínios mais desafiadores. As expressões matemáticas não são apenas texto; elas contêm estruturas simbólicas, relações e significado lógico que os modelos de linguagem tradicionais frequentemente lutam para representar com precisão.

O motor de matemática simbólica subjacente da Corca é projetado especificamente em torno de objetos e relações matemáticas, em vez de tratar equações como sequências de palavras. Essa abordagem permite que os fluxos de trabalho assistidos por IA interajam mais naturalmente com conceitos matemáticos, potencialmente tornando tarefas de cálculo e modelagem mais confiáveis e acessíveis.

À medida que a IA se torna cada vez mais importante em ciência, engenharia e pesquisa, interfaces especializadas projetadas em torno do raciocínio matemático podem se tornar uma camada importante entre especialistas humanos e sistemas inteligentes.

O Futuro da Computação Matemática

Por décadas, o software matemático se concentrou principalmente na computação ou publicação. A Corca representa uma nova geração de plataformas que tentam unir esses mundos, combinando notação, raciocínio, colaboração e IA em um único ambiente.

As implicações vão além da conveniência. À medida que as indústrias dependem cada vez mais de simulações, modelos de aprendizado de máquina, análise quantitativa e descoberta científica, a eficiência dos fluxos de trabalho matemáticos se torna cada vez mais importante. Pesquisadores e engenheiros frequentemente gastam muito tempo movendo informações entre ferramentas desconectadas, introduzindo atrito em processos que já são altamente complexos.

Plataformas que unificam edição matemática, computação, colaboração e assistência de IA podem ajudar a acelerar tudo, desde design de engenharia e pesquisa científica até modelagem financeira e desenvolvimento de IA. Assim como ambientes de codificação colaborativa transformaram o desenvolvimento de software, espaços de trabalho matemáticos colaborativos podem redefinir como o conhecimento técnico é criado, refinado e compartilhado.

Com financiamento fresco e adoção em crescimento, a Corca está apostando que a matemática merece o mesmo nível de inovação que o desenvolvimento de software moderno experimentou nas últimas duas décadas. Se essa visão for bem-sucedida, a forma como as pessoas trabalham com equações pode em breve parecer muito diferente dos fluxos de trabalho que permaneceram largamente inalterados desde a década de 1980.