据报道，在 Builder.AI 承认其前任管理层存在“问题”数周后，这家获得微软支持的科技初创公司如今已正式启动破产程序。
Mistral沉默好久，果然在憋大招。
LM Arena 是一个众包基准测试项目，各大 AI 实验室依赖其测试和推广自家 AI 模型。据彭博社报道，该项目已在种子轮融资中筹集 1 亿美元 ，估值达 6 亿美元。
数学大师陶哲轩的第三支Lean 4自动化数学证明视频来了！他携手GitHub Copilot挑战分析学经典的「ε-δ」极限问题：加法定理Copilot挥洒自如，减法开始卡壳，乘法更是全面失控。Copilot究竟是神助攻还是添乱？
判断AI是否智能，评价维度如今已不仅限于刷榜成绩。
大家好，我是「沉浸式学AI」，专注于分享AI前沿技术与实战经验。2025年，要搭建一个真正“聪明又自主”的AI代理，离不开一整套“全家桶”式的开源工具——从大脑（推理、记忆），到肢体（浏览器、桌面操控），再到声音（语音交互），全流程打通。
Flowith 发布了它们最新的 Agent，Neo，这是世界上第一个能够做到无限上下文，无限推理步骤的 Agent，并且它还拥有着无限输出的能力。
随着业务规模的不断扩大和用户需求的快速增长，传统的单体架构在扩展性、灵活性和运维效率等方面逐渐暴露出瓶颈，微服务架构成为当下企业技术架构转型的主流选择。智谱清言作为国内领先的大模型应用之一，基于自主研发的 GLM 模型打造了全能 AI 助手，提供多平台支持和强大的智能体创建能力。
如果用一句话为 2025 年写下注脚，那它不会是某个技术名词，而更像是一种哲学上的转变：“这一年，我们不再是孤立地使用软件，而是与智能的代理人（Agent）共舞，它们正悄然重塑我们的工作与生活。”
可靠的地球系统预测对于推动人类进步和预防自然灾害至关重要。人工智能（AI）为提高该领域的预测精度和计算效率提供了巨大潜力，但在许多领域仍未得到充分开发。
AI无疑是最近最火的技术。随着AI迅猛发展，算力需求呈指数级增长，数据中心正在面临一个问题——功率越来越大，耗电越来越多。
左超Manus，右跨Genspark，GAIA榜单上又一家中国公司登顶！
AI编程梦被撕碎！最新研究用57.6万个代码样本揭示：超20%代码依赖的是不存在的软件包。苹果、微软都曾中招，而Meta和微软还在高喊「未来AI写95%代码」。AI写代码的神话，正在变成安全灾难。
全世界最大的电脑展之一——COMPUTEX台北电脑展正式拉开了序幕。 COMPUTEX大会自创办以来已有43年历史，是亚洲最大、全球第二的ICT产业盛会，本届展会以“AI Next”为主题，汇聚全球超2000家科技巨头与创新企业，不仅拥有着琳琅满目的参展品牌和产品，更重要的是，那些全球顶级的上游厂商、存储厂商和PC厂商们都会在这里公布全新一代产品。
市场的大变革，孕育着大机会，创新者往往能够抓住机会、创造并引领未来。5 月 21 日，行业头部的一体化 HR SaaS 平台北森控股（股票代码：09669.HK）在北京隆重举办 “AI Learning 产品发布会”，宣布完成酷学院收购，并同步推出基于 AI 大模型的新一代学习平台 ——AI Learning
曾估值超10 亿美元的微软支持 AI 公司 Builder.ai 陷入资金短缺，已进入破产程序，该公司发言人向 TechCrunch 证实了这一消息。
「仿生人会梦见电子羊吗？」这是科幻界一个闻名遐迩的问题。现在英伟达给出答案：Yes！而且还可以从中学习新技能。如下面各种丝滑操作，都没有真实世界数据作为训练支撑。仅凭文本指令，机器人就完成相应任务。
在Google I/O的第二天，硅星人有机会和Google CEO Sundar Pichai交流。在这场小范围的沟通中，Pichai及Google的多名核心业务负责人回答了从搜索到广告再到AI等多个问题。今年是Pichai执掌Google的第十年，过去三年带领Google从OpenAI的冲击中走出，如今看来很可能成为他CEO生涯至今打过的最重要一仗。
就在刚刚，OpenAI 正式官宣，将以接近 65 亿美元（折合人民币 468.16 亿元）的价格收购由 OpenAI CEO Sam Altman 与前苹果首席设计官 Jony Ive 联合创办的 AI 设备初创公司 io。
我一直说，每个行业，都一定会有专门优化的垂直领域的Agent。
在被微软、谷歌高调比拼 AI 实力刷屏之际，腾讯 AI 携重磅产品轮番登场，不止于拼技术，更是以扎实布局展现对 AI 落地的深度洞察与务实态度。
谷歌又放新大招了，将图像生成常用的“扩散技术”引入语言模型，12秒能生成1万tokens。
当OpenAI、谷歌还在用Sora等AI模型「拍视频」，英伟达直接用视频生成模型让机器人「做梦」学习！新方法DreamGen不仅让机器人掌握从未见过的新动作，还能泛化至完全陌生的环境。利用新方法合成数据直接暴涨333倍。机器人终于「做梦成真」了！
今年，Google算是打了个翻身仗。
就在刚刚，世界上最强AI科学家正式发布！
2025 年以来，Agent 开发量和使用量都有明显提高。Agent 的爆发带来了 Agent Infra 需求的爆发。在过去 1-2 年，Agent 开发大多依赖开发者手动使用传统 Infra 搭建，开发工程量大、流程复杂，但随着越来越多 Agent-native Infra 涌现，Agent 开发的难度和周期都在缩小，开发的范式正在重构和收敛。
HALO框架通过三大创新机制重塑多Agent(MAS)协作方式：层次化推理架构克服了认知过载问题，让智能体各司其职；动态角色实例化能针对不同任务匹配专业智能体；基于MCTS的搜索引擎自动探索最优推理路径。它能将模糊的用户查询转化为专业提示，分解复杂任务并动态调整执行计划。
企业把 AI 用好这件事，未必从宏大之处搞刀削斧琢，最应该从微末之处推动「化学反应」。
大家好，我是袋鼠帝 一直以来，分享了不少关于工作流平台、LLM应用平台的不少干货文章。 主要包含：Dify、Coze、n8n、Fastgpt、Ragflow。大家好，我是袋鼠帝 一直以来，分享了不少关于工作流平台、LLM应用平台的不少干货文章。 主要包含：Dify、Coze、n8n、Fastgpt、Ragflow
DeepSeek依旧牢牢占据中国AI产品访问量第一的宝座，其月访问量甚至超过其他几款主流产品的总和。相比之下，腾讯「元宝」和「Kimi」的流量则出现明显下滑，环比降幅超过20%。在广告投放趋于保守之后，用户增长逐步放缓，流量更加依赖产品本身的可用性和用户黏性。
