Vercel Labs发布zerolang:专为AI Agent设计的编程语言,4500+星

Vercel Labs近日在GitHub上开源了zerolang——一个专门为AI Agent设计的编程语言项目。上线不到两周就获得超过4500个Star,成为近期最受关注的新语言项目之一。

zerolang是什么?

zerolang的核心定位很明确:为AI Agent提供一种原生的编程语言。与现有的Python、TypeScript等通用语言不同,zerolang从设计之初就考虑了Agent编程的特殊需求。

项目用C语言实现,这意味着zerolang在性能上有天然优势。对于需要高频调用、低延迟响应的Agent场景,C语言实现的语言运行时比Python或JavaScript快得多。

从GitHub仓库的描述来看,zerolang定位为”The programming language for agents”——Agent的编程语言。这个定位非常精准,因为在当前的AI Agent开发中,开发者面临几个痛点:

1. 工具调用的标准化问题:不同的Agent框架(LangChain、AutoGen、CrewAI等)对工具调用的定义各不相同,导致开发者需要为每个框架单独适配。zerolang可能提供一种原生的工具定义和调用机制。

2. 上下文管理:Agent在执行任务时需要维护复杂的上下文状态。通用语言对这种场景的支持有限,开发者需要手动管理记忆、状态、依赖关系等。zerolang可能内置了上下文管理的原语。

3. 安全沙箱:Agent执行代码时需要严格的安全隔离。zerolang作为专用语言,可以在语言层面实现沙箱机制,而不是依赖外部容器。

Vercel为什么要造语言?

Vercel是Next.js的母公司,也是前端基础设施领域的头部公司。近年来Vercel在AI领域动作频频:

– 推出了AI SDK(Vercel AI SDK),成为最受欢迎的AI应用开发框架之一

– 发布了v0 AI代码生成工具

– 在Edge Runtime中深度集成了AI推理能力

推出zerolang是Vercel在AI基础设施领域的又一次布局。如果Agent编程成为主流范式,拥有自己的Agent语言意味着在生态系统中占据核心位置。

值得注意的是,zerolang发布在vercel-labs组织下,这是Vercel的实验室/孵化项目。同组织下还有zero-native(用Zig和Web UI构建桌面/移动应用,4000+星),说明Vercel正在多个方向同时探索。

Agent编程语言的市场空间

当前AI Agent开发主要使用Python,但Python并不是Agent编程的理想语言:

– 性能瓶颈:Agent循环中的频繁LLM调用、工具执行、状态更新需要高效的运行时

– 类型安全不足:Agent的输入输出涉及复杂的JSON结构,Python的动态类型容易导致运行时错误

– 部署复杂:Python应用的打包和部署一直是痛点,Agent应用尤其如此

如果zerolang能够解决这些痛点,它有可能成为Agent开发的”go-to”语言,就像Rust在系统编程领域的崛起一样。

项目现状和建议

目前zerolang还处于早期阶段(GitHub仓库创建于2026年5月15日),Star数增长非常快,但实际可用性还有待验证。

对于感兴趣的开发者,建议:

1. 关注但不急于生产使用:新语言的生态系统需要时间成熟,短期内Python+框架仍是Agent开发的主流选择

2. 学习其设计思路:即使不直接使用zerolang,了解它对Agent编程问题的解决方案也很有价值

3. 参与社区建设:如果你对编程语言设计感兴趣,这是参与一个热门开源项目的好机会

GitHub仓库:https://github.com/vercel-labs/zerolang

© 版权声明
THE END
喜欢就支持一下吧
点赞11 分享
相关推荐
<p>菲尔兹奖得主、剑桥大学数学家Timothy Gowers近日在个人博客上分享了他使用ChatGPT 5.5 Pro的体验。令他惊讶的是,这款模型在一小时内连续攻克了多个博士级别的数学难题,展现出远超前代的推理能力。</p>

<h2>菲尔兹奖得主的实测</h2>

<p>Timothy Gowers是当代最有影响力的数学家之一,1998年获得菲尔兹奖,在组合数学和泛函分析领域有重要贡献。他在5月8日发布了一篇详细的博文,记录了自己测试ChatGPT 5.5 Pro推理能力的过程。</p>

<p>据Gowers描述,他给ChatGPT 5.5 Pro提出了多个需要深度推理的数学问题,这些问题的难度大致相当于数学博士资格考试或研究级别。让他印象深刻的是,模型不仅能够给出正确答案,还能提供完整的推理过程,包括:</p>

<ul>
<li>对问题的准确理解</li>
<li>合理的解题策略选择</li>
<li>严密的逻辑推导链</li>
<li>对特殊情况的处理</li>
</ul>

<h2>与前代模型的对比</h2>

<p>Gowers在博文中提到,之前版本的ChatGPT在处理类似难度的数学问题时,经常出现以下问题:</p>

<ul>
<li>推理链中途断裂,得出错误结论</li>
<li>混淆不同数学概念</li>
<li>在计算步骤中出错</li>
<li>无法识别问题的关键约束条件</li>
</ul>

<p>而ChatGPT 5.5 Pro在这些方面有了显著提升。Gowers认为,这一代模型的数学推理能力已经达到了”可以辅助专业数学研究”的水平。</p>

<h2>对普通用户意味着什么</h2>

<p>虽然菲尔兹奖级别的数学测试看起来离普通人很远,但ChatGPT 5.5 Pro展现出的推理能力提升,对日常使用也有实际影响:</p>

<ul>
<li><strong>编程辅助</strong>:更强的逻辑推理能力意味着在代码调试、算法设计等场景下能给出更准确的建议。</li>
<li><strong>数据分析</strong>:处理复杂的数据分析任务时,模型能更好地理解数据关系和统计方法。</li>
<li><strong>技术文档</strong>:在撰写技术文档、API文档等需要严密逻辑的内容时,输出质量更高。</li>
<li><strong>教育辅导</strong>:作为学习辅助工具,能提供更准确的解题思路和步骤讲解。</li>
</ul>

<h2>AI数学能力的里程碑</h2>

<p>ChatGPT 5.5 Pro的表现引发了AI社区的广泛讨论。有观点认为,这标志着大语言模型在形式推理领域取得了重要突破。也有研究者持谨慎态度,指出:</p>

<ul>
<li>单一数学家的主观测试不能替代系统性基准评估</li>
<li>模型可能在训练数据中见过类似题目</li>
<li>真正的数学创新(如提出新定理、发现新证明)仍然是AI的短板</li>
</ul>

<p>无论如何,AI在数学推理方面的进步速度是实实在在的。对于站长和开发者来说,善用AI的推理能力来辅助技术工作,已经是一个切实可行的选择。</p>

<blockquote>
<p><strong>来源:</strong></p>
<ul>
<li><a href=Timothy Gowers Blog – A Recent Experience with ChatGPT 5.5 Pro
  • OSCHINA – ChatGPT 5.5 Pro一小时攻克博士级数学难题
  • -枫选">

    菲尔兹奖得主、剑桥大学数学家Timothy Gowers近日在个人博客上分享了他使用ChatGPT 5.5 Pro的体验。令他惊讶的是,这款模型在一小时内连续攻克了多个博士级别的数学难题,展现出远超前代的推理能力。

    菲尔兹奖得主的实测

    Timothy Gowers是当代最有影响力的数学家之一,1998年获得菲尔兹奖,在组合数学和泛函分析领域有重要贡献。他在5月8日发布了一篇详细的博文,记录了自己测试ChatGPT 5.5 Pro推理能力的过程。

    据Gowers描述,他给ChatGPT 5.5 Pro提出了多个需要深度推理的数学问题,这些问题的难度大致相当于数学博士资格考试或研究级别。让他印象深刻的是,模型不仅能够给出正确答案,还能提供完整的推理过程,包括:

    • 对问题的准确理解
    • 合理的解题策略选择
    • 严密的逻辑推导链
    • 对特殊情况的处理

    与前代模型的对比

    Gowers在博文中提到,之前版本的ChatGPT在处理类似难度的数学问题时,经常出现以下问题:

    • 推理链中途断裂,得出错误结论
    • 混淆不同数学概念
    • 在计算步骤中出错
    • 无法识别问题的关键约束条件

    而ChatGPT 5.5 Pro在这些方面有了显著提升。Gowers认为,这一代模型的数学推理能力已经达到了”可以辅助专业数学研究”的水平。

    对普通用户意味着什么

    虽然菲尔兹奖级别的数学测试看起来离普通人很远,但ChatGPT 5.5 Pro展现出的推理能力提升,对日常使用也有实际影响:

    • 编程辅助:更强的逻辑推理能力意味着在代码调试、算法设计等场景下能给出更准确的建议。
    • 数据分析:处理复杂的数据分析任务时,模型能更好地理解数据关系和统计方法。
    • 技术文档:在撰写技术文档、API文档等需要严密逻辑的内容时,输出质量更高。
    • 教育辅导:作为学习辅助工具,能提供更准确的解题思路和步骤讲解。

    AI数学能力的里程碑

    ChatGPT 5.5 Pro的表现引发了AI社区的广泛讨论。有观点认为,这标志着大语言模型在形式推理领域取得了重要突破。也有研究者持谨慎态度,指出:

    • 单一数学家的主观测试不能替代系统性基准评估
    • 模型可能在训练数据中见过类似题目
    • 真正的数学创新(如提出新定理、发现新证明)仍然是AI的短板

    无论如何,AI在数学推理方面的进步速度是实实在在的。对于站长和开发者来说,善用AI的推理能力来辅助技术工作,已经是一个切实可行的选择。

    来源:

    菲尔兹奖得主、剑桥大学数学家Timothy Gowers近日在个人博客上分享了他使用ChatGPT 5.5 Pro的...

    16天前 56
    评论 抢沙发

    请登录后发表评论

      暂无评论内容