Corca recauda 7,8 millones de dólares para reinventar los flujos de trabajo matemáticos para la era de la IA

Las matemáticas se encuentran en la base de la ingeniería moderna, las finanzas, la investigación científica y la inteligencia artificial. Sin embargo, a pesar de impulsar algunas de las tecnologías más avanzadas del mundo, las herramientas utilizadas para crear y colaborar en trabajos matemáticos han cambiado sorprendentemente poco en las últimas décadas.

Ahora, la startup con sede en Nueva York Corca tiene como objetivo modernizar esa experiencia. La empresa ha anunciado una ronda de financiación de 7,8 millones de dólares liderada por NEA, con la participación de Bloomberg Beta, Daft Capital y NVentures. El nuevo capital se utilizará para expandir el equipo de ingeniería de la empresa, desarrollar aún más sus capacidades de IA y acelerar el desarrollo de productos.

Un problema oculto a simple vista

Mientras que el desarrollo de software ha evolucionado a través de plataformas de codificación colaborativa, entornos de desarrollo basados en la nube y asistentes de codificación de IA, el trabajo matemático sigue fragmentado en una colección de herramientas que originalmente se desarrollaron hace décadas.

Los ingenieros pueden utilizar MATLAB para cálculos, plataformas de simulación para modelado y herramientas de documentación separadas para compartir resultados. Los investigadores a menudo se mueven entre cuadernos, pizarras, PDF, capturas de pantalla y documentos LaTeX para comunicar ideas. El resultado es un flujo de trabajo que puede ser sorprendentemente engorroso para un trabajo que cada vez más subyace a los sistemas de IA, la robótica, el diseño aeroespacial, la finanza cuantitativa y el descubrimiento científico.

Los fundadores de Corca argumentan que nunca ha habido un verdadero espacio de trabajo colaborativo construido específicamente para las matemáticas. En su lugar, los usuarios han sido obligados a adaptar herramientas diseñadas principalmente para publicar ecuaciones en lugar de trabajar activamente con ellas.

Construyendo un “cursor para las matemáticas”

Corca describe su plataforma como un espacio de trabajo colaborativo de matemáticas nativo de IA que combina edición de ecuaciones, razonamiento simbólico, cálculo y colaboración en tiempo real en un entorno basado en navegador.

A diferencia del software matemático tradicional que a menudo requiere sintaxis especializada o conocimientos de programación, Corca permite a los usuarios escribir matemáticas utilizando entradas naturales. Al escribir términos como “integral” o “raíz”, se genera automáticamente la notación adecuada sin que los usuarios tengan que memorizar comandos o reglas de formato.

La interfaz de la plataforma se asemeja más a las herramientas de productividad colaborativa modernas que al software matemático legado. Varios usuarios pueden trabajar simultáneamente en ecuaciones, modelos y cálculos, similar a cómo los equipos colaboran en Google Docs o Figma. Las capacidades de IA integradas pueden ayudar a resolver problemas, manipular expresiones, generar código y realizar cálculos sin obligar a los usuarios a cambiar entre aplicaciones.

En lugar de funcionar únicamente como una calculadora o editor de ecuaciones, Corca se posiciona como un espacio de trabajo completo donde el pensamiento matemático, el cálculo y la colaboración ocurren en un solo lugar.

Por qué las interfaces matemáticas importan para la IA

El momento de la financiación de Corca llega en medio de un creciente interés en mejorar la forma en que los sistemas de IA interactúan con el razonamiento matemático.

Mientras que los grandes modelos de lenguaje han demostrado capacidades notables en tareas de lenguaje natural, las matemáticas siguen siendo uno de sus dominios más desafiantes. Las expresiones matemáticas no son solo texto; contienen estructuras simbólicas, relaciones y significado lógico que los modelos de lenguaje tradicionales a menudo luchan por representar con precisión.

El motor de matemáticas simbólicas subyacente de Corca está diseñado específicamente alrededor de objetos y relaciones matemáticos en lugar de tratar ecuaciones como secuencias de palabras. Este enfoque permite que los flujos de trabajo asistidos por IA interactúen de manera más natural con conceptos matemáticos, lo que potencialmente hace que las tareas de cálculo y modelado complejas sean más confiables y accesibles.

A medida que la IA se vuelve cada vez más importante en la ciencia, la ingeniería y la investigación, las interfaces especializadas diseñadas alrededor del razonamiento matemático pueden convertirse en una capa importante entre los expertos humanos y los sistemas inteligentes.

El futuro de la computación matemática

Durante décadas, el software matemático se ha centrado principalmente en la computación o la publicación. Corca representa una nueva generación de plataformas que intentan unir esos mundos combinando notación, razonamiento, colaboración y IA en un solo entorno.

Las implicaciones van más allá de la conveniencia. A medida que las industrias dependen cada vez más de simulaciones, modelos de aprendizaje automático, análisis cuantitativo y descubrimiento científico, la eficiencia de los flujos de trabajo matemáticos se vuelve cada vez más importante. Los investigadores y los ingenieros a menudo dedican mucho tiempo a mover información entre herramientas desconectadas, introduciendo fricción en procesos que ya son altamente complejos.

Las plataformas que unifican la edición matemática, el cálculo, la colaboración y la asistencia de IA podrían ayudar a acelerar todo, desde el diseño de ingeniería y la investigación científica hasta el modelado financiero y el desarrollo de IA. Al igual que los entornos de codificación colaborativa transformaron el desarrollo de software, los espacios de trabajo matemáticos colaborativos pueden cambiar la forma en que se crea, se refina y se comparte el conocimiento técnico.

Con financiación fresca y una creciente adopción, Corca apuesta a que las matemáticas merecen el mismo nivel de innovación que el desarrollo de software moderno ha experimentado en las últimas dos décadas. Si esa visión tiene éxito, la forma en que las personas trabajan con ecuaciones puede parecer muy diferente a los flujos de trabajo que han permanecido en gran medida sin cambios desde la década de 1980.