工具

AI 疗法来袭：14 款开创性的心理健康工具让你重拾内心平静

近年来，随着技术的进步，人工智能（AI）在心理健康领域的应用越来越受到关注。新的生成式 AI 心理健康应用程序正在悄然改变治疗方式，提供匿名支持，并运用基于科学的方法，如认知行为疗法(CBT)和正念技巧。这些工具虽然无法替代训练有素的治疗师的人际连接和直觉，但研究显示，很多人愿意与这些相对无面孔的 AI 聊天机器人分享他们的烦恼与忧虑。

4/29/2025 5:00:50 PM

AI在线

以 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刷新大模型训练思路

钱成目前是伊利诺伊大学香槟分校 (UIUC) 一年级博士生，导师为季姮教授。本科就读于清华大学，导师为刘知远教授。其工作集中在大语言模型工具使用与推理以及人工智能体方向。

4/29/2025 9:12:00 AM

机器之心

LLMs 防御升级：借函数调用机制打造无缝防御层

大语言模型（LLMs）展现出了令人惊叹的能力，其中函数调用功能更是让其如虎添翼。然而，这一强大功能也伴随着风险，恶意用户可能利用巧妙设计的提示进行隐秘操纵。本文将深入探讨如何将函数调用机制转化为一道无缝的防御层，有效检测和防范这些潜在威胁。

4/29/2025 8:18:48 AM

大模型之路

人工智能助力自闭症群体:社交障碍的“解码器”

随着人工智能技术的迅猛发展，AI应用正成为自闭症群体克服社交障碍的重要工具。根据美国疾控中心（CDC）的数据显示，当前美国有超过500万成年人被诊断为自闭症。这一群体通常在解读暗示性言语、非言语交流以及理解复杂社交情境方面面临挑战，而AI的介入为他们提供了前所未有的支持。

4/28/2025 4:00:21 PM

AI在线

突发！Anthropic对逆向工程者提下架通知，引开发者强烈不满

编辑｜云昭大洋彼岸，两款“代理”编码工具在开发者中的口碑突然发生了逆转！众所周知，近期OpenAI的Codex CLI和Anthropic 的Claude Code正在激烈竞争，风头皆盛。不过由于后者长期主打开发赛道，所以Claude在开发者的口碑一直很好。

4/27/2025 9:26:08 AM

云昭

一日一技：如何快速生成大模型工具调用的JSON Schema

在使用大模型的工具调用时，我们需要编写JSON Schema，例如下图的tools字段的值：图片这个Schema写起来非常麻烦，括号太多了，看着眼花。不信你肉眼看看，你需要几秒钟才能分清楚type: "object"跟哪个字段在同一层级？这个Schema有没有什么办法自动生成呢？

4/27/2025 7:57:50 AM

kingname

仅用3周时间，就打造出Manus开源平替！贡献源代码，免费用

可以对标 Manus 的智能体 Suna 来了！（有没有发现它是 manus 倒过来写）这款智能体由 Kortix AI 团队打造，开源并且完全免费。具体而言，Suna 是一个完全开源的 AI 助手，旨在帮助用户轻松完成现实世界中的各种任务。

4/23/2025 5:22:59 PM

机器之心

AI创造新物理学，暴力破解引力波！宇宙观测开挂50倍，三体人直呼内行

就在刚刚，AI又将物理学，推动到了全新的领域。来自马克斯·普朗克光科学研究所（MPL）、加州理工等机构的科学家发现，AI已经设计出了人类尚未理解的引力波探测工具。这一发现，直接将可观测的宇宙体积扩大了50倍！

4/22/2025 9:08:00 AM

新智元

UIUC联手谷歌发布Search-R1：大模型学会「边想边查」，推理、搜索无缝切换

本文的作者来自伊利诺伊大学香槟分校（UIUC）、马萨诸塞大学（UMass）和谷歌。本文的第一作者为 UIUC 博士生金博文，主要研究方向为与大语言模型相关的智能体、推理和强化学习研究。其余学生作者为 UMass 博士生曾翰偲和 UIUC 博士生岳真锐。

4/22/2025 9:06:00 AM

机器之心

选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帮你解决麻烦事，你只需专注想法本身，不再为技术抓狂。我们说实话吧：大部分人其实并不享受从零开始做网站的过程。要么技术太复杂，要么进度太缓慢，要么就是纯粹头大。

4/21/2025 12:00:00 AM

dev

6周搞定18个月的工作量，爱彼迎不满老工具，暴力循环大模型怒迁代码，效果出奇好，怎么回事？谷歌亚马逊也做过类似的事

编辑 | 云昭Anthropic首席执行官Dario时不时就会出来发声，声称人工智能即将取代人工编码，或者抛出一个惊人的数字，预测在短短6个月内将有90%的编码工作将被AI取代。这种措辞无疑有夸大的成分，但这里想说的是，这并非空穴来风，或许6个月内AI不会取代90%的程序员，但取代90%的编程工作不无可能！因为企业接纳和适配大模型的速度远比我们想象得要快！

4/18/2025 4:05:39 PM

云昭

实测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

在今天凌晨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开放社区