Corca Research 获 780 万美元种子轮融资：两位杂货配送宿敌联手，要用 AI 重新定义数学工作方式

在全球 STEM 人才短缺持续加剧的今天，一个反直觉的事实正在浮出水面——阻碍更多人进入科学与工程领域的，往往不是智力门槛，而是工具门槛。MATLAB 的年度许可证动辄数千美元，LaTeX 的学习曲线让无数初学者望而却步，而手写方程式与计算验证之间的割裂，更是让数学协作效率停留在上个世纪。纽约初创公司 Corca Research 正试图用一个 AI 原生的数学工作空间打破这一僵局——而它的两位创始人，曾在纽约杂货即时配送的血腥战场上互为死敌。

2025 年 6 月，Corca Research 宣布完成 780 万美元种子轮融资，由顶级风投 NEA 领投，Nvidia NVentures、Bloomberg Beta 和 Daft Capital 跟投。这笔资金将用于加速其核心产品开发——一个被团队称为”Cursor for Math“的 AI 驱动数学协作平台。

从杂货配送到数学 AI：一段不寻常的创业叙事

Corca Research 最引人注目的故事之一，或许不在技术本身，而在其创始人的背景。Anton Gladkoborodov 和 Oleg Shevlyagin 曾分别创立纽约杂货即时配送公司 1520 和 Fridge No More——两家公司在 2020-2021 年的即时配送热潮中曾是激烈的竞争对手。当行业泡沫破裂、两家公司相继退出市场后，这对昔日宿敌却做出了一个出人意料的决定：联手创业。

这种”竞争对手转合伙人”的叙事在风投圈并不多见，但恰恰体现了一种务实的创业哲学——真正了解你的人，往往是那个曾在战场对面研究你每一步棋的人。两人在杂货配送领域积累的运营经验和对用户需求的敏锐嗅觉，如今被迁移到了一个截然不同但同样依赖用户体验的赛道：数学工具。

产品解析：”Cursor for Math”凭什么替代 MATLAB 和 LaTeX？

Corca Research 的核心产品定位清晰——成为数学领域的 Cursor（程序员熟知的 AI 代码编辑器）。其平台集成了三大核心能力：

• 方程编写与渲染：用户可以自然语言或标准数学符号输入方程，系统实时渲染为出版级格式，彻底替代 LaTeX 的繁琐语法；
• 即时计算引擎：方程不仅仅是”写出来看的”，平台内置计算引擎可直接运行数学表达式并返回结果，弥合了”写方程”与”跑计算”之间的鸿沟；
• AI 实时辅助：基于大语言模型的 AI 助手可以解释方程含义、提供解题思路、指出推导错误，甚至根据上下文建议下一步推导方向。

这一组合拳的意义在于：传统数学工作流需要在 LaTeX（排版）、MATLAB/Mathematica（计算）和教科书/搜索引擎（理解）之间反复切换，而 Corca Research 试图在一个统一界面中完成所有环节。对于工程师、研究人员乃至正在学习高等数学的学生而言，这意味着巨大的效率提升。

市场机遇与竞争格局

全球科学计算软件市场预计将在 2030 年达到 180 亿美元，而 MathWorks（MATLAB 母公司）作为行业霸主，长期以高昂的授权费和封闭生态维持其护城河。开源替代方案如 Jupyter Notebook 和 SageMath 虽然免费，但在数学专用体验上仍有明显短板。

Corca Research 的差异化优势在于”AI 原生”——它不是在旧工具上叠加 AI 功能，而是从第一行代码开始就围绕 AI 辅助设计整个交互逻辑。这与 Cursor 之于 VS Code 的逻辑如出一辙。

投资逻辑：NEA 和 Nvidia 押注什么？

NEA 作为管理资产超 250 亿美元的顶级风投，领投种子轮本身就释放了强烈信号。而 Nvidia NVentures 的参与更值得玩味——Nvidia 近年来系统性布局 AI 应用层公司，从代码生成到药物发现无所不包，数学推理工具自然是其 GPU 算力生态的重要延伸。Bloomberg Beta 的加入则暗示了金融领域的潜在应用场景——量化研究员、风险分析师、精算师等群体对数学协作工具有刚性需求。

投资人看重的核心逻辑可能包括：

1. 市场空白：AI 代码助手（GitHub Copilot、Cursor）已证明 AI + 专业工具的巨大市场，但数学领域尚无同等级产品； 2. 创始人执行力：两位创始人在杂货配送领域证明了从 0 到 1 的能力，且从失败中汲取了宝贵经验； 3. 降低门槛的社会价值：让更多人能够使用高等数学工具，潜在用户基数远大于传统科学计算市场。

风险与挑战

尽管前景诱人，Corca Research 面临的挑战不容忽视。首先，大语言模型在数学推理上的准确性仍是行业公认的技术瓶颈——AI 在逻辑推导中的”幻觉”问题在数学领域尤为致命。其次，MathWorks 等成熟玩家拥有数十年积累的用户生态和学术机构合作关系，新进入者的替代成本极高。最后，从杂货配送到数学 AI 的赛道跨度，虽然展示了创始人的适应能力，但也意味着团队在数学和教育领域的深度行业认知仍需时间验证。

编者按｜Corca Research 的故事有两层叙事：表面看是一个 AI 数学工具的融资事件，深层看是 AI 原生应用正在逐个攻破垂直专业工具市场的缩影。”Cursor for Math”的类比精准但也危险——Cursor 的成功建立在代码生成模型的成熟之上，而数学推理模型的可靠性仍是悬而未决的课题。未来 12-18 个月的关键观察指标包括：1）产品公测后的用户留存率和 NPS 评分；2）AI 数学推理的准确率能否达到专业用户的容忍阈值；3）是否能签下标杆性的高校或企业客户。两位创始人从杂货配送战场走来，深谙速度与执行力的价值，但数学工具市场需要的是信任和精度——这一次，快不一定赢。

分类与标签

官网

🔗 corca.io

信息来源

• Corca Research Raises $7.8 Million to Democratize Math with AI