档案库 · 开发与企业工具 · 产品决策 · 2023–2026
Corca的“数学版Cursor”押注：失败的杂货竞争对手获得780万美元种子轮融资
两位外卖初创公司创始人赌数学将迎来其GitHub-Cursor时刻，NEA和Nvidia提供支持。
Corca (Corca Research)
做的是什么生意
An AI-native collaborative math workspace: users type natural inputs like 'integral' or 'root' and get notation, computation, symbolic reasoning and real-time collaboration in one browser environment - the self-styled 'Cursor for math.'
启动资金：$7.8M seed round announced June 2026, led by NEA with Bloomberg Beta, Daft Capital and NVentures (Nvidia's venture arm).
起因
Oleg Shevlyagin ran 1520 and Anton Gladkoborodov ran Fridge No More - rival New York grocery-delivery startups that both went under. Living blocks apart in Brooklyn, the former competitors bonded over a shared frustration: while code had GitHub, cloud IDEs and AI assistants, math work still shuffled between MATLAB, notebooks, LaTeX, PDFs and screenshots. They founded Corca in 2023 to fix that.
经过
Corca built a browser workspace where writing 'integral' or 'root' auto-generates proper notation, a symbolic engine reasons over mathematical objects rather than text, and multiple people edit equations in real time like a Google Doc. By June 2026 it reported more than 10,000 users on a team of 12, and closed a $7.8M seed led by NEA.
结果
Running and hiring: the seed is earmarked for engineering growth, AI capabilities and product development, with premium AI and computational features planned while the base product stays free.
背景
Corca Research是一家位于纽约的初创公司，由Oleg Shevlyagin和Anton Gladkoborodov于2023年创立，构建一个AI原生的协作数学工作空间。创始人的背景故事不同寻常：他们曾经营布鲁克林的相互竞争的杂货配送初创公司——1520和Fridge No More——这两家公司都倒闭了，之后作为邻居相遇，他们对数学软件相对于现代开发者工具的老旧程度感到共鸣。
该产品被形容为“数学版Cursor”，在一个浏览器中结合了方程编辑、符号推理、计算和实时协作。用户可以输入自然语言如“integral”或“root”，编辑器自动生成正确的符号表示，无需MATLAB或LaTeX语法，而符号引擎将表达式视为数学对象而非文本，从而使AI助手能够可靠地处理它们。
创始人认为，数学是AI系统、机器人、航空航天、量化金融和科学研究的基础，然而工具自20世纪80年代以来几乎没变：工程师不得不在MATLAB、模拟平台、笔记本、白板、PDF和截图之间切换。Corca的赌注是，数学应该经历代码从GitHub、云开发和AI编程助手那里获得的同样转变。
2026年6月，Corca宣布由NEA领投的780万美元种子轮融资，参与者包括Bloomberg Beta、Daft Capital和Nvidia的风险部门NVentures。该公司报告拥有超过1万名用户和12人团队，并表示资金将用于扩大工程、开发高级AI和计算功能，并保持基础产品免费。
这件事要成立，得有什么
- 他们的失败是证明：幸存于纽约杂货配送崩溃的经历教会了他们真实市场的残酷，他们选择了一个尚未现代化的类别。
- 切入点是工作流程而非语法——自然数学输入消除了学习MATLAB和LaTeX的成本，因此领域专家而非工具专家可以驱动软件。
- 围绕数学对象构建的符号引擎使平台为AI推理做好准备，长期以来将方程视为文本一直是语言模型的弱点。
- Nvidia的风险部门和NEA对12人数学工作空间的押注表明，投资者认为研究工程工具是下一个开发者基础设施类别。
可借鉴之处
如果一个行业仍然使用20世纪80年代的工具，切入点不是制作更好的计算器：而是围绕人们的思维方式重建工作流程，让现有者保留他们的语法和孤岛。
后续进展
截至2026年9月6日，Corca已上线并拥有免费浏览器工作空间和超过1万名用户，并在2026年6月利用种子轮资金扩大工程团队并构建高级AI和计算功能。面临的开放问题是能否获得使用MATLAB、LaTeX和笔记本的专业人士的采用，以及一个布鲁克林小团队能否维持符号数学引擎与现有公司和资金充足的AI笔记本竞争对手抗衡。创始人的杂货失败给了公司一个不同寻常的故事，但也提醒我们，在产品找到付费工作流程之前，类别创造可能会停滞。
资料来源
- Corca Raises $7.8 Million to Reinvent Mathematical Workflows for the AI Era
- From Grocery Wars to Math Wizards: The Unlikely Journey of Corca's Founders
发现哪里写错了？告诉我们。
轮到你了
你刚读完一家。说说你在做什么，看看谁在赌同一件事。
免费账号 · 3 次免费提问 · 不用绑卡