OpenAI o1 核心贡献者把 AI 定义为“第四种杠杆”
近期，前 OpenAI 研究员 Hyung Won Chung 在离职消息曝光后，首次系统性地分享了他对 AI 的长期思考，塑造了一个新的想法：「AI 杠杆机制」。 在传统经济学里，人类只拥有三种杠杆： 人力杠杆：让别人替你干活。 资本杠杆：让钱替你生钱。 代码杠杆：让软件替你规模化。 Hyung Won Chung 认为，AI 正在成为第四种杠杆，具...
View Article字节视觉大模型负责人杨建朝宣布“暂时休息”
网易科技获悉，字节跳动豆包大模型视觉多模态生成方向负责人杨建朝于 7 月 17 日上午在公司内部宣布“暂时休息”，相关工作已完成交接。 据多位接近字节的人士透露，目前仍能在字节内部系统中查到杨建朝的信息。消息人士称，杨建朝的工作将由周畅（花名“时光”）接手。目前，周畅所在架构仍为“多模态交互与世界模型”部...
View ArticleJason Wei 提出“验证者定律”：所有可能解决且易于验证的任务都将被人工智能解决
Jason Wei（OpenAI核心科学家、思维链提示词核心作者、o1关键人物）近期提出验证不对称性理论及“验证者定律”（Verifier's Law），其核心观点是：训练AI解决一个任务的难易程度与该任务的可验证性成正比，所有可能解决且易于验证的任务，终将都被AI攻克。 验证的不对称性指的是有些任务验证起来比解决起来容易得多。随着...
View ArticleMeta 在挖走苹果 AI 部门主管后，再次挖走两名核心专家
彭博社记者马克・古尔曼透露，Meta又挖走了苹果公司的两位关键人工智能研究人员，此前不久Meta刚刚从苹果挖走了其AI王牌——人工智能模型负责人庞若鸣（Ruoming Pang），也就是这两名研究人员的主管。 报道称，Meta聘请了苹果公司的Mark Lee和Tom Gunter加入其超级智能实验室 (Superintelligence Labs) 团队。Lee在近日离...
View Article微语 0.8.8 发布，开源 AI 问答平台
企业级多租户团队协作工具，免费开源N件套：企业IM、在线客服、企业知识库/帮助文档、客户之声、工单系统、AI对话、工作流、呼叫中心、视频客服、开放平台。 语言 English 中文 管理端 多渠道 客服端 介绍 企业IM 局域网即时通讯 企业成员管理 聊天记录监控 ... 全渠道客服 多渠道接入 人工客服 客服Agent智能体，对接自...
View Article首个基于 AI 的恶意软件 LameHug 现身，窃取 Windows 设备数据
科技媒体 BleepingComputer 报道了一种新型恶意软件 LameHug 的出现，该软件利用了阿里开源的 Qwen2.5-Coder-32B-Instruct 大型语言模型，针对 Windows10和 Windows11设备进行数据窃取。 LameHug 的独特之处在于它采用了大型语言模型生成攻击指令，进而搜刮受害者设备上的敏感数据。根据 CERT-UA（乌克兰国家网络安全事件...
View ArticleIntelliJ IDEA 从 2025.3 版本开始只提供单一安装程序
JetBrains 宣布了 IntelliJ IDEA 迁移到统一发行版的计划：“以后将只有一个 IntelliJ IDEA 安装程序，取代分别下载的 Community Edition 和 Ultimate Edition。” 从 2025.3 版本开始，IntelliJ IDEA Community Edition 将不再作为单独的产品发行。所有用户都将下载单个 IntelliJ IDEA...
View Article报告：71% 的人不愿聘用不具备 AI 技能的开发人员
Infragistics 最新发布的一项《2025 年应用开发趋势报告》显示，71％ 的受访者表示，他们不会聘请不具备 AI 技能的开发人员。 30% 的受访者表示，今年他们面临的最大挑战之一是招聘合格的开发人员。除了招聘 AI 领域人才外，53% 的领导者还寻求具备云计算技能的人才，35% 的领导者在寻求具备解决问题的能力的人，35% 的领...
View Article美团开源 OIBench 与 CoreCodeBench
Meituan-M17 团队联合上海交大等机构，分别推出了 OIBench（聚焦高区分度算法题评测）与 CoreCodeBench（聚焦多场景工程级代码基准）两大数据集，旨在揭示大模型编程能力真实水平，这两大数据集已分别在 GitHub 和 Huggingface 上进行开源。
View ArticleOpenNJet v3.3.1 发布，云原生应用引擎
OpenNJet v3.3.1 已经发布，云原生应用引擎。 新功能 深层清理Lua代码 http ssl模块新增一个指令ssl_certificate_management 用于证书续签功能配置 新增helper程序cert-manager，支持ACME协议，实现自动证书管理 功能优化 http/stream vs 不允许重名 Http 动态添加ssl VS 时，检查是否配置证书。 Bug fix...
View ArticleGitee AI MCP Server 上线：在 Cursor 里玩 AI 生图 + 语音
模力方舟现已上线 Gitee AI MCP Server，为 AI 助手和多模态应用提供统一的上下文协议（Model Context Protocol, MCP）接入能力，目前已支持文本生成图片与语音两项功能。 MCP 是干什么的相信大家已经很熟悉了，那么话不多说，先看效果： 这张图展示了使用 Gitee AI MCP Server 在 Cursor 客户端中完成「AI 生成项目 Lo...
View ArticleSwiftFormat —— 格式化 Swift 代码
SwiftFormat 是一个代码库和命令行工具，用于在 macOS 或 Linux 上重新格式化 Swift 代码。
View ArticleGPU 维修，一个百亿市场是如何形成的？
本来，这是一个双赢的局面：英伟达提供铲子，中国公司挖掘 AI 金矿。然而，中美科技竞争的暗流早已涌动，尤其是在人工智能和半导体等攸关国家安全和科技主导权的领域更是斗争激烈。美国接连挥下的芯片禁售令，不仅斩断了获取新铲子的渠道，反而倒逼出一个规模或达百亿的 GPU 维修产业填补着官方退场后的空白。
View ArticleMeta 迎来顶尖人才：40% 曾在 OpenAI 任职，薪资高达 1 亿美元
Meta 近日正在积极扩展其人工智能团队，成立了名为 “超级智能实验室”（Superintelligence Labs）的新部门，旨在推动基础模型的开发。据内部消息人士透露，该实验室目前已成功招募44名顶尖人才，令人瞩目的是，约一半的员工来自中国，而40% 的员工曾在 OpenAI 工作过。 Meta 首席执行官马克・扎克伯格以其豪爽的投资风格...
View Article马斯克确认 Grok 未来将支持构建自定义 AI 伴侣
马斯克已确认，xAI旗下AI聊天机器人Grok未来支持用户构建自定义AI伴侣，用户将能够创建拥有定制声音、外观和个性的数字伴侣（“每一个都会是独一无二的”）。 目前，Grok已推出基于Grok 4大模型的“伴侣”（Companions）功能，首批上线了动漫风格角色Ani（哥特风“AI女友”）和卡通小熊猫Bad Rudy，支持动态语音互动及角...
View ArticleManus 创始人复盘构建 AI Agent 的“上下文工程”实践
在爆火仅四个月后，Manus AI突然几乎全面撤出中国市场，不仅清空全部社交账号内容，而且国行版本的Manus也疑似暂停推进。 中国通用AI Agent（智能体）创业公司Manus将总部迁至新加坡，并百万年薪招聘AI工程师，对被裁员工给予N+3或者2N赔偿 早在上个月，Manus联合创始人张涛便曾宣布，公司已将全球总部迁至新加坡，并在东...
View ArticleAltman：2025 年底 OpenAI 将上线超 100 万块 GPU
OpenAI CEO 萨姆・奥尔特曼（Sam Altman）近日在社交媒体上宣布，该公司计划在2025年底前上线超过100万块 GPU。 据悉，OpenAI 的战略主要围绕三个核心领域展开：Stargate（星际之门）项目、芯片供应链重构以及能源挑战。Stargate 是 OpenAI 新成立的公司，目标是为 AI 基础设施建设注入巨额资金。未来四年，该项目预计将...
View ArticleSam Altman 透露 GPT-5 即将发布
在宣布其模型获得国际数学奥林匹克竞赛金牌的同时，OpenAI CEO Sam Altman 和研究科学家 Alexander Wei 透露，GPT-5 即将发布。然而，他们均明确设定了市场预期：即将发布的 GPT-5 并非在IMO竞赛中获奖的模型。 Altman 强调，获得金牌的IMO模型是一个实验性的研究成果，整合了未来将用于其他模型的新研究技术，而即将面世...
View Article告别提示词工程，「上下文工程」才是 AI Agent 的核心竞争力
文章从 "上下文" 的广义定义出发，详细拆解了影响 AI 决策的七大关键要素，包括系统指令、用户输入、历史对话、长期记忆、外部检索信息、可用工具及输出结构。
View ArticleMistral AI 寻求 10 亿美元融资
来自彭博社的消息称，法国知名的大模型开源平台 Mistral 正在与阿布扎比的 MGX 基金以及法国的一些贷款机构进行洽谈，计划筹集一轮高达10亿美元的融资。这一举措表明 Mistral 正朝着快速扩张的方向迈进，进一步巩固其在人工智能领域的地位。 MistralAI 成立于2023年4月，由三位曾在 Meta AI 和 Google DeepMind 任职的研...
View ArticleAI 编程智能体 Gemini CLI 发布 v0.1.13
谷歌更新了其 Gemini 命令行工具 (CLI) 至 v0.1.13 版本，并发布了该工具的 v1 版本路线图。 此次更新带来了一系列功能增强和体验优化。 取消操作提示：在取消操作时显示被修改的内容。 确认快捷键：使用数字键作为确认快捷方式。 认知循环缓解：引入对认知循环的检测与缓解机制。 MCP 服务器管理：允许用户指定允许或排...
View ArticleDebian 13.0 将于 8 月 9 日发布
Debian 团队宣布 Debian 13.0 "Trixie"计划于 8 月 9 日发布，7 月 27 日完全冻结。 Debian Trixie 代表了为期两年的开发历程，内核采用 Linux 6.12 LTS，包含桌面环境 GNOME 48 、GCC 14.2 编译器、Python 3.13 等大量软件更新。Debian Trixie 将首次正式支持 64 位 RISC-V 架构。 10...
View Article人形机器人公司加快融资及上市步伐
中国招标投标公共平台7月18日信息显示，优必选中标觅亿（上海）汽车科技有限公司9051.15万元设备采购项目。据悉，这是优必选目前中标金额最大的采购订单。 与此同时，7月7日，星动纪元宣布完成近5亿元A轮融资；7月8日，云深处宣布完成近5亿元新一轮融资，它石智航完成1.22亿美元天使+轮融资，小雨智造完成约1亿元A++轮融...
View Article马斯克宣布将推出儿童版 AI 应用“Baby Grok”
埃隆・马斯克通过社交平台 X 宣布，他的人工智能公司 xAI 将推出一款专为儿童设计的全新应用 “Baby Grok”。 马斯克并未详细说明 “Baby Grok” 的具体功能，但他强调该应用将提供 “友好型内容”，旨在保护儿童在网络世界中的安全。Baby Grok 可能包含以下内容： 界面简单，方便孩子使用。 强大的内容过滤器可以阻止任...
View Article英特尔将终止开发 Clear Linux
英特尔将终止开发其优化性能的 Clear Linux 发行版。近日，英特尔发布了一份声明，宣布Clear Linux 即将停更： 经过多年的创新和社区协作，我们将终止对 Clear Linux OS 的支持。英特尔将立即停止为 Clear Linux OS 提供安全补丁、更新或维护，Clear Linux OS GitHub 存储库将以只读模式存档。因此，如果您目前正在使用 ...
View Article哔哩哔哩第三方开源客户端 PiliPala 收到侵权告知函，宣布停更
7月18日，哔哩哔哩（B站）第三方开源客户端PiliPala（https://github.com/guozhigq/pilipala）的开发者guozhigq因收到B站发出的侵权告知函，宣布即日起停止更新该项目。 侵权告知函指出，PiliPala未经许可破解B站平台接口，将数据聚合到自身应用中，使用户无需通过B站平台即可浏览相关内容，对B站起到了实质性替代作用，...
View Article英伟达 CUDA 将支持 RISC-V 架构
英伟达的驱动程序和 CUDA 软件堆栈一直以来主要支持 x86_64 和 AArch64 系统，但过去也支持 IBM Power。在 RISC-V 中国峰会上，英伟达副总裁 Frans Sijstermans 宣布 CUDA 将支持 RISC-V。 RISC-V International 在X上转播了这一消息。 鉴于 RISC-V 在数据中心领域日益增长的兴趣，这并不令人意外。英伟达 Linux...
View Article京东回应一日连投三家机器人企业：高度重视具身智能等技术
今日上午，机器人行业迎来资本涌动新态势——千寻智能宣布完成6亿元PreA+轮融资，逐际动力（LimX Dynamics）披露新一轮战略融资，众擎机器人同步官宣A1轮融资，三家企业融资均由京东集团领投。 针对密集投资动作，京东集团相关负责人回应称，公司正持续加大对具身智能、大模型等前沿技术赛道的战略投入。未来将围绕供应链...
View Article黄仁勋佩服 DeepSeek 惊人创新力，称“中国创新步伐不可能被阻挡”
据央视新闻报道，美国英伟达公司创始人兼首席执行官黄仁勋在接受总台《面对面》栏目采访时力赞了 DeepSeek，并表示 AI 是一个极其复杂的系统，中国的创新能力很惊人。 黄仁勋称，中国创新的步伐是不可能被阻挡的，相信英伟达能作出重要贡献。AI 是一个极其复杂的系统，就像多层蛋糕一样复杂，其芯片只是底层，上面还有系...
View ArticleAI 搜索创企 Perplexity 完成 1 亿美元融资
综合《金融时报》与彭博社消息，AI 搜索引擎企业 Perplexity 完成了一次合计 1 亿美元（现汇率约合 7.18 亿元人民币）的新融资，企业估值来到了 180 亿美元（现汇率约合 1292.18 亿元人民币）。 根据早前报道，Perplexity 在今年 3 月就计划以 180 亿美元的估值展开融资，不过在投资者的压力下今年 5 月融资轮中的实际估...
View ArticleSQLite 3.50.3 发布
SQLite 是一个 C 语言库，实现了一个小型、快速、独立、高可靠性、全功能的 SQL 数据库引擎。SQLite 是世界上使用最多的数据库引擎。SQLite 的源代码属于公共领域，每个人都可以免费使用，用于任何目的。 SQLite 3.50.3 现已发布，更新内容如下： 添加 sqlite3_setlk_timeout() 接口，在支持阻塞锁的构建中为阻塞锁设置独...
View ArticleNacos 开源 MCP Router，加速 MCP 私有化部署
Nacos MCP Router 是一个基于 MCP 官方 SDK 开发的标准 MCP Server，为 MCP Client 提供 MCP Server 的智能搜索、安装、代理等功能，极大地简化了 MCP 服务的使用流程。
View Article微信 Windows 客户端 3.9 及以下版本曝远程代码执行漏洞
据“火绒安全”官方公众号，火绒安全团队联合 360 漏洞研究院曝光并成功复现了微信 Windows 客户端一项远程执行代码漏洞。微信 Windows 客户端 3.9 及以下版本均存在此问题，用户应及时更新最新版本客户端. 据介绍，该漏洞具体技术原理为“微信客户端在处理聊天记录中的文件自动下载时，未对文件路径进行充分的校验和过滤...
View Article英伟达开源多模态音频模型 Audio Flamingo 3
英伟达发布了 Audio Flamingo 3 (AF3)，一个完全开源的大型音频-语言模型 (LALM)，在超过 20 个音频理解和推理基准测试中达到最新最优性能。 该模型旨在推动音频、语音和音乐领域的 AI 研究，但仅限用于非商业研究目的，并依据 NVIDIA OneWay 非商业许可证发布。 AF3 引入了多项创新功能，包括统一音频编码器 AF-Whisper...
View Article京东开源轻量化通用多智能体 JoyAgent-JDGenie，GAIA 准确率 75.15%
AIbase 从网络信息获悉，京东正式开源了一款产品级端到端通用多智能体系统JoyAgent-JDGenie，在GAIA基准测试中以75.15%的准确率超越OWL、OpenManus等竞品，位居行业前列。 GAIA基准领跑，性能卓越 JoyAgent-JDGenie在GAIA基准测试中表现亮眼，以75.15%的总体准确率刷新了多智能体系统的性能纪录。 根据GAIA基准的评估标准...
View ArticleLibreOffice 指责微软故意制造复杂格式锁住用户
开源办公软件LibreOffice近期近期一直在不遗余力地批评微软及其做法，这一次更是指责微软故意使用“不必要的复杂”文件格式，通过其Microsoft 365（Office）锁住用户。 XML是一种标记语言，用于结构化和定义文档，被微软365和LibreOffice等程序广泛使用。 LibreOffice表示，XML模式包括XML文档的结构、数据类型和规则，并...
View ArticleResume Matcher —— 制作一份能获得面试机会的简历
告别 ATS 机器人自动拒绝的困扰。Resume Matcher 是一个 AI 驱动的平台，它对招聘算法进行逆向工程，精准地向你展示如何定制你的简历。获取关键词、格式和洞察，助你顺利通过首屏筛选，最终交到真人手中。
View Article我国网民规模已达 11.23 亿人，互联网普及率达 79.7%
7月21日，中国互联网络信息中心（CNNIC）在京发布第56次《中国互联网络发展状况统计报告》（以下简称《报告》）。《报告》显示，“十四五”期间，我国互联网建设取得显著成就。新型信息基础设施加速布局，互联网基础资源持续丰富，为互联网普及和数字经济发展提供了坚实支撑。 截至6月，我国网民规模达11.23亿人，互联网...
View Article微软服务器软件被曝严重安全漏洞，黑客借此在全球发起攻击
微软服务器软件近日被曝存在严重安全漏洞，不明身份的黑客在过去几天利用这一漏洞对全球范围的目标发起了攻击。目前已有多家机构证实服务器被攻破，相关部门正紧急采取补救措施。 据路透社美东时间20日报道，微软公司近日发布安全警告，称其SharePoint服务器软件正在遭到持续攻击，该软件广泛用于政府机构和企业内部文件...
View Article斯坦福开源 OctoTools，多工具协作 AI Agent
斯坦福大学开源了一款名为 OctoTools 的 AI Agent，该工具能够结合超过11种不同的工具，以应对复杂的推理任务。传统的 AI 助手往往依赖于单一模型，难以有效处理需要多步推理和跨领域知识的挑战。而 OctoTools 的问世，则为这些问题提供了新的解决方案。 OctoTools 在多个领域表现出色，测试数据显示其在16项基准测试中的...
View ArticlePodman Desktop 1.20 版本发布
Podman Desktop 1.20 现已发布。 本次更新带来了很多新功能和改进： 批量启动所有容器：新增批量启动按钮，一键启动多个选中的容器，节省启动容器堆栈的时间。 切换用户和集群：在 Podman Desktop 内即可无缝切换 Kubernetes 集群和用户上下文，多集群操作更轻松。 按描述搜索扩展：不仅能按名称，还能根据扩展描述中的关...
View ArticleMaxKB V2 正式发布，助力用户快速构建企业级智能体
2025 年 7 月 18 日，MaxKB V2 版本正式发布。MaxKB 是一个强大易用的企业级智能体平台，致力于解决企业 AI 落地所面临的技术门槛高、部署成本高、迭代周期长等问题，让企业用户落地 AI 更简单。 秉承 “开箱即用，伴随成长” 的设计理念，MaxKB 支持企业快速接入主流大模型，高效构建专属知识库，并且提供从知识库问答（...
View Article官宣！Dora-rs 官方中文教程正式发布！
Dora-rs：是一个为现代 AI 机器人应用设计的、以数据流为核心的机器人开发框架 。 在机器人开发的世界里，我们常常面临这样的困境： 过于复杂： 传统软件栈学习曲线陡峭，配置繁琐，让快速原型验证成为奢望。 性能瓶颈： 数据在不同模块间传递时延迟巨大，严重影响系统的实时响应与可靠性。 集成困难： 融合不同来源的硬...
View ArticleWindows 包管理器 UniGetUI 发布 3.3，支持批量下载
Windows 11/10上相当欢迎的包管理器UniGetUI（原WinGetUI）迎来了重大更新。这一版本原本计划作为3.2.1发布，但由于更新内容远超预期，开发者决定直接提升版本号至3.3.0。 此次更新亮点颇多，其中最引人注目的便是新增了批量下载安装程序的功能，用户现在可以一次性下载多个软件的安装包。 此外，UniGetUI还允许用户选择...
View Article🔥造物分享：24h智能计分网球学练馆
全国首家24h智能计分网球学练馆，通过数字经济赋能体育产业，催生产业新模式和新需求。跃测网球团队致力于打造室内科技运动场地，提供健康、有趣的生活运动方式；并拥有自主研发科技AI团队，对小程序设计、人体运动数据监测、会员系统构建等功能的不断开发及迭代拥有核心竞争力；倡导“快乐运动生活”的核心价值观，矢志...
View Article波兰程序员在 10 小时编程马拉松中击败 OpenAI
在东京举行的2025年AtCoder世界巡回赛总决赛（AWTF）中，来自波兰格丁尼亚的42岁程序员Psyho创造了历史，击败了OpenAI的定制AI模型，赢得了这场比赛。 这场赛事被认为是世界上最负盛名的编程比赛之一，邀请了12位顶尖人类程序员和一个AI竞争对手来应对极具挑战性的任务。 经过10小时的编程马拉松，Psyho以约9.5%的优势战...
View ArticleMeta 超级智能团队的一半成员来自中国
马克·扎克伯格在科技行业的某个特定赌注上习惯于投入巨额资金，比如斥资460亿美元打造元宇宙，但大多数人都知道，这个计划最终以失败告终。如今，Meta首席执行官正在四处招聘人才，并将这些人安置在超级智能实验室。该实验室的团队致力于各种基础模型的研发，力争在人工智能竞赛中占据领先地位。 至于该部门的员工名单，...
View Article让代码更可靠的小技巧：边写代码边证明它能正确运行
让你的代码更可靠？秘诀是在脑中“写证明”！ 有网友分享了一个写代码时的小技巧，引发了大量程序员的共鸣。这个技巧就是：边写代码边在脑中“证明”它会正确运行。 这是一个技巧，但其实更像一种思维习惯：在写每一行代码的同时，不断验证它的逻辑是否自洽、是否会出错。当这种思维方式练熟之后，很多人会惊喜地发现：自...
View ArticleKDE Plasma 的程序窗口终于有了圆润的底部角
KDE 团队为 Breeze 装饰的窗口添加了圆角底角。这项视觉更新计划在即将推出的 Plasma 6.5 中实现，是许多用户长期以来一直要求的功能，甚至早在 2021 年就已提交了正式提案。 它的正式发布意味着社区开发的变通方案的需求将减少，KDE-Rounded-Corners 是一个流行的第三方脚本，多年来一直用于此目的。该功能将默认启用，...
View ArticleUbuntu 25.10 Raspberry Pi 镜像将更加精简
由于本周合并的变更，专为 Raspberry Pi 设计的 Ubuntu 25.10 镜像将比目前 Raspberry Pi 的 Ubuntu Linux 版本精简得多。针对 Raspberry Pi 单板计算机的 Ubuntu 桌面镜像将基于“桌面最小化”种子，而非“完整”桌面镜像。 将 Raspberry Pi 镜像切换到 Ubuntu 桌面最小化基础版本意味着一些应用程序（例如 GNOME...
View Article
![[LoliHouse] Princess-Session Orchestra - 15 [WebRip 1080p HEVC-10bit...](http://s2.loli.net/2025/04/09/QO618K72ytGZmDJ.webp)
