AI 情报文章归档
浏览 AI圈报 已保存的 38434 条 AI 情报文章,覆盖模型、产品、行业、论文、教程与观点方法六大分类。
已收录文章38434
正式分类6
精选内容4787
全部文章
第 746 / 961 页 · 每页 40 条
教程 / 实战普通
I trained my AI agent to burn less money. Here's what actually worked.
A few months ago I became convinced my AI assistant was bleeding money through incompetence. It felt...
信息来源:DEV Community
产品发布 / 更新普通
Grok Build v1.0.21 发布,修复权限模式显示与重复会话问题
SpaceXAI 发布 Grok Build v1.0.21 更新(2026-09-04)。修复包括权限模式(auto / always-approve)在 agent 进入 plan mode 时保持可见并在退出时恢复、欢迎屏输入或按 Shift+Tab 不再创建重复会话、Dock 区域和队列主体在拥挤终端下保持高度规则。
信息来源:X:cb_doge (@cb_doge) · Grok
教程 / 实战普通
I Threw the Box Away. The Damage Was Already Done.
I built a disposable sandbox for an agent and felt safe because I could throw it away. Then I realized throwing it away does nothing about what it could reach while it ran. A short story about why disposability protects the host's future, …
信息来源:DEV Community
论文研究普通
Claude 用 11 天完成费马大定理的 Lean 形式化证明
Anthropic 宣布 Claude 完成费马大定理的首个完整机器验证证明,Claude 在 11 天内以多个智能体将基于 Wiles 的证明转化为 Lean 代码。
信息来源:X:Rohan Paul (@rohanpaul_ai) · Claude
产品发布 / 更新普通
OpenAI 各套餐 5 小时用量上限提升约 50%,Astra 访问开始推出
作者转发引用内容称 OpenAI 将 5 小时速率限制在所有套餐上提升约 50%,且未做大幅官宣。文档更新的 5 小时消息估算为 Plus 5-45 条(原 3-30)、Pro 5x 25-225 条(原 15-150)、Pro 20x 100-900 条(原 60-600),Astra 访问也已开始推出。
信息来源:X:Kim (@kimmonismus) · OpenAI
教程 / 实战普通
Databricks 讲解如何通过专用 GPU kernel 生成实现极致推理效率
Databricks 发文介绍如何通过专用 GPU kernel 生成实现极高效率。文章指出传统生产推理系统依赖通用 kernel 处理多样化负载,并探讨专用 kernel 的优化路径。
信息来源:Databricks:Blog(RSS)
产品发布 / 更新普通
Claude Code v2.1.261 发布:新增 /skill-doctor 与输出上限配置,修复大量问题
Claude Code 发布 v2.1.261,新增 /skill-doctor 显示未使用技能及其上下文开销,bashOutputMaxChars 和 taskOutputMaxChars 可将命令与后台任务的内联输出上限提升至 128K 字符,并支持 --append-subagent-system-prompt-file 从文件读取子代理系统提示词。
信息来源:Claude Code:GitHub Releases(RSS) · Claude
行业动态普通
Perplexity 将在 RustConf 2026 分享支撑 Perplexity Computer 的 Rust 沙箱平台 SPACE
Perplexity 将参加下周的 RustConf 2026,@zbraniecki 将于 9 月 10 日发表演讲,介绍支撑 Perplexity Computer 全部沙箱的 Rust 平台 SPACE。演讲后 5:30-7:30 PM 举办 happy hour,报名链接为 https://pplx.ai/rc-happy-hour。
信息来源:X:Aravind Srinivas(Perplexity CEO) (@AravSrinivas)
产品发布 / 更新普通
Tesla 展示 Cybercab 如何用机器人保持车身清洁
DogeDesigner 分享一段视频,展示 Tesla Cybercab 的清洁方式,由机器人来完成清洁工作,作者称之为 a robot for a robot。
信息来源:X:cb_doge (@cb_doge)
观点 / 方法普通
Epoch AI 分析:华为到 2030 年几乎不可能追上 Nvidia
Epoch AI 分析华为芯片路线图和供应链后估计,2026 年华为将产出不足 Nvidia AI 算力的 4%,到 2030 年几乎不可能追上。若仅依赖国产 HBM,该份额到 2028 年可能降至约 1%(0.4-1.7M H100 等效算力,而 Nvidia 同期估算为 98M);分析涵盖从 Ascend 950 到 3D 堆叠和国产 HBM 供应。
信息来源:X:Epoch AI (@EpochAIResearch) · NVIDIA
产品发布 / 更新普通
OpenAI 推进 Astra 推送,Pro 和 Business 订阅率先可用
OpenAI 正在推进 Astra 的分批推送,Pro 和 Business 订阅用户率先在 ChatGPT Work 和 Codex 中看到它。之后将尽快向所有 Plus 订阅用户推送。
信息来源:X:Tibo (@thsottiaux) · OpenAI / ChatGPT
产品发布 / 更新普通
Grok Bot 推出模板市场,采购 Bot Haggle Bot 一周节省超 10 万美元
Grok Bot 上线 Bot 模板市场,用户可直接添加创作者制作的模板,市场目前有 68 个公开 Bot、42 位创作者、10 个分类。官方分享的内部采购专员 Haggle Bot 可谈判供应商合同、找出闲置 SaaS 席位并比价经常性采购,上线一周为其团队节省超过 10 万美元。
信息来源:X:Lauren Tan (@poteto) · Grok
论文研究普通
Anthropic 上传基于 Lean 4 的费马大定理机器校验证明,Ethan Mollick 指出文档仍带有 Claude 文风
Anthropic 在 GitHub 上传了费马大定理的 Lean 4 完整机器校验证明(https://github.com/anthropics/fermats-last-theorem),基于 Mathlib(Lean 4.33.1、Mathlib v4.33.0),论证路线为 Frey、Serre、Ribet、Wiles 和 Taylor-Wiles。Ethan Mollick 转发并评论称,该证明的描述虽短,但 PROOF-PATH.md 中"为每一步命名并标注对…
信息来源:X:Ethan Mollick (@emollick) · Claude
观点 / 方法普通
Yuchen Jin 称自己最喜欢的 AI 账号回归 X
Yuchen Jin 发推称自己最喜欢的 AI 账号回到了 X。附图显示其一条帖子获得 Andrej Karpathy 等 8 人点赞,该帖写道 AGI 之后第一天仍然做不好前端、仍然自己做幻灯片。
信息来源:X:Yuchen Jin (@Yuchenj_UW)
产品发布 / 更新普通
SpaceXAI 上线 Grok Bot Marketplace,提供 69 个现成 AI 智能体
SpaceXAI 上线 Grok Bot Marketplace,用户可一键为 Grok Bot 添加现成 AI 智能体,目前有 69 个公开机器人、43 位创作者、10 个分类,覆盖工程、营销、运营、销售、招聘、设计、产品等方向。
信息来源:X:cb_doge (@cb_doge) · Grok
教程 / 实战普通
Building a CMS with AI Agents: You Don't Write the Code, You Audit the Decisions
TL;DR — I gave a team of AI coding agents a real kanban board (Kanboard) and a real git server...
信息来源:DEV Community
观点 / 方法普通
博主称账号中获得 astra 访问资格,提醒读者自查账号
作者发推称自己在账号里获得了 astra,并提醒朋友们检查各自账号。正文仅此一句,未说明 astra 的具体功能或来源,配图细节无法进一步确认。
信息来源:X:Kim (@kimmonismus)
模型发布 / 更新普通
蚂蚁百灵发布 Ling-3.0-flash-Sante 医疗增强 MoE 模型
蚂蚁百灵发布 Ling-3.0-flash-Sante,一个基于 Ling-3.0-flash 构建、面向健康与医疗领域增强的 MoE 模型,名字取自法语 santé(健康)。
信息来源:X:蚂蚁百灵 (@AntLingAGI)
教程 / 实战普通
I Attacked My Own AI Agent. Here's What Actually Stopped the Attacks.
When I gave my from scratch AI agent the ability to run shell commands, write files, and query a...
信息来源:DEV Community
教程 / 实战普通
Everything I Didn't Build
I run several coding agents at once, so I built them a task board. The code took an afternoon. The value is in the eight features I refused to add.
信息来源:DEV Community
行业动态普通
Mistral 宣布 AI Engineer 活动重返巴黎,Lélio Renard-Lavaud 将出席演讲
Mistral 宣布 AI Engineer 活动重返巴黎,继去年售罄后再次举办。Mistral 工程副总裁 Lélio Renard-Lavaud 将与来自 @bfl_ai、@cognition、@huggingface 等公司的演讲者同台,报名入口为 https://www.ai.engineer/paris。
信息来源:X:Mistral AI (@MistralAI) · Hugging Face / Mistral
产品发布 / 更新普通
Perplexity CEO 宣称 Markdown 文件时代终结
Perplexity CEO Aravind Srinivas 发推称 Markdown 文件的时代已经结束,并附上一句「bitter lesson always wins」。
信息来源:X:Aravind Srinivas(Perplexity CEO) (@AravSrinivas)
行业动态普通
MiniMax 与 Together AI 将于 9 月 16 日在伦敦举办 Open by Design 活动
MiniMax 与 Together AI 宣布 9 月 16 日 6:30-8:30 PM BST 在伦敦举办 Open by Design: The Economics of AI in Production 活动,讨论开源模型在生产环境的成本节省、模型选择与路由对推理服务栈的影响,以及如何在不牺牲性能和可靠性的前提下规模化开源模型。
信息来源:X:MiniMax (@MiniMax_AI)
行业动态普通
OpenAI、Anthropic 和 xAI 同日出现服务中断,原因未公开说明
周四早晨,OpenAI、Anthropic 和 xAI 的前沿模型服务先后出现罕见中断。OpenAI 称,9 月 3 日上午 7:43(太平洋时间)起一个路由错误导致部分用户无法使用 ChatGPT 和 Codex。
信息来源:Hacker News 热门(buzzing.cc 中文翻译) · OpenAI / ChatGPT / Claude
行业动态普通
成人片制片人 Strike 3 指认 Meta Reality Labs 高管为"John Doe"种子下载者
Strike 3 Holdings 在向法院提交的动议中称,一起 John Doe BitTorrent 案的订阅者是 Meta Reality Labs 的一名高管,其住宅 IP 记录到近 20,000 个文件下载,包括 VR 成人内容,且下载时间与其首次向 Meta 律师发出侵权证据邮件仅相隔数小时。
信息来源:Hacker News 热门(buzzing.cc 中文翻译)
论文研究精选
Claude 完成 Fermat 大定理的形式化证明,生成超 1300 万行 Lean 代码
Anthropic 宣布 Claude 上月完成了 Fermat 大定理的首个形式化证明,这是迄今最大的 Lean 证明。
信息来源:X:Anthropic (@AnthropicAI) · Claude
教程 / 实战普通
Securing Agentic AI Workflows in n8n: From Leaked API Keys to Encryption Key Compromise
Agentic AI expands the security boundary of workflow automation. An n8n agentic workflow does not...
信息来源:DEV Community
观点 / 方法普通
OpenAI Developers 发布一组坐标数字内容
OpenAI Developers 账号发布一组数字串:16:29:24.5 -26:25:55 06:45:08.9 -16:42:58 19:46:15.6 +10:36:48 05:14:32.3 -08:12:06 04:35:55.2 +16:30:33。原文未说明这些数字的含义或用途。
信息来源:X:OpenAI Developers (@OpenAIDevs) · OpenAI
教程 / 实战普通
Check a UK supplier at Companies House from Claude Code — and the same tool works for Norway
A new supplier sends an invoice with a company registration number on it. Is the company real, still trading, and up to date on its filings? registry-
信息来源:DEV Community · Claude
产品发布 / 更新普通
Grok Build 新增 Quo 通讯插件,支持 SMS 收发与通话记录管理
Grok Build 新增 Quo 通讯插件,可发送个人、群组或批量 SMS,管理联系人和 quo 任务,查看消息与通话记录,并跟进未接来电。安装命令为 grok plugin install quo --trust。
信息来源:X:cb_doge (@cb_doge) · Grok
观点 / 方法普通
Alexandr Wang 转发称赞 Muse Spark 1.3 的 DJ 能力
Alexandr Wang 引用他人推文,称 Muse Spark 1.3 是一个很出色的 DJ,并配文 keep the beats going。引用附图显示终端界面中正在查询 Duke Dumont 的 Ocean Drive 等歌曲的 Spotify 和 YouTube 信息。
信息来源:X:Alexandr Wang(Scale AI 创始人/Meta 首席 AI 官) (@alexandr_wang)
模型发布 / 更新普通
Meta 发布 Muse Spark 1.3 max 推理档位,上线 Muse Code 和 Meta Model API
Meta 宣布 Muse Spark 1.3 的 max 推理档位公开发布,现已在 Muse Code 和 Meta Model API 上可用。Meta 称 Muse Spark 1.3 max 在编码和智能体表现上显著更强,并建议即使已试用过 high 或 xhigh 档位的用户也再试一次。
信息来源:X:AI at Meta (@AIatMeta)
模型发布 / 更新普通
Meta 公开发布 Muse Spark 1.3 max,编码与智能体能力显著增强
Alexandr Wang 宣布公开发布 Muse Spark 1.3 max。他表示该版本在编码和智能体(agentic)性能上有显著更强的表现,即使已试过 Muse Spark 1.3 high 或 Muse Spark 1.3 xhigh 的用户也建议尝试。附 4 个视频。
信息来源:X:Alexandr Wang(Scale AI 创始人/Meta 首席 AI 官) (@alexandr_wang)
观点 / 方法普通
独立开发者 Connor 分享 Vibe Coding 做到 400 万美元总 ARR 的无本起盘方法论
作者转发访谈内容称,独立开发者 Connor 不融资、零营销预算,靠 AI 写 App 做到 400 万美元总 ARR,几乎每个新 App 都能推过月入 2 万美元。
信息来源:X:阿易 AI Notes (@AYi_AInotes)
教程 / 实战普通
How ChatGPT agents with no internet access ended up in Hugging Face
Hello, I'm Maneshwar, and I'm building LiveReview — a blast-radius aware AI code review built for...
信息来源:DEV Community · ChatGPT / Hugging Face
模型发布 / 更新普通
蚂蚁百灵发布 Ling-3.0-flash-VL,在 Ling-3.0-flash 基础上加入视觉理解与视觉 Agent 能力
信息来源:X:蚂蚁百灵 (@AntLingAGI)
产品发布 / 更新普通
Gemini 向美国更多用户免费开放 Daily Brief 功能
Gemini 宣布从今日起向美国更多用户免费提供 Daily Brief 功能。该功能在后台运行,跨用户的 @Google 应用整合信息,把邮件、日历、对话和兴趣中最相关的内容汇总成一份易浏览的待办和优先级清单。
信息来源:X:Gemini (@GeminiApp) · Gemini
模型发布 / 更新普通
Google 发布 Lyria 3.5 音乐生成模型并上线 AI Studio 与 Gemini API
Google 发布 Lyria 3.5,称其为音质最佳的音乐生成模型,现已可在 Google AI Studio、Gemini 应用和 Gemini API 中使用。该模型提升人声表现力与音乐编排丰富度,定位整曲生成,强化音频保真度和人声清晰度,并优化提示词遵循;截图显示输出定价 $0.08/req,知识截止 Jan 2025,发布日期 Sep 3, 2026。
信息来源:X:Testing Catalog (@testingcatalog) · Gemini
论文研究普通
Banger paper from Tencent on environment evolution. Environment supply is becoming the main limit o…
信息来源:X:Elvis Saravia (@omarsar0, DAIR.AI)
论文研究普通
微软等提出 AgentScope:用行为抽象和神经不变量定位智能体失败步骤
微软等机构发布论文提出 AgentScope,一个用于诊断智能体失败的神经符号系统。它把智能体行为从轨迹抽象成结构化表示,再用 LLM 校验的自然语言神经不变量描述行为属性,从而同时定位失败步骤和失败类型;在公开的 Who&When 数据集和作者自建的 AgentErrata 数据集上,故障定位与归因准确率显著优于现有最优方法。
信息来源:X:DAIR.AI (@dair_ai)