Corca 获得 780 万美元资金，旨在为 AI 时代革新数学工作流

数学是现代工程、金融、科学研究和人工智能的基础。然而，尽管数学驱动着世界上一些最先进的技术，但用于创建和协作数学工作的工具在过去几十年中却出奇地少有变化。

现在，总部位于纽约的初创公司 Corca 正在尝试现代化这一体验。该公司宣布了一轮 780 万美元的资金轮，领投方为 NEA，参与方包括 Bloomberg Beta、Daft Capital 和 NVentures。新资金将用于扩大公司的工程团队，进一步开发其 AI 能力，并加速产品开发。

一个隐藏在众目睽睽下的问题

虽然软件开发已经通过协作编码平台、基于云的开发环境和 AI 编码助手进行了演进，但数学工作仍然分散在几十年前开发的各种工具中。

工程师可能使用 MATLAB 进行计算，使用模拟平台进行建模，并使用单独的文档工具共享结果。研究人员经常在笔记本、白板、PDF、截图和 LaTeX 文档之间切换，以便传达想法。结果是一个可能对于支撑 AI 系统、机器人、航空航天设计、量化金融和科学发现的工作来说过于繁琐的工作流程。

Corca 的创始人认为，数学领域从未有过真正的协作工作空间。相反，用户被迫适应主要用于出版方程式而非积极使用它们的工具。

构建“数学光标”

Corca 将其平台描述为一个 AI 本地的协作数学工作空间，该空间将方程式编辑、符号推理、计算和实时协作结合在一个基于浏览器的环境中。

与传统的数学软件不同，传统软件通常需要专门的语法或编程知识，Corca 允许用户使用自然输入来编写数学表达式。输入诸如“积分”或“根”等术语会自动生成相应的符号，而无需用户记住命令或格式规则。

该平台的界面更类似于现代协作生产力工具，而非传统的数学软件。多个用户可以同时在方程式、模型和计算上进行合作，类似于团队在 Google Docs 或 Figma 中的协作方式。内置的 AI 能力可以帮助解决问题、操作表达式、生成代码和执行计算，而无需用户在应用程序之间切换。

Corca 不仅仅是一个计算器或方程式编辑器，而是一个完整的工作空间，数学思维、计算和协作在这里同时发生。

为什么数学界面对 AI 至关重要

Corca 获得资金的时机恰逢人们对改善 AI 系统与数学推理交互方式的兴趣日益增长。

虽然大型语言模型在自然语言任务中展示了令人惊叹的能力，但数学仍然是它们更具挑战性的领域。数学表达式不仅仅是文本；它们包含符号结构、关系和逻辑意义，传统语言模型通常难以准确地表示这些内容。

Corca 的底层符号数学引擎专门针对数学对象和关系进行设计，而不是将方程式视为单词序列。这种方法允许 AI 辅助工作流更自然地与数学概念交互，可能使复杂的计算和建模任务更加可靠和易于访问。

随着 AI 在科学、工程和研究领域变得越来越重要，专门针对数学推理设计的界面可能会成为人类专家和智能系统之间的重要层。

数学计算的未来

几十年来，数学软件主要关注计算或出版。Corca 代表着一代新的平台，它们试图通过将符号、推理、协作和 AI 结合到一个环境中来弥合这些世界之间的差距。

其影响范围不仅仅是便利。随着行业越来越依赖模拟、机器学习模型、量化分析和科学发现，数学工作流的效率变得越来越重要。研究人员和工程师通常会花费大量时间在断开的工具之间移动信息，从而引入了原本已经复杂的流程中的摩擦。

统一数学编辑、计算、协作和 AI 辅助的平台可能有助于加速从工程设计、科学研究到金融建模和 AI 开发的一切。就像协作编码环境改变了软件开发一样，协作数学工作空间可能会重塑技术知识的创建、改进和共享方式。

凭借新资金和日益增长的采用率，Corca 正在押注数学应该拥有与现代软件开发过去二十年经历的同等级别的创新。如果这一愿景成功，人们处理方程式的方式可能很快就会与自 1980 年代以来基本上没有改变的工作流程大不相同。