AI

AI 编程神器 Cursor 1.0 发布：BugBot 代码审查、Memories 记忆、一键 MCP 安装等

Cursor 1.0版本正式发布，新增BugBot自动代码审查工具、Memories记忆功能及一键安装MCP服务器等多项实用功能，显著提升开发体验。#AI编程# #Cursor1.0#

6/5/2025 11:21:49 AM

故渊

Wordsmith AI 获 Index 领投2500万美元融资，重塑企业法务工作方式

总部位于苏格兰爱丁堡的法律科技公司 Wordsmith AI Ltd. 周二宣布完成2500万美元 A 轮融资，由 Index Ventures 领投，旨在推动其“将律师培养成法律工程师”的核心使命。 Wordsmith 专为企业内部法务团队打造人工智能平台，利用 Agentic AI 和聊天机器人，帮助法务人员自动审查合同与政策文件、提取洞见，并嵌入 Microsoft Word、Slack、Google Docs 等常用工具中进行操作。

6/5/2025 10:01:05 AM

AI在线

AI+数字经济的核心三要素

前几天和一位互联网老兵聊天，他说："现在的数字经济就像当年的工业革命，你看不见摸不着，但它正在重新定义一切。 "这话听起来有点玄乎，但仔细想想，确实如此。你知道吗？

6/5/2025 9:19:46 AM

大数据AI智能圈

人工智能和知识图谱五：著名的开源和商业知识图谱工具

一、开源工具RDFLib：RDFLib是一个用于处理RDF的纯Python库。它被开发人员广泛用于中小型项目或数据科学领域。 RDFLib允许您创建图表、解析RDF文件（Turtle、XML等）以及执行SPARQL查询（它有一个基于Python的SPARQL1.1引擎）。

6/5/2025 9:09:50 AM

晓晓

陶哲轩再爆：一个月三破18年未解难题！AlphaEvolve彻底改写数学研究规则

数学界再次见证奇迹！一项沉睡了18年的难题，在一个月内竟被AI与人类联手三度突破！每一次都将我们对可能性的认知推向新高。

6/5/2025 9:06:00 AM

深度研究白菜化？谷歌将Gemini级AI研究能力开源

谷歌太良心了，推出"gemini-fullstack-langgraph-quickstart"的开源项目，这个项目用Gemini 2.5模型与LangGraph框架的结合，主打快速构建一个能够本地运行的自主进行深度研究的智能代理系统目前github已经飙升到3.5k星了，地址："研究型AI代理"，能够像人类研究员一样工作：它会根据用户的问题动态生成搜索关键词，通过Google搜索获取信息，分析结果中的知识空白，然后迭代地优化搜索策略，最终提供有充分引用支持的答案技术架构：前后端分离的现代设计前端：React与现代开发体验项目采用了React配合Vite构建工具的前端架构。 Vite的选择体现了对开发效率的重视——它提供了极快的热重载功能，让开发者能够实时看到代码改动的效果。这种即时反馈对于调试复杂的AI交互界面特别重要，因为你需要频繁测试不同的用户输入场景后端：LangGraph的强大编排能力后端使用了LangGraph框架，这是一个专门为构建复杂AI工作流而设计的工具。

6/5/2025 9:05:36 AM

10步优化超越强化学习，仅需1条未标注数据！后训练强势破局

在具备强大的通用性能之后，当下大模型的研究方向已经转向了「如何解决特定且复杂的推理任务」，比如数学问题、分析物理现象或是构建编程逻辑。要想达到更高的性能，除了海量文本的预训练之外，往往还需要进一步的后训练。主流后训练方法是采用强化学习（RL），特别是结合可验证奖励的强化学习（RLVR）。

6/5/2025 9:05:00 AM

Andrej Karpathy最新暴论：这类软件正走向绝境，PS首当其冲？

Andrej Karpathy最新观点，觉得很有意思，分享给大家Karpathy 认为在人机协作日益紧密的时代，那些拥有复杂用户界面（UI）、充斥着大量滑块、开关、菜单，却缺乏脚本支持，并且建立在不透明、自定义二进制格式之上的软件产品，其前景堪忧Karpathy 的核心观点是，如果大型语言模型（LLM）无法读取软件的底层数据表示，也无法通过脚本来操作相关的设置和功能，那么这款产品就很难实现与专业人士的智能协同（AI Co-pilot），更无法赋能给数量庞大十倍、富有创造力的“产消者”（prosumers），让他们通过更接近自然语言的“氛围编程”（vibe coding）方式来驾驭产品他列举了不同风险等级的软件产品：高风险区：几乎所有的 Adobe 产品、数字音频工作站（DAWs）、CAD/3D建模软件。这些产品严重依赖不透明的二进制对象或自定义文件格式，缺乏文本化的领域特定语言（DSL）支持。 AI难以理解其内部结构，更不用说进行编程控制中高风险区：Blender、Unity。

6/5/2025 9:03:39 AM

爆火AI编程Windsurf突遭Claude全面断供，开发者大量退订！直接打脸OpenAI

即将抱上OpenAI这条大腿的Windsurf，高兴早了！刚刚，AI编程工具Windsurf的联创兼CEO Varun Mohan发文称，Anthropic几乎没有提前通知，就大幅减少了Windsurf对Claude 3.5和3.7 Sonnet模型的服务配额。由于事先毫无预警，Windsurf只能紧急启用第三方推理服务来维持Claude模型的使用，但短期内用户体验势必受到影响。

6/5/2025 8:58:00 AM

开启 AI 自主进化时代，普林斯顿Alita颠覆传统通用智能体，GAIA榜单引来终章

智能体技术日益发展，但现有的许多通用智能体仍然高度依赖于人工预定义好的工具库和工作流，这极大限制了其创造力、可扩展性与泛化能力。近期，普林斯顿大学 AI Lab 推出了 Alita——一个秉持「极简即是极致复杂」哲学的通用智能体，通过「最小化预定义」与「最大化自我进化」的设计范式，让智能体可以自主思考、搜索和创造其所需要的 MCP 工具。论文标题：ALITA: GENERALIST AGENT ENABLING SCALABLE AGENTIC REASONING WITH MINIMAL PREDEFINITION AND MAXIMAL SELF-EVOLUTION论文链接：：：目前已在 GAIA validation 基准测试中取得 75.15% pass@1 和 87.27% pass@3 的成绩，一举超越 OpenAI Deep Research 和 Manus 等知名智能体，成为通用智能体新标杆。

6/5/2025 8:46:00 AM

重磅开源！首个全异步强化学习训练系统来了，SOTA推理大模型RL训练提速2.77倍

来自清华大学交叉信息院和蚂蚁技术研究院的联合团队，正式开源全异步强化学习训练系统 —— AReaL-boba² (AReaL v0.3)。作为 AReaL 里程碑版本 AReaL-boba 的重磅升级，AReaL-boba² (正式全名：A-ReaL-double-boba) 坚持 boba 系列 “全面开源、极速训练、深度可定制” 的开发理念，再次加量：除了更全的功能和更详细的文档说明，更以全异步 RL 为核心，发布 SOTA 代码模型，全面奔向 Agentic RL：🚀 效率再突破：全面实现异步 RL 训练，完全解耦模型生成与训练，效果不变的前提下训练速度对比上一版本最高提升 2.77 倍，GPU 资源利用率大幅优化。 📚 上手零门槛：新增详细教程 (Step-by-Step Tutorials) 和深度文档 (Comprehensive Documentation)，覆盖安装、核心概念、算法 / 模型定制化到问题排查，新手友好，老手高效。

6/5/2025 8:40:00 AM

英伟达发布 Llama Nemotron Nano VL AI：高效精准，攻克复杂文档解析难题

Llama Nemotron Nano VL 融合了 CRadioV2-H 视觉编码器和 Llama 3.1 8B 指令微调语言模型，能同时处理多页文档中的视觉和文本元素，支持最长 16K 的上下文长度，覆盖图像和文本序列。

6/5/2025 8:01:43 AM

故渊

4 个月内增加 100 万，OpenAI 宣布付费 ChatGPT AI 商业订阅用户突破 300 万

在昨日（6 月 3 日）举办的在线直播活动中，OpenAI 公司宣布在全球范围内，其付费商业订阅用户数量超过 300 万。

6/5/2025 7:52:36 AM

故渊

Hugging Face 称其开源机器人模型 SmolVLA 效率极高，能在苹果 MacBook 上运行

Hugging Face发布开源机器人AI模型SmolVLA，该模型轻量级但性能强大，可在消费级GPU上运行，支持异步推理堆栈，提升机器人响应速度。#AI技术# #机器人#

6/5/2025 7:40:33 AM

远洋

Mac 版 ChatGPT 变身生产力神器：AI 录音 + 云文件洞察，打造团队协作最佳助手

科技媒体 9to5Mac 昨日（6 月 4 日）发布博文，报道称 OpenAI 公司重点服务于团队和小型企业，全力推动 ChatGPT 转型为真正的生产力助手。

6/5/2025 7:38:24 AM

故渊

AI Agent的新技术栈：Kafka、A2A、MCP 和 Flink

在网络拥有 HyperText Transfer Protocol (HTTP) 之前，在电子邮件拥有 Simple Mail Transfer Protocol (SMTP) 之前，我们受困于定制化集成、碎片化系统和脆弱的工作流程。直到开放协议和共享基础设施出现，互联网才真正实现规模化，解锁了现代网络、全球通信和整个经济体系。如今，AI 代理正处于类似的预标准化阶段。

6/5/2025 2:00:00 AM

AI研究生

人工智能和知识图谱四：知识图谱的超大规模产品

一、亚马逊网络服务 (AWS) — Amazon NeptuneAWS 的主要图形数据库服务是Amazon Neptune，这是一款完全托管的图形数据库引擎。 Neptune 功能多样，既支持使用 SPARQL 查询的RDF 模型，也支持使用 Apache TinkerPop Gremlin 查询的属性图模型。这种双重支持使 Neptune 适用于各种 KG 实现——您可以使用 RDF/OWL 存储语义知识图并通过 SPARQL 进行查询，或者将属性图方法与 Gremlin 结合使用。

6/5/2025 2:00:00 AM

晓晓

AI Agent落地面临的三大挑战

前面为大家介绍过AI Agent的发展史和工程结构模型，并对Agent的典型代表——Manus的技术架构进行了详细解析。不少同学看完后纷纷留言说，他们在工作中也尝试在推动落地Agent，但结果总是不尽如意，希望我能给出一些建议。我自己目前对AI Agent也处在探索实践阶段，并无法给出很好的建议。

6/5/2025 1:55:00 AM

写文章老张

资讯热榜

Anthropic 融资 130 亿美元，估值飙升至 1830 亿美元 Kimi K2-0905 上线 Discord，仍无思考与视觉能力苹果AI团队遭遇人才流失，核心研究员转投Meta、OpenAI和Anthropic 入局AI4S？CPO宣布「OpenAI for Science」计划：打造下一代科学工具苹果人工智能领军者加入 Meta，AI 人才流失潮加剧字节跳动重奖大模型人才，Seed部门推百万期权激励计划中国AI内容监管重磅出击：9月1日新规正式落地，DeepSeek腾讯字节全面响应打标令推理大模型机制解析！为什么Qwen3要把脑子一分为二？

标签云

AI 人工智能 OpenAI AIGC 模型 ChatGPT DeepSeek AI绘画谷歌机器人数据大模型 Midjourney 开源智能 Meta 用户微软 GPT 学习技术图像 Gemini 马斯克智能体 AI创作 Anthropic AI新词英伟达论文训练代码算法 LLM Stable Diffusion 芯片蛋白质开发者腾讯 Claude 苹果 Agent AI for Science 生成式神经网络机器学习 3D 研究 xAI 生成人形机器人 AI视频计算百度 Sora GPU 华为工具 RAG AI设计大语言模型字节跳动搜索具身智能大型语言模型场景深度学习预测视频生成视觉 AGI 伟达架构 Transformer 神器推荐亚马逊 Copilot 特斯拉 DeepMind 应用