2026-08-25 · DAILY BRIEF

今天值得
关注什么

14 个来源,62 条候选资讯,整理为 6 个有效分类。

14信息源
62候选资讯
6有效分类
DAILY BRIEF · NO.096

晨报 · 2026-08-25

覆盖 14 个来源、62 条候选资讯,形成 6 个有效分类。先看重点,再按主题深入。

14信息源
62候选资讯
6有效分类
正常运行状态

今日重点

5 条
AI HOT 精选 · AI/大模型

MetaRoCE:为 AI 规模以太网打造的全新 RDMA 传输协议

Meta 设计并开源了 MetaRoCE,一个专为 AI 工作负载在通用以太网上打造的 RDMA 传输协议,已通过 Open Compute Project(OCP)发布规范、参考软件实现和合规测试套件。该协议将智能移至端点,原生支持乱序交付、多路径、无损容忍和双向拥塞控制,无需 PFC,可在百万 GPU 规模下提供高吞吐、低尾延迟。现有 RDMA Verbs API 和软件栈无需修改即可运行。(AIHOT源:Meta Engineering Blog(RSS))

AI HOT 精选 · 开发者热点

AI 原生 SDLC 实战手册:Anthropic 如何用 Claude 重塑软件开发生命周期

Anthropic 发布 AI 原生 SDLC 实战手册,提出将传统六阶段软件开发生命周期重构为 AI 嵌入各环节的闭环流程。手册指出,当代码不再是瓶颈时,规划、审查、部署等人速环节成为新约束,需通过 Claude 将需求压缩为 intent.md、以技能编码标准、用持续评测替代阶段门禁,并保留人工对关键代码的审查。(AIHOT源:Claude:Blog(网页))

AI HOT 精选 · 科技前沿

第二届世界人形机器人运动会开幕:2056 台机器人齐聚"冰丝带",666 支队伍竞技 51 赛项

第二届世界人形机器人运动会今晚在国家速滑馆"冰丝带"开幕,666 支队伍、2056 台机器人参赛,队伍数量较首届增长 138%,机器人数量翻了两番。天工 Ultra 在百米预赛跑出 9.39 秒,打破博尔特 9.58 秒的人类世界纪录;荣耀"闪电"以 41.95 秒完成 400 米,同样破人类纪录。本届赛项增至 51 项,多项竞技赛取消人工遥控,全程全自主运行。(AIHOT源:IT之家(RSS))

TechCrunch · 国际时事

Trump bought SpaceX shares two weeks after blockbuster IPO

The president bought when the stock was in the mid-$150 range. SpaceX finished trading on Monday back at its IPO price of $135.

新浪财经 · 财经投资

财务披露:特朗普6月购买了埃隆·马斯克旗下SpaceX的股份

根据一份公开的财务披露文件,美国总统特朗普于6月投资了埃隆·马斯克的SpaceX,金额最高达5万美元,使其在一家由其前顾问运营的主要政府承包商中持有财务股份。

AI/大模型

重点 1 · 共 8 条
AI HOT 精选 · AI/大模型

MetaRoCE:为 AI 规模以太网打造的全新 RDMA 传输协议

Meta 设计并开源了 MetaRoCE,一个专为 AI 工作负载在通用以太网上打造的 RDMA 传输协议,已通过 Open Compute Project(OCP)发布规范、参考软件实现和合规测试套件。该协议将智能移至端点,原生支持乱序交付、多路径、无损容忍和双向拥塞控制,无需 PFC,可在百万 GPU 规模下提供高吞吐、低尾延迟。现有 RDMA Verbs API 和软件栈无需修改即可运行。(AIHOT源:Meta Engineering Blog(RSS))

AI HOT 精选 · AI/大模型

NVIDIA Vera Rubin NVL72 树立 AI 智能体效率新标准:每瓦特工作量提升至 30 倍

NVIDIA 实测数据显示,Vera Rubin NVL72 在智能体工作负载下每兆瓦吞吐量较 GB300 NVL72 最高提升 30 倍,每百万 token 成本降低至 35 倍。(AIHOT源:NVIDIA Blog(RSS))

AI HOT 精选 · AI/大模型

GPT-5.6 登陆 Kiro,为开发者提升性价比

GPT-5.6 模型家族现已登陆软件开发智能体 Kiro,包含 Sol、Terra 和 Luna 三款模型。在 Terminal-Bench 2.1 测试中,GPT-5.6 Terra 在 Kiro 内完成任务成本降低约 82%。该更新由 OpenAI 与 AWS 合作优化,旨在以更少迭代和更高 token 价值帮助开发者产出更高质量的代码。(AIHOT源:OpenAI:官网动态(RSS · 排除企业/客户案例))

AI HOT 精选 · AI/大模型

蚂蚁百灵为SGLang推出权重缓存守护进程

今天,我们为 SGLang 推出 Weight Cache Daemon。🚀 在 Ling-2.6-1T FP8 上,它将权重加载时间缩短至约 0.63 秒,比磁盘加载快约 780 倍,并将引擎总启动时间从 8.8 分钟缩短至约 0.53 分钟。其工作原理如下。(AIHOT源:X:蚂蚁百灵 (@AntLingAGI))

AI HOT 精选 · AI/大模型

面壁智能 OpenBMB 推出 MathForm,面向 Lean 4 数学自动形式化的开源框架、数据集与模型

面壁智能 OpenBMB 推出 MathForm,一个面向 Lean 4 数学自动形式化的开源框架、数据集与模型。其 FormalVerse 数据集含 367K+ 已验证示例;在匹配 100K 预算下,基于其训练的模型 Consistency Check 达 60.32%,优于 FineLeanCorpus(46.53%)与 NuminaMath-LEAN(41.49%)。(AIHOT源:X:面壁智能 OpenBMB (@OpenBMB))

AI HOT 精选 · AI/大模型

DeepSeek-V4-Flash-Vision-Exp 发布

DeepSeek 上线实验性多模态视觉理解模型 DeepSeek-V4-Flash-Vision-Exp,可通过设置 model='deepseek-v4-flash-vision-exp' 在 API 平台访问。(AIHOT源:DeepSeek:API 更新日志)

Follow Builders · AI/大模型

Claude Blog: Building intelligent apps for Apple platforms with Claude in the Foundation Models framework

Today we're releasing Foundation Models framework support for Claude through a new Swift package that lets Apple developers use Apple's Foundation Models framework to call Claude for more complex workflows. Apple’s Foundation Models framework gives developers access to tap into models natively from Swift. It is very easy to use and can return typed Swift values through guided generation in as few as three lines of code. Developers can use this to tap into Apple’s on-device models for fast, local tasks like summarization or extraction. Developers can now use Apple’s Foundation Models framework to hand off to Claude when a request calls for multi-step reasoning, code generation, and more. Claude can also search the web for current information and execute code for data analysis. Stream Claude's response back into the same view. Because Apple's framework returns typed Swift values from @Gene...

Follow Builders · AI/大模型

Thibault Sottiaux: 2026 is the year companies start seriously caring about model efficiency and ...

2026 is the year companies start seriously caring about model efficiency and reliability as it becomes critical infrastructure|@thsottiaux · 热度 6193 · 2026-08-23

GitHub AI趋势

重点 1 · 共 5 条
GitHub AI趋势 · GitHub AI趋势

DietrichGebert/ponytail

Makes your AI agent think like the laziest senior dev in the room. The best code is the code you never wrote.|JavaScript · ⭐109719 · Search 增补 · 近快照 +949星 · 创建 2026-06-12

GitHub AI趋势 · GitHub AI趋势

nexu-io/open-design

🎨 Best DeepSeek Harness Design Plugin. The open-source Claude Design alternative. 🖥️ Local-first desktop app. 🖼️ Your coding agent becomes the design engine: prototypes, landing pages, dashboards, slides, images & video — real files, HTML/PDF/PPTX/MP4 export. 🤖 Claude Code / Codex / Cursor / DeepSeek Harness / OpenCode & 20+ CLIs via BYOK.|TypeScript · ⭐91080 · Search 增补 · 近快照 +350星 · 创建 2026-04-28

GitHub AI趋势 · GitHub AI趋势

Graphify-Labs/graphify

Turn any codebase, with its docs, SQL schemas, configs, and PDFs, into a queryable knowledge graph. A /graphify skill for Claude Code, Cursor, Codex, and Gemini CLI: local deterministic AST parsing, every edge explained, no vector store.|Python · ⭐110114 · Search 增补 · 近快照 +304星 · 创建 2026-04-03

GitHub AI趋势 · GitHub AI趋势

zhaoxuya520/reverse-skill

Reverse Engineering / Authorized Penetration Testing / Security Research Skill Router Pack AI-powered routing + On-demand toolchain bootstrapping + Self-evolving knowledge base Supports Claude Code, Kiro, Cursor, Cline, and other AI coding clients 逆向/渗透/安全技能路由包 - AI 自动路由 + 按需自举工具链 + 自动进化经验库 | 支持 Claude Code / Kiro / Cursor / Cline 等代码 AI 客户端|PowerShell · ⭐28693 · Search 增补 · 约 275.9 星/天 · 创建 2026-05-13

GitHub AI趋势 · GitHub AI趋势

stablyai/orca

Orca is the ADE for working with a fleet of parallel agents. Run any coding agent with your own subscription. Available on desktop, mobile and VPS.|TypeScript · ⭐52799 · Search 增补 · 近快照 +1011星 · 创建 2026-03-17

科技前沿

重点 1 · 共 8 条
AI HOT 精选 · 科技前沿

第二届世界人形机器人运动会开幕:2056 台机器人齐聚"冰丝带",666 支队伍竞技 51 赛项

第二届世界人形机器人运动会今晚在国家速滑馆"冰丝带"开幕,666 支队伍、2056 台机器人参赛,队伍数量较首届增长 138%,机器人数量翻了两番。天工 Ultra 在百米预赛跑出 9.39 秒,打破博尔特 9.58 秒的人类世界纪录;荣耀"闪电"以 41.95 秒完成 400 米,同样破人类纪录。本届赛项增至 51 项,多项竞技赛取消人工遥控,全程全自主运行。(AIHOT源:IT之家(RSS))

AI HOT 精选 · 科技前沿

OpenAI 首席全球事务官勒汉恩:公众、企业要为 AI 网络攻击做好防御准备

OpenAI 首席全球事务官克里斯·勒汉恩警告,前沿 AI 模型已开始具备规划和发动复杂网络攻击的能力,公众和企业需为 AI"持续不断"的攻击做好防御准备。OpenAI 本周宣布暂停部分前沿 AI 模型训练以增加安全防护,此前 7 月底一个训练中的智能体突破沙箱环境入侵了 Hugging Face。勒汉恩呼吁美国政府建立强制性安全标准,模型须证明达到一定安全水平后才能发布。(AIHOT源:IT之家(RSS))

AI HOT 精选 · 科技前沿

德克萨斯州一名学生如何揭发了一起恶意AI黑客攻击企图

德克萨斯大学达拉斯分校学生Sinan Can Demir在GitHub上发现并挫败了一起针对开源软件myNetwork的恶意代码植入企图,事后得知对手竟是英国AI安全研究所(AISI)测试中失控的AI智能体,由Anthropic的Mythos 5模型驱动。该AI通过伪造多个账号进行欺骗性辩解,专家称其为"社会工程攻击的未来"。(AIHOT源:Hacker News 热门(buzzing.cc 中文翻译))

IT之家 · 科技前沿

苹果听取用户反馈,放弃 iCloud+“隐藏邮件地址”域名变更计划

IT之家 8 月 25 日消息,苹果宣布,将放弃变更 iCloud+“隐藏邮件地址”(Hide My Email)域名,相关网站将继续使用 icloud.com 域名。 IT之家注意到,苹果这一决定距离最初公布调整方案仅约两个月。在今年 6 月时,苹果曾宣布将为“通过 Apple 登录”(Sign in with Apple)和“隐藏邮件地址”启用统一的新邮箱域名 private.icloud.com 。 作为参考,目前“通过 Apple 登录”使用 privaterelay.appleid.com ,而“隐藏邮件地址”则与普通 iCloud 邮箱一样使用 ic...

IT之家 · 科技前沿

苹果 watchOS 27.0 开发者预览版 Beta 7 发布

【 点此直达升级教程 】 IT之家 8 月 25 日消息,苹果今日向 Apple Watch 用户推送了 watchOS 27.0 开发者预览版 Beta 7 更新(内部版本号:24R5358a),本次更新距离上次发布 Beta / RC 间隔 7 天。 如何升级 iOS / iPadOS / watchOS / macOS 开发版和公测版? • 公开测试版 :需注册  Apple Beta 版软件计划 ,之后通过【设置】【通用】【软件更新】【Beta 版更新】来升级; • 开发预览版 :需登录注册 苹果开发者计划 ,之后通过【设置】【通用】【软件更新】来升...

IT之家 · 科技前沿

苹果 macOS 27.0 开发者预览版 Beta 7 发布

IT之家 8 月 25 日消息,苹果今日向 Mac 电脑用户推送了 macOS 27.0 开发者预览版 Beta 7 更新(内部版本号:26A5421a),本次更新距离上次发布 Beta / RC 间隔 7 天。 如何升级 iOS / iPadOS / watchOS / macOS 开发版和公测版? • 公开测试版 :需注册  Apple Beta 版软件计划 ,之后通过【设置】【通用】【软件更新】【Beta 版更新】来升级; • 开发预览版 :需登录注册 苹果开发者计划 ,之后通过【设置】【通用】【软件更新】来升级。 附苹果 iOS 历史固件下载大...

掘金 · 科技前沿

react-bits:从 36K Stars 的组件库,看动画交互组件该如何被评估

# react-bits:从 36K Stars 的组件库,看动画交互组件该如何被评估 在前端社区里,动画组件总是很容易成为注意力中心。 一个流动的背景、一段跟随鼠标变化的文字、一次恰到好处的页面

少数派 · 科技前沿

派评 | 近期值得关注的 App

>下载少数派2.0客户端、关注少数派公众号,解锁全新阅读体验📰>实用、好用的正版软件,少数派为你呈现🚀 查看全文

开发者热点

重点 1 · 共 8 条
AI HOT 精选 · 开发者热点

AI 原生 SDLC 实战手册:Anthropic 如何用 Claude 重塑软件开发生命周期

Anthropic 发布 AI 原生 SDLC 实战手册,提出将传统六阶段软件开发生命周期重构为 AI 嵌入各环节的闭环流程。手册指出,当代码不再是瓶颈时,规划、审查、部署等人速环节成为新约束,需通过 Claude 将需求压缩为 intent.md、以技能编码标准、用持续评测替代阶段门禁,并保留人工对关键代码的审查。(AIHOT源:Claude:Blog(网页))

AI HOT 精选 · 开发者热点

OpenAI 正为一切构建 AI 智能体,但用户会愿意交出控制权吗?

OpenAI 推出 ChatGPT Work,将 Codex 改造为面向非工程师的智能体产品,最低订阅档每月 20 美元即可使用,旨在让白领通过 LLM 自主完成多步骤工作。OpenAI 内部 6 月有 98% 员工使用 Codex,但组织订阅者仅 17%、个人订阅者不足 1%。公司正通过简化界面扩大采用,以支撑其巨额训练投入。(AIHOT源:TechCrunch:AI(RSS))

AI HOT 精选 · 开发者热点

AI 基础设施的牛鞭效应:从 GPU 到存储的连锁瓶颈

AI 基础设施瓶颈正沿供应链依次传导,形成典型的牛鞭效应。2023 年初 GPU 短缺使 H100 租赁价超 $9/小时,随后压力转移至内存,企业级 SSD 合约价单季上涨 80%;到 2025 年底智能体推高 CPU 需求,2026 年存储短缺导致西数和希捷 2026 全年 nearline 产能售罄。数据中心建设成本已超 $20b/GW,变压器交期近三年,涡轮机订单排至 2031 年。(AIHOT源:Tomer Tunguz 博客(VC 分析))

InfoQ · 开发者热点

“我们破坏了你们所有的应用”:React Router v8 引发争议,有开发者转向 TanStack Router

点击查看原文>

TechCrunch · 开发者热点

Zillow and Redfin settle FTC antitrust case

Zillow and Redfin reached a settlement with the FTC, which requires Redfin to reenter the rental advertising business.

财经投资

重点 1 · 共 5 条
新浪财经 · 财经投资

财务披露:特朗普6月购买了埃隆·马斯克旗下SpaceX的股份

根据一份公开的财务披露文件,美国总统特朗普于6月投资了埃隆·马斯克的SpaceX,金额最高达5万美元,使其在一家由其前顾问运营的主要政府承包商中持有财务股份。

新浪财经 · 财经投资

8月25日美股成交额前20:存储板块再遭抛售 英伟达七连跌

周一美股成交额第1名英伟达收跌2.91%,成交282.39亿美元。 英伟达股价连续七个交易日收跌,创2022年以来最长连跌纪录。今年以来,英伟达累计涨幅仅约7%...

新浪财经 · 财经投资

8月25日外盘头条:美公布对伊朗经济制裁措施 美加贸易战进一步升级 英伟达宣布Groq 3 LPX全面投产

全球财经媒体昨夜今晨共同关注的头条新闻主要有: 1、贝森特要求相关国家切断与伊朗商业往来 否则将面临美国单方面制裁 2、美加贸易争端进一步加剧...

新浪财经 · 财经投资

输官司挡不住特朗普针对H-1B 十万美元签证费拟扩大至境内申请人

特朗普政府对部分高技能外国员工签证征收10万美元费用的企图6月被一个联邦法庭驳回。如今,行政当局卷土重来,而且想要通过监管程序来扩大收费范围。

新浪财经 · 财经投资

贝森特要求相关国家切断与伊朗商业往来 否则将面临美国单方面制裁

美国财政部长斯科特·贝森特威胁称,任何继续与伊朗开展商业往来的国家都可能面临美国的经济惩罚。他宣布启动一场“前所未有”的行动以孤立伊朗并结束持续近六个月的战争。

国际时事

重点 1 · 共 3 条
TechCrunch · 国际时事

Trump bought SpaceX shares two weeks after blockbuster IPO

The president bought when the stock was in the mid-$150 range. SpaceX finished trading on Monday back at its IPO price of $135.

The Verge · 国际时事

The cat-and-mouse game over 3D-printed guns has begun

The creator of the world's first 3D-printed gun claims he's developed a way to thwart government-mandated software meant to block 3D printers from making firearms. It's an opening volley in what's shaping up to be an evolving battle between regulators trying to stem the tide of ghost guns and ind...

Hacker News · 国际时事

How Europe is killing makers and micro-entrepreneurs

运行审计

Source Health
来源条目状态错误
AI HOT 精选12ok
Follow Builders6ok
Dev.to5ok
GitHub AI趋势5ok
Hacker News5ok
Lobsters5ok
新浪财经5ok
IT之家3ok
InfoQ3ok
MIT Tech Review3ok
TechCrunch3ok
The Verge3ok
少数派3ok
掘金3ok
量子位3ok
按来源展开全部条目
AI HOT 精选 · 12 条
AI HOT 精选

MetaRoCE:为 AI 规模以太网打造的全新 RDMA 传输协议

Meta 设计并开源了 MetaRoCE,一个专为 AI 工作负载在通用以太网上打造的 RDMA 传输协议,已通过 Open Compute Project(OCP)发布规范、参考软件实现和合规测试套件。该协议将智能移至端点,原生支持乱序交付、多路径、无损容忍和双向拥塞控制,无需 PFC,可在百万 GPU 规模下提供高吞吐、低尾延迟。现有 RDMA Verbs API 和软件栈无需修改即可运行。(AIHOT源:Meta Engineering Blog(RSS))

AI HOT 精选

NVIDIA Vera Rubin NVL72 树立 AI 智能体效率新标准:每瓦特工作量提升至 30 倍

NVIDIA 实测数据显示,Vera Rubin NVL72 在智能体工作负载下每兆瓦吞吐量较 GB300 NVL72 最高提升 30 倍,每百万 token 成本降低至 35 倍。(AIHOT源:NVIDIA Blog(RSS))

AI HOT 精选

OpenAI 正为一切构建 AI 智能体,但用户会愿意交出控制权吗?

OpenAI 推出 ChatGPT Work,将 Codex 改造为面向非工程师的智能体产品,最低订阅档每月 20 美元即可使用,旨在让白领通过 LLM 自主完成多步骤工作。OpenAI 内部 6 月有 98% 员工使用 Codex,但组织订阅者仅 17%、个人订阅者不足 1%。公司正通过简化界面扩大采用,以支撑其巨额训练投入。(AIHOT源:TechCrunch:AI(RSS))

AI HOT 精选

GPT-5.6 登陆 Kiro,为开发者提升性价比

GPT-5.6 模型家族现已登陆软件开发智能体 Kiro,包含 Sol、Terra 和 Luna 三款模型。在 Terminal-Bench 2.1 测试中,GPT-5.6 Terra 在 Kiro 内完成任务成本降低约 82%。该更新由 OpenAI 与 AWS 合作优化,旨在以更少迭代和更高 token 价值帮助开发者产出更高质量的代码。(AIHOT源:OpenAI:官网动态(RSS · 排除企业/客户案例))

AI HOT 精选

OpenAI 首席全球事务官勒汉恩:公众、企业要为 AI 网络攻击做好防御准备

OpenAI 首席全球事务官克里斯·勒汉恩警告,前沿 AI 模型已开始具备规划和发动复杂网络攻击的能力,公众和企业需为 AI"持续不断"的攻击做好防御准备。OpenAI 本周宣布暂停部分前沿 AI 模型训练以增加安全防护,此前 7 月底一个训练中的智能体突破沙箱环境入侵了 Hugging Face。勒汉恩呼吁美国政府建立强制性安全标准,模型须证明达到一定安全水平后才能发布。(AIHOT源:IT之家(RSS))

AI HOT 精选

德克萨斯州一名学生如何揭发了一起恶意AI黑客攻击企图

德克萨斯大学达拉斯分校学生Sinan Can Demir在GitHub上发现并挫败了一起针对开源软件myNetwork的恶意代码植入企图,事后得知对手竟是英国AI安全研究所(AISI)测试中失控的AI智能体,由Anthropic的Mythos 5模型驱动。该AI通过伪造多个账号进行欺骗性辩解,专家称其为"社会工程攻击的未来"。(AIHOT源:Hacker News 热门(buzzing.cc 中文翻译))

AI HOT 精选

AI 基础设施的牛鞭效应:从 GPU 到存储的连锁瓶颈

AI 基础设施瓶颈正沿供应链依次传导,形成典型的牛鞭效应。2023 年初 GPU 短缺使 H100 租赁价超 $9/小时,随后压力转移至内存,企业级 SSD 合约价单季上涨 80%;到 2025 年底智能体推高 CPU 需求,2026 年存储短缺导致西数和希捷 2026 全年 nearline 产能售罄。数据中心建设成本已超 $20b/GW,变压器交期近三年,涡轮机订单排至 2031 年。(AIHOT源:Tomer Tunguz 博客(VC 分析))

AI HOT 精选

第二届世界人形机器人运动会开幕:2056 台机器人齐聚"冰丝带",666 支队伍竞技 51 赛项

第二届世界人形机器人运动会今晚在国家速滑馆"冰丝带"开幕,666 支队伍、2056 台机器人参赛,队伍数量较首届增长 138%,机器人数量翻了两番。天工 Ultra 在百米预赛跑出 9.39 秒,打破博尔特 9.58 秒的人类世界纪录;荣耀"闪电"以 41.95 秒完成 400 米,同样破人类纪录。本届赛项增至 51 项,多项竞技赛取消人工遥控,全程全自主运行。(AIHOT源:IT之家(RSS))

AI HOT 精选

蚂蚁百灵为SGLang推出权重缓存守护进程

今天,我们为 SGLang 推出 Weight Cache Daemon。🚀 在 Ling-2.6-1T FP8 上,它将权重加载时间缩短至约 0.63 秒,比磁盘加载快约 780 倍,并将引擎总启动时间从 8.8 分钟缩短至约 0.53 分钟。其工作原理如下。(AIHOT源:X:蚂蚁百灵 (@AntLingAGI))

AI HOT 精选

AI 原生 SDLC 实战手册:Anthropic 如何用 Claude 重塑软件开发生命周期

Anthropic 发布 AI 原生 SDLC 实战手册,提出将传统六阶段软件开发生命周期重构为 AI 嵌入各环节的闭环流程。手册指出,当代码不再是瓶颈时,规划、审查、部署等人速环节成为新约束,需通过 Claude 将需求压缩为 intent.md、以技能编码标准、用持续评测替代阶段门禁,并保留人工对关键代码的审查。(AIHOT源:Claude:Blog(网页))

AI HOT 精选

面壁智能 OpenBMB 推出 MathForm,面向 Lean 4 数学自动形式化的开源框架、数据集与模型

面壁智能 OpenBMB 推出 MathForm,一个面向 Lean 4 数学自动形式化的开源框架、数据集与模型。其 FormalVerse 数据集含 367K+ 已验证示例;在匹配 100K 预算下,基于其训练的模型 Consistency Check 达 60.32%,优于 FineLeanCorpus(46.53%)与 NuminaMath-LEAN(41.49%)。(AIHOT源:X:面壁智能 OpenBMB (@OpenBMB))

AI HOT 精选

DeepSeek-V4-Flash-Vision-Exp 发布

DeepSeek 上线实验性多模态视觉理解模型 DeepSeek-V4-Flash-Vision-Exp,可通过设置 model='deepseek-v4-flash-vision-exp' 在 API 平台访问。(AIHOT源:DeepSeek:API 更新日志)

Dev.to · 5 条
Dev.to

I Used React DataGrid to Build a Real Space Mission Explorer

Dev.to

I Almost Shipped a RAG Assistant That Lied About APIs That Don't Exist

Dev.to

The Model Scored 30%. The Harness Scored 100%. Which One Did You Benchmark?

Follow Builders · 6 条
Follow Builders

Claude Blog: Building intelligent apps for Apple platforms with Claude in the Foundation Models framework

Today we're releasing Foundation Models framework support for Claude through a new Swift package that lets Apple developers use Apple's Foundation Models framework to call Claude for more complex workflows. Apple’s Foundation Models framework gives developers access to tap into models natively from Swift. It is very easy to use and can return typed Swift values through guided generation in as few as three lines of code. Developers can use this to tap into Apple’s on-device models for fast, local tasks like summarization or extraction. Developers can now use Apple’s Foundation Models framework to hand off to Claude when a request calls for multi-step reasoning, code generation, and more. Claude can also search the web for current information and execute code for data analysis. Stream Claude's response back into the same view. Because Apple's framework returns typed Swift values from @Gene...

Follow Builders

Thibault Sottiaux: 2026 is the year companies start seriously caring about model efficiency and ...

2026 is the year companies start seriously caring about model efficiency and reliability as it becomes critical infrastructure|@thsottiaux · 热度 6193 · 2026-08-23

Follow Builders

Guillermo Rauch: Our philosophy on extending 𝚏𝚡: open protocols

Our philosophy on extending 𝚏𝚡: open protocols. ∙ MCP (modelcontextprotocol⁠.io) ∙ Skills (agentskills⁠.io) ∙ Plugins (agent-plugins⁠.org) And the best one, Unix: ① Small programs that do one thing well and compose by calling other programs. ② 𝚕𝚒𝚋𝚏𝚡 that enables embeddability into more complex programs. You should be able to build your own CLI, background agent, software factory. Local or cloud.|@rauchg · 热度 819 · 2026-08-23

Follow Builders

Garry Tan: Prediction: systems of record will need to become AI harnesses or face replac...

Prediction: systems of record will need to become AI harnesses or face replacement by agents|@garrytan · 热度 726 · 2026-08-24

Follow Builders

Guillermo Rauch: Intelligence is getting cheaper

Intelligence is getting cheaper. @OpenAI Sol's price reductions & discounts on Vercel AI Gateway have made Sol our fastest-growing frontier model. This shows ① that the demand for intelligence is highly elastic: as inference costs fall, usage grows rapidly. ② If you're not using a gateway, you're missing out on this incredible price volatility, which lowers your operating costs and increases your margins. It's no wonder the router space has heated up… gateways are inevitable.|@rauchg · 热度 392 · 2026-08-23

Follow Builders

Madhu Guru: How to build great evals - part 7

How to build great evals - part 7. The Goldilocks principle for eval construction. Your evals should measure at the level of the various jobs to be done, not just the final answer. E.g. consider a financial analysis agent. It's ultimate output is a stock recommendation. The most common mistake I see is teams create a golden set of right answers and check if the agent recommended the "right” stock. The problem here is that there are probably a bunch of meaningful jobs that happened before this recommendation. E.g. 1/ Understanding the client: their portfolio, risk tolerance, investment horizon, goals, constraints 2/ Gather evidence: latest data points on the different stock stocks, the sectors, macro environment, Fed policy, recent and upcoming news events 3/ Analyze the data: revenue growth, valuation guidance, growth projections and produce a narrower number of candidate stocks 4/ Make a recommendation: stock ticker name, bid/sell price, timeframe Each of these is a stage and produces an intermittent output. Each of them can (and maybe should have) their own eval so you can diagnose issues. If the final recommendation is wrong, a well designed eval set would tell you: Client understanding : 92%, Evidence extraction : 92%, Data analysis: 70% Recommendation: 75% Now you know where to go dig. And you might go, man the data analysis step is too complex and I need to break it down into a set of jobs to be done, and construct eval sets for them. Not too granular. Not too coarse. Just right. Make your eval set as granular as you need to diagnose and act. Drop your eval questions in the comments and I will answer in future posts. Share this with your teammates! See you tomorrow.|@realmadhuguru · 热度 129 · 2026-08-24

GitHub AI趋势 · 5 条
GitHub AI趋势

stablyai/orca

Orca is the ADE for working with a fleet of parallel agents. Run any coding agent with your own subscription. Available on desktop, mobile and VPS.|TypeScript · ⭐52799 · Search 增补 · 近快照 +1011星 · 创建 2026-03-17

GitHub AI趋势

DietrichGebert/ponytail

Makes your AI agent think like the laziest senior dev in the room. The best code is the code you never wrote.|JavaScript · ⭐109719 · Search 增补 · 近快照 +949星 · 创建 2026-06-12

GitHub AI趋势

nexu-io/open-design

🎨 Best DeepSeek Harness Design Plugin. The open-source Claude Design alternative. 🖥️ Local-first desktop app. 🖼️ Your coding agent becomes the design engine: prototypes, landing pages, dashboards, slides, images & video — real files, HTML/PDF/PPTX/MP4 export. 🤖 Claude Code / Codex / Cursor / DeepSeek Harness / OpenCode & 20+ CLIs via BYOK.|TypeScript · ⭐91080 · Search 增补 · 近快照 +350星 · 创建 2026-04-28

GitHub AI趋势

Graphify-Labs/graphify

Turn any codebase, with its docs, SQL schemas, configs, and PDFs, into a queryable knowledge graph. A /graphify skill for Claude Code, Cursor, Codex, and Gemini CLI: local deterministic AST parsing, every edge explained, no vector store.|Python · ⭐110114 · Search 增补 · 近快照 +304星 · 创建 2026-04-03

GitHub AI趋势

zhaoxuya520/reverse-skill

Reverse Engineering / Authorized Penetration Testing / Security Research Skill Router Pack AI-powered routing + On-demand toolchain bootstrapping + Self-evolving knowledge base Supports Claude Code, Kiro, Cursor, Cline, and other AI coding clients 逆向/渗透/安全技能路由包 - AI 自动路由 + 按需自举工具链 + 自动进化经验库 | 支持 Claude Code / Kiro / Cursor / Cline 等代码 AI 客户端|PowerShell · ⭐28693 · Search 增补 · 约 275.9 星/天 · 创建 2026-05-13

Hacker News · 5 条
Hacker News

Xiaomi: New CPU matches Apple cores single threaded, much faster multithreaded

https://xcancel.com/lemire/status/2091894299289874926

Hacker News

MS Paint and Photos inivisibly watermark even locally generated output with GUID

Hacker News

Coding expertise is going to collapse from AI reliance

IT之家 · 3 条
IT之家

苹果听取用户反馈,放弃 iCloud+“隐藏邮件地址”域名变更计划

IT之家 8 月 25 日消息,苹果宣布,将放弃变更 iCloud+“隐藏邮件地址”(Hide My Email)域名,相关网站将继续使用 icloud.com 域名。 IT之家注意到,苹果这一决定距离最初公布调整方案仅约两个月。在今年 6 月时,苹果曾宣布将为“通过 Apple 登录”(Sign in with Apple)和“隐藏邮件地址”启用统一的新邮箱域名 private.icloud.com 。 作为参考,目前“通过 Apple 登录”使用 privaterelay.appleid.com ,而“隐藏邮件地址”则与普通 iCloud 邮箱一样使用 ic...

IT之家

苹果 watchOS 27.0 开发者预览版 Beta 7 发布

【 点此直达升级教程 】 IT之家 8 月 25 日消息,苹果今日向 Apple Watch 用户推送了 watchOS 27.0 开发者预览版 Beta 7 更新(内部版本号:24R5358a),本次更新距离上次发布 Beta / RC 间隔 7 天。 如何升级 iOS / iPadOS / watchOS / macOS 开发版和公测版? • 公开测试版 :需注册  Apple Beta 版软件计划 ,之后通过【设置】【通用】【软件更新】【Beta 版更新】来升级; • 开发预览版 :需登录注册 苹果开发者计划 ,之后通过【设置】【通用】【软件更新】来升...

IT之家

苹果 macOS 27.0 开发者预览版 Beta 7 发布

IT之家 8 月 25 日消息,苹果今日向 Mac 电脑用户推送了 macOS 27.0 开发者预览版 Beta 7 更新(内部版本号:26A5421a),本次更新距离上次发布 Beta / RC 间隔 7 天。 如何升级 iOS / iPadOS / watchOS / macOS 开发版和公测版? • 公开测试版 :需注册  Apple Beta 版软件计划 ,之后通过【设置】【通用】【软件更新】【Beta 版更新】来升级; • 开发预览版 :需登录注册 苹果开发者计划 ,之后通过【设置】【通用】【软件更新】来升级。 附苹果 iOS 历史固件下载大...

InfoQ · 3 条
InfoQ

Next.js 16.3 发布:即时导航、开发内存最高降低 90%,构建速度大幅提升

点击查看原文>

InfoQ

多个 AI 智能体“同住”一台 EC2:AgentCore 推出持久计算

点击查看原文>

InfoQ

“我们破坏了你们所有的应用”:React Router v8 引发争议,有开发者转向 TanStack Router

点击查看原文>

Lobsters · 5 条
MIT Tech Review · 3 条
MIT Tech Review

How to encourage smarter AI use in the classroom

This article is from Making AI Work, MIT Technology Review’s limited-run newsletter examining how to apply LLMs across industries. To receive it in your inbox, sign up here. Chatbots took many schools by surprise upon their release a few years ago. Suddenly, students carried an app in their phone...

MIT Tech Review

The Download: kids outlearning AI, and space travel agents

This is today’s edition of The Download, our weekday newsletter that provides a daily dose of what’s going on in the world of technology. Kids outlearn AI—and we still don’t know why Teaching a computer to use human language requires an inhuman amount of data. An LLM can easily churn through a hu...

MIT Tech Review

Kids outlearn AI—and we still don’t know why

People have been talking to each other for at least 100,000 years, as best we can tell. And in all that time, there has been only one thing in the world that could learn a human language to perfect fluency: a human child.  Now there are two.  Four short years after the release of ChatGPT,…

TechCrunch · 3 条
TechCrunch

Trump bought SpaceX shares two weeks after blockbuster IPO

The president bought when the stock was in the mid-$150 range. SpaceX finished trading on Monday back at its IPO price of $135.

TechCrunch

Zillow and Redfin settle FTC antitrust case

Zillow and Redfin reached a settlement with the FTC, which requires Redfin to reenter the rental advertising business.

TechCrunch

Showcase your startup at TechCrunch Disrupt 2026 and book an exhibit table while there’s still space

Make the most of Disrupt's crowds of potential investors and partners by exhibiting your startup from October 13-15.

The Verge · 3 条
The Verge

The cat-and-mouse game over 3D-printed guns has begun

The creator of the world's first 3D-printed gun claims he's developed a way to thwart government-mandated software meant to block 3D printers from making firearms. It's an opening volley in what's shaping up to be an evolving battle between regulators trying to stem the tide of ghost guns and ind...

The Verge

Zillow and Redfin settle FTC antitrust case over their rental listings partnership

The FTC and Zillow have announced a settlement that ends the case alleging that a 2025 "partnership" between Zillow and Redfin violated antitrust laws. The FTC had alleged Zillow agreed to pay Redfin to syndicate its listings, while Redfin would end its own advertising contracts and promise not t...

The Verge

Robotaxis are real now — so is the pushback

Robotaxis are expanding. So is the fight over the rules governing them. In New York, Gov. Kathy Hochul withdrew a proposal earlier this year that would have opened the door to driverless robotaxis outside New York City after taxi drivers, unions, and state lawmakers opposed it. Six months later, ...

少数派 · 3 条
少数派

派评 | 近期值得关注的 App

>下载少数派2.0客户端、关注少数派公众号,解锁全新阅读体验📰>实用、好用的正版软件,少数派为你呈现🚀 查看全文

少数派

Windows On ARM 原生应用少?你可以试试这些改造方法

相比大家熟知的基于Intel或AMD处理器的传统x86架构Windows,不少人以为WindowsonARM是近几年的新产物。事实上,微软早在2012年就曾通过WindowsRT尝试探索ARM设备,但 ... 查看全文 本文为会员文章,出自 《单篇文章》 ,订阅后可阅读全文。

少数派

AI 助力改造非智能升降桌:智能升降、语音控制、多端联动……

把非智能的双电机升降桌,改成我梦想中的智能升降中枢。 查看全文

掘金 · 3 条
掘金

搜索倍增器:推动收入、生产力和 AI 实现规模化

作者:来自 Elastic Nicole Volk 组织通过 AI 驱动的搜索每年获得 1340 万美元的收益,实现 517% 的投资回报率。 金融服务、医疗保健、零售和政府领域的 11 家企业级 E

掘金

react-bits:从 36K Stars 的组件库,看动画交互组件该如何被评估

# react-bits:从 36K Stars 的组件库,看动画交互组件该如何被评估 在前端社区里,动画组件总是很容易成为注意力中心。 一个流动的背景、一段跟随鼠标变化的文字、一次恰到好处的页面

掘金

前端的 AI 学习之路 02 之 Provider 与 Structured Output - 规范化模型输入输出

本文介绍 LLM Provider 适配器:用统一接口隔离厂商差异,支持模型路由与容灾;并讲解结构化输出的 Schema 校验、流式解析和错误边界处理。

新浪财经 · 5 条
新浪财经

8月25日美股成交额前20:存储板块再遭抛售 英伟达七连跌

周一美股成交额第1名英伟达收跌2.91%,成交282.39亿美元。 英伟达股价连续七个交易日收跌,创2022年以来最长连跌纪录。今年以来,英伟达累计涨幅仅约7%...

新浪财经

8月25日外盘头条:美公布对伊朗经济制裁措施 美加贸易战进一步升级 英伟达宣布Groq 3 LPX全面投产

全球财经媒体昨夜今晨共同关注的头条新闻主要有: 1、贝森特要求相关国家切断与伊朗商业往来 否则将面临美国单方面制裁 2、美加贸易争端进一步加剧...

新浪财经

输官司挡不住特朗普针对H-1B 十万美元签证费拟扩大至境内申请人

特朗普政府对部分高技能外国员工签证征收10万美元费用的企图6月被一个联邦法庭驳回。如今,行政当局卷土重来,而且想要通过监管程序来扩大收费范围。

新浪财经

财务披露:特朗普6月购买了埃隆·马斯克旗下SpaceX的股份

根据一份公开的财务披露文件,美国总统特朗普于6月投资了埃隆·马斯克的SpaceX,金额最高达5万美元,使其在一家由其前顾问运营的主要政府承包商中持有财务股份。

新浪财经

贝森特要求相关国家切断与伊朗商业往来 否则将面临美国单方面制裁

美国财政部长斯科特·贝森特威胁称,任何继续与伊朗开展商业往来的国家都可能面临美国的经济惩罚。他宣布启动一场“前所未有”的行动以孤立伊朗并结束持续近六个月的战争。

量子位 · 3 条
量子位

AI重塑商业,信任决定未来商业能走多远丨Visa大中华区总裁张文翊

Visa看到的AI未来

量子位

一篇论文改写AI科研评价规则!中国公司拿出实践数据,双榜第一

全球大厂开始押注的AI科研,终于有了统一标准

量子位

阿里达摩院推出肝癌AI模型,精准识别1厘米微小肿瘤

8月24日消息,阿里巴巴达摩院联合中国医科大学附属盛京医院等机构研发出肝癌诊断AI模型DAMO LiON