预告 
下载 InfoQ App >
随时随地获取最新技术资讯
演讲人：栗子，小柯
演讲人：Kevin、 彭鑫、 茹炳晟、 王昊奋
演讲人：Alex Yeh、YuJing Qian、Frank Lee
大语言模型离“数学证明高手”还有多远？斯坦福、伯克利、MIT 团队提出 IneqMath 评测标准
只靠算力不够，教会模型“自我反思”和“用工具”，才是真正变聪明的路。
从 Apache 顶级项目到创业征程：一个开源人的坚守与突围
这是一位倔强的技术人的来时路。
从 Manus 热潮看中国科技出海：新加坡能否成最佳首站？
中国科技企业出海，要不要把新加坡作为第一站？
Amazon S3 新增排序和 Z-Order 压缩功能，提升 Apache Iceberg 查询性能
Amazon S3 支持 Apache Iceberg 表的排序和叠放顺序压缩功能，能够有效减少数据扫描时间，降低引擎成本。
Agent 落地实况：能用吗？怎么用？用到哪儿了？｜InfoQ《极客有约》
本期为观众提供了深入的行业洞察和技术思考，为智能体在企业应用中的实践提供了有益的参考和启发。
优化搜索系统：平衡速度、相关性和可伸缩性
创新的软件工程师专注于优化动态环境中的搜索性能。本文重点介绍了我们在 2024 年旧金山 QCon 演讲中的关键策略，以解决优步外卖（Uber Eats）等平台在数据索引和检索方面面临的挑战。
Hugging Face 发售 Reachy Mini 机器人，现已可订购
Hugging Face 发布 Reachy Mini 机器人，现已开放订购。
创业大佬离开 OpenAI 后说了实话：7 周硬扛出 Codex，不管争议先干了再说
OpenAI 离职员工揭露内部混沌真相：无统一路线、靠小团队硬冲。
AI 编码让资深程序员“掉速”19%！OpenAI 前研究员实锤：别再交“AI 工具智商税”了，谷歌大佬力挺！
这些工具非但未能提升开发效率，反而明显拖慢了编程任务完成速度。
美图 Al Agent 官方场景复现：图像设计的「强」来了？即梦、豆包还扛打吗？｜AI 的 n 次方
美图 AI Agent 官方场景复现。
中国 ToB 软件公司想赚钱，先对 AI Coding 祛魅
企业级应用软件开发，是否还有更好的选择？
Xmind 出海最佳实践： 从工具到 SaaS 化转型，不打价格战，坚持产品差异化
作为一款思维导图软件，Xmind 自创立至今的十余年间，已经在全球积累起了 500 万活跃用户，下载量突破 1 亿次，在全球市场获得了广泛的认可和高度评价。
小影科技出海最佳实践：从「全球化试水」到「本地化深耕」的进化之路
小影科技自 2012 年成立起便专注出海，以视频创作与剪辑工具为核心，构建起覆盖超 200 个地区、支持 20 余种语言、累计用户超 20 亿的产品矩阵。
Kiro 开放公测：AI 编程谁都会，能帮你上线才叫 AI IDE
Kiro 是一款 Agentic IDE，依赖于两个核心能力：Specs（Specification）和 Hooks（自动化触发器）
万兴科技出海最佳实践：以全球本地化布局为基石， “天幕” 大模型为引擎，构建全球化数字创意生态
万兴科技探索出一条 “本地化精准适配＋技术垂直深耕 + 合规布局 + 生态协同” 的出海路径，为 AI 应用高效、稳健出海提供宝贵借鉴。
创始人“背刺”员工获财富自由，Devin 接盘火速兑现员工期权，华人 CEO 暗讽：做个人吧！
“今天就该否掉昨天的自己”
从 n8n 到 Claude Code：我试了 10 类爆火 AI 工具，发现不用融资也能干正事
哪些是“程序员用得飞起，但非技术人最好绕道走”的高门槛工具？哪些又是真正能让“小白上手直接跑通商业化”的新范式？
谷歌 DeepMind 发布机器人学基础模型 Gemini Robotics On-Device
谷歌 DeepMind 推出了 Gemini Robotics On-Device，这是一款视觉 - 语言 - 行动（VLA）基础模型，旨在在机器人硬件上本地运行。该模型具有低延迟推理能力，并且可以针对特定任务进行微调，只需 50 个演示即可。
Docker 扩展 Compose，新增 Cloud Offload 支持
Docker 推出了一个新特性，允许开发者使用 Docker Compose 定义、构建和运行代理，目的是简化代理开发流程并减少重复性任务。此外，Docker Offload 目前处于测试阶段，它提供了一种方法，可以无缝地将模型构建和运行卸载到远程 GPU 算力。
快手高欢深度解读：多模态理解如何成为 AIGC 视频生成的“幕后功臣”？
快手高欢深度解析多模态理解在 AIGC 场景中的主要应用
微软在 Azure AI Foundry Agent Service 中新增 Deep Research 功能
微软最近推出 Deep Research 公开预览版，用户可以通过该功能使用公共网络数据进行深入的多步骤研究。
AGICamp 第 003 周 AI 应用榜单发布：Lighthouse、Get 笔记、小狐狸讲代码上榜
AGICamp 第 003 周 AI 应用榜来了，003 周上线了 8 款 AI 应用，面向企业端（2B）和面向个人端（2C）的应用都有上新。
刚刚，英伟达确认恢复 H20 在中国销售，并推出面向中国的全新 GPU
英伟达希望尽快开始发货。
安全消息：《卫报》利用数百万读者提供强大的可信否认能力
《卫报》最近推出了安全消息传递，这是一个高度安全且用户友好的工具，旨在通过隐藏消息正在传递的事实来保护新闻来源。
AWS CloudFront 新增 HTTPS DNS 支持，提升网站性能与安全
AWS CloudFront 新增 HTTPS DNS 支持。
Kimi K2 发布两天即“封神”？80% 成本优势追平 Claude 4、打趴“全球最强 AI”，架构与 DeepSeek 相似！
在 Kimi K2 发布的当晚，其联合创始人张宇韬在朋友圈转发文章时直言，“Make Kimi Great Again”。显然，月之暗面内部对 Kimi K2 寄予了厚望，并将其视作在 DeepSeek 冲击 AI 圈后、再度站稳脚跟的关键成果。
甲骨文副总裁吴承杨：AI 放大了数据优势，数据融合至关重要
“由于生产流程是无法控制的，所以业务系统最简单的做法就是采用融合数据库。
得物新一代可观测性架构：海量数据下的存算分离设计与实践
得物可观测性平台采用了存算分离架构，结合 AutoMQ 和 Kafka 以及 ClickHouse 存储技术，实现了高效的资源管理和性能优化。
Arm 可伸缩矩阵扩展 2 即将登陆 Android，以加速设备上的 AI
在 Armv9-A 架构中，Arm 可伸缩矩阵扩展 2 （Scalable Matrix Extension 2，简称 SME2）是一套先进的 CPU 指令，旨在加速矩阵密集型计算。这项新的 Arm 技术旨在帮助移动开发人员直接在 CPU 上运行高级 AI 模型，提高性能和效率，而无需对他们的应用进行任何更改。
友情链接：
