AI在线 AI在线

AI

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

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

一、开源工具RDFLib：RDFLib是一个用于处理RDF的纯Python库。 它被开发人员广泛用于中小型项目或数据科学领域。 RDFLib允许您创建图表、解析RDF文件（Turtle、XML等）以及执行SPARQL查询（它有一个基于Python的SPARQL1.1引擎）。
6/5/2025 9:09:50 AM 晓晓
陶哲轩再爆：一个月三破18年未解难题！AlphaEvolve彻底改写数学研究规则

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

数学界再次见证奇迹！ 一项沉睡了18年的难题，在一个月内竟被AI与人类联手三度突破！ 每一次都将我们对可能性的认知推向新高。
6/5/2025 9:06:00 AM
深度研究白菜化？谷歌将Gemini级AI研究能力开源

深度研究白菜化？谷歌将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条未标注数据！后训练强势破局

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

在具备强大的通用性能之后，当下大模型的研究方向已经转向了「如何解决特定且复杂的推理任务」，比如数学问题、分析物理现象或是构建编程逻辑。 要想达到更高的性能，除了海量文本的预训练之外，往往还需要进一步的后训练。 主流后训练方法是采用强化学习（RL），特别是结合可验证奖励的强化学习（RLVR）。
6/5/2025 9:05:00 AM
Andrej Karpathy最新暴论：这类软件正走向绝境，PS首当其冲？

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

爆火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 自主进化时代，普林斯顿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倍

重磅开源！首个全异步强化学习训练系统来了，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 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 万

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

在昨日（6 月 3 日）举办的在线直播活动中，OpenAI 公司宣布在全球范围内，其付费商业订阅用户数量超过 300 万。
6/5/2025 7:52:36 AM 故渊
Hugging Face 称其开源机器人模型 SmolVLA 效率极高，能在苹果 MacBook 上运行

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

Hugging Face发布开源机器人AI模型SmolVLA，该模型轻量级但性能强大，可在消费级GPU上运行，支持异步推理堆栈，提升机器人响应速度。#AI技术# #机器人#
6/5/2025 7:40:33 AM 远洋
Mac 版 ChatGPT 变身生产力神器：AI 录音 + 云文件洞察，打造团队协作最佳助手

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

科技媒体 9to5Mac 昨日（6 月 4 日）发布博文，报道称 OpenAI 公司重点服务于团队和小型企业，全力推动 ChatGPT 转型为真正的生产力助手。
6/5/2025 7:38:24 AM 故渊
AI Agent的新技术栈：Kafka、A2A、MCP 和 Flink

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落地面临的三大挑战

前面为大家介绍过AI Agent的发展史和工程结构模型，并对Agent的典型代表——Manus的技术架构进行了详细解析。 不少同学看完后纷纷留言说，他们在工作中也尝试在推动落地Agent，但结果总是不尽如意，希望我能给出一些建议。 我自己目前对AI Agent也处在探索实践阶段，并无法给出很好的建议。
6/5/2025 1:55:00 AM 写文章老张
韩国总统李在明承诺 100 万亿韩元 AI 投资计划，大力扩展基础设施建设

韩国总统李在明承诺 100 万亿韩元 AI 投资计划，大力扩展基础设施建设

100 万亿韩元民间投资将通过设立国家基金实现，允许民众、企业、政府及养老基金等多元经济主体参与。个人与企业投资时可享受所得税、法人税减免。
6/4/2025 5:09:35 PM 问舟
DeepSeek-V3 & R1 合体：快手开源 "Auto Think" 大模型，可根据问题自动调节思考深度

DeepSeek-V3 & R1 合体：快手开源 "Auto Think" 大模型，可根据问题自动调节思考深度

快手 Kwaipilot 团队开源了 KwaiCoder-AutoThink-preview 自动思考大模型，该模型融合了“思考”和“非思考”能力，号称“DeepSeek-V3 & R1 合体”，具备根据问题难度自动切换思考形态的能力。
6/4/2025 4:42:26 PM 归泷
铁了心为Agent开发铺路！OpenAI“真香”式升级：跳出Python圈、可人类干预、实时语音Agent、全链路追踪，代理福音

铁了心为Agent开发铺路！OpenAI“真香”式升级：跳出Python圈、可人类干预、实时语音Agent、全链路追踪，代理福音

编辑 | 云昭出品 | 51CTO技术栈（微信号：blog51cto）OpenAI 又放大招了！ 用实力正名：在AI圈，自己的“一哥”地位不可动摇！ 就在今天凌晨，OpenAI 官方开发者账号 @OpenAIDevs 在 X 平台上，一口气连续发布了 4 项关键更新，直接把 AI 代理（Agent）开发体验提升到新维度，围绕 Agent 开发体验、实时语音应用、人类干预机制和全链路追踪都做了重要升级。
6/4/2025 3:48:49 PM 云昭