AI在线 AI在线

工具

​以 AI 驱动的 Lightrun 成功融资7000万美元，助力代码生产中的调试与监控

​以 AI 驱动的 Lightrun 成功融资7000万美元，助力代码生产中的调试与监控
近日，以色列初创公司 Lightrun 宣布完成7000万美元的 B 轮融资，这一资金的注入标志着在快速发展的 AI 编码领域中，市场对调试和监控工具的需求愈加迫切。 Lightrun 致力于为开发者提供一个可观察的平台，以帮助他们在生产环境中识别和修复代码问题，防止潜在的崩溃和其他故障。 图源备注：图片由AI生成，图片授权服务商Midjourney本轮融资由 Accel 领投，前投资者 Insight Partners 共同参与，其他参与方还包括 Citi、Glilot Capital、GTM Capital 及 Sorenson Capital。
4/29/2025 11:00:50 AM
AI在线
首个系统性工具使用奖励范式，ToolRL刷新大模型训练思路

首个系统性工具使用奖励范式，ToolRL刷新大模型训练思路
钱成目前是伊利诺伊大学香槟分校 (UIUC) 一年级博士生，导师为季姮教授。 本科就读于清华大学，导师为刘知远教授。 其工作集中在大语言模型工具使用与推理以及人工智能体方向。
4/29/2025 9:12:00 AM
机器之心
LLMs 防御升级：借函数调用机制打造无缝防御层

LLMs 防御升级：借函数调用机制打造无缝防御层
大语言模型（LLMs）展现出了令人惊叹的能力，其中函数调用功能更是让其如虎添翼。 然而，这一强大功能也伴随着风险，恶意用户可能利用巧妙设计的提示进行隐秘操纵。 本文将深入探讨如何将函数调用机制转化为一道无缝的防御层，有效检测和防范这些潜在威胁。
4/29/2025 8:18:48 AM
大模型之路
人工智能助力自闭症群体:社交障碍的“解码器”

人工智能助力自闭症群体:社交障碍的“解码器”
随着人工智能技术的迅猛发展，AI应用正成为自闭症群体克服社交障碍的重要工具。 根据美国疾控中心（CDC）的数据显示，当前美国有超过500万成年人被诊断为自闭症。 这一群体通常在解读暗示性言语、非言语交流以及理解复杂社交情境方面面临挑战，而AI的介入为他们提供了前所未有的支持。
4/28/2025 4:00:21 PM
AI在线
突发！Anthropic对逆向工程者提下架通知，引开发者强烈不满

突发！Anthropic对逆向工程者提下架通知，引开发者强烈不满
编辑 ｜ 云昭大洋彼岸，两款“代理”编码工具在开发者中的口碑突然发生了逆转！ 众所周知，近期OpenAI的Codex CLI和Anthropic 的Claude Code正在激烈竞争，风头皆盛。 不过由于后者长期主打开发赛道，所以Claude在开发者的口碑一直很好。
4/27/2025 9:26:08 AM
云昭
一日一技：如何快速生成大模型工具调用的JSON Schema

一日一技：如何快速生成大模型工具调用的JSON Schema
在使用大模型的工具调用时，我们需要编写JSON Schema，例如下图的tools字段的值：图片这个Schema写起来非常麻烦，括号太多了，看着眼花。 不信你肉眼看看，你需要几秒钟才能分清楚type: "object"跟哪个字段在同一层级？ 这个Schema有没有什么办法自动生成呢？
4/27/2025 7:57:50 AM
kingname
仅用3周时间，就打造出Manus开源平替！贡献源代码，免费用

仅用3周时间，就打造出Manus开源平替！贡献源代码，免费用
可以对标 Manus 的智能体 Suna 来了！ （有没有发现它是 manus 倒过来写）这款智能体由 Kortix AI 团队打造，开源并且完全免费。 具体而言，Suna 是一个完全开源的 AI 助手，旨在帮助用户轻松完成现实世界中的各种任务。
4/23/2025 5:22:59 PM
机器之心
AI创造新物理学，暴力破解引力波！宇宙观测开挂50倍，三体人直呼内行

AI创造新物理学，暴力破解引力波！宇宙观测开挂50倍，三体人直呼内行
就在刚刚，AI又将物理学，推动到了全新的领域。 来自马克斯·普朗克光科学研究所（MPL）、加州理工等机构的科学家发现，AI已经设计出了人类尚未理解的引力波探测工具。 这一发现，直接将可观测的宇宙体积扩大了50倍！
4/22/2025 9:08:00 AM
新智元
UIUC联手谷歌发布Search-R1：大模型学会「边想边查」，推理、搜索无缝切换

UIUC联手谷歌发布Search-R1：大模型学会「边想边查」，推理、搜索无缝切换
本文的作者来自伊利诺伊大学香槟分校（UIUC）、马萨诸塞大学（UMass）和谷歌。 本文的第一作者为 UIUC 博士生金博文，主要研究方向为与大语言模型相关的智能体、推理和强化学习研究。 其余学生作者为 UMass 博士生曾翰偲和 UIUC 博士生岳真锐。
4/22/2025 9:06:00 AM
机器之心
选AI比选对象还难！起名黑洞OpenAI的新模型，到底怎么选？

选AI比选对象还难！起名黑洞OpenAI的新模型，到底怎么选？
如果你最近关注AI新闻，可能会被各种层出不穷的新模型搞的眼花缭乱。 尤其是堪称「起名黑洞」的OpenAI，命起名来可谓是是毫无章法。 即便是AI圈的资深团队，在面对同时发布的o3、o4-mini、GPT-4.1、GPT-4.1 mini和GPT-4.1 nano时，也是蒙圈的。
4/21/2025 4:27:18 PM
新智元
十个AI网站生成神器，还没等咖啡凉透，网站就搭好了！

十个AI网站生成神器，还没等咖啡凉透，网站就搭好了！
让AI帮你解决麻烦事，你只需专注想法本身，不再为技术抓狂。 我们说实话吧：大部分人其实并不享受从零开始做网站的过程。 要么技术太复杂，要么进度太缓慢，要么就是纯粹头大。
4/21/2025 12:00:00 AM
dev
6周搞定18个月的工作量，爱彼迎不满老工具，暴力循环大模型怒迁代码，效果出奇好，怎么回事？谷歌亚马逊也做过类似的事

6周搞定18个月的工作量，爱彼迎不满老工具，暴力循环大模型怒迁代码，效果出奇好，怎么回事？谷歌亚马逊也做过类似的事
编辑 | 云昭Anthropic首席执行官Dario时不时就会出来发声，声称人工智能即将取代人工编码，或者抛出一个惊人的数字，预测在短短6个月内将有90%的编码工作将被AI取代。 这种措辞无疑有夸大的成分，但这里想说的是，这并非空穴来风，或许6个月内AI不会取代90%的程序员，但取代90%的编程工作不无可能！ 因为企业接纳和适配大模型的速度远比我们想象得要快！
4/18/2025 4:05:39 PM
云昭
实测o3/o4-mini：3分钟解决欧拉问题，OpenAI最强模型名副其实！

实测o3/o4-mini：3分钟解决欧拉问题，OpenAI最强模型名副其实！
号称“OpenAI迄今为止最强模型”，o3/o4-mini真实能力究竟如何？ 就在发布后的几小时内，网友们的第一波实测已新鲜出炉。 最强推理模型o3，即使遇上首位全职提示词工程师Riley Goodside的“刻意刁难”，也顺利过关：图片可以看到，面对藏在一堆玩具里的手绘图表，它也能通过图像识别和推理能力正确解答。
4/18/2025 11:18:51 AM
量子位
从思考到行动：大模型自主工具调用能力的深度实现

从思考到行动：大模型自主工具调用能力的深度实现
本项目由复旦大学知识工场实验室肖仰华教授、梁家卿青年副研究员领导，博士生韩槿一，硕士生李廷云、熊程元、姜子上、王昕奕等同学共同参与完成。 GPT - 4o、Deepseek - R1 等高级模型已展现出令人惊叹的「深度思考」能力：理解上下文关联、拆解多步骤问题、甚至通过思维链（Chain - of - Thought）进行自我验证、自我反思等推理过程。 但是，多数主流模型仍在基础问题上犯错，复杂四则运算计算失误，简单「两个小数比大小」出错、甚至连数清楚 strawberry 里有几个「r」都能翻车……即使提示像 R1 这样具备深度思考能力的大模型也要消耗大量的 token 才能勉强答对。
4/17/2025 10:43:00 AM
机器之心
OpenAI开源超火Agent，五小时破5000颗星，霸榜Github

OpenAI开源超火Agent，五小时破5000颗星，霸榜Github
在今天凌晨1点的产品发布中，OpenAI还开源了一个终端轻量级代码Agent智能体——Codex CLI。 从凌晨到现在只用了5小时左右，Codex CLI直接破5000星霸榜Github，估计今天能破1万颗星，将成为一款明星级Agent。 OpenAI联合创始人兼总裁Greg Brockman表示，Codex CLI只是第一款代码工具，未来还将继续开源Agent产品。
4/17/2025 9:58:32 AM
AIGC开放社区
刚刚，OpenAI发布最强推理模型o3！图像深度思考首秀，开源编程智能体已揽5k+star

刚刚，OpenAI发布最强推理模型o3！图像深度思考首秀，开源编程智能体已揽5k+star
深夜，OpenAI 发布了 o 系列模型的最新成果 o3 和 o4-mini。 该系列模型经过训练，会在响应之前进行更长时间的思考。 OpenAI 表示，这是他们迄今为止发布的最智能模型，也标志着 ChatGPT 能力的巨大飞跃。
4/17/2025 9:02:00 AM
机器之心
借助Spring AI，快速为AI Agent搭建API网关

借助Spring AI，快速为AI Agent搭建API网关
本文教大家如何实现一个API网关，以便AI代理（AI Agents）能够访问REST API服务。 一、工具与 AI 代理：大语言模型的得力助手 工具或函数是大语言模型（LLM）用于从提示中识别函数调用的机制。 大语言模型擅长生成自然语言文本，这对人类而言十分友好，但机器需要的是特定答案，二者需求不同。
4/16/2025 1:00:00 AM
最新版Spring Ai实践

最新版Spring Ai实践
深入探索 Spring AI 1.0.0-M6在人工智能与软件开发深度融合的时代，Spring AI 作为一个强大的框架，持续为开发者提供着高效且便捷的工具，以实现与大语言模型（LLM）的无缝交互。 Spring AI 的最新版本引入了一系列令人瞩目的特性，其中 Function Calling 到 Tool Calling 的转换以及模型上下文协议（MCP）的应用，标志着该框架在 AI 集成领域的又一次重大飞跃。 聊天接口示例在今天的内容之前我们回一下如何使用SpringAI实现一个简单的聊天接口，使用千问API实现聊天功能：添加依赖复制配置复制实现复制当进行下面的提问时：现在北京时间几点了？
4/14/2025 2:25:00 AM