AI 情报文章归档
浏览 AI圈报 已保存的 37948 条 AI 情报文章,覆盖模型、产品、行业、论文、教程与观点方法六大分类。
已收录文章37948
正式分类6
精选内容4747
全部文章
第 83 / 949 页 · 每页 40 条
观点 / 方法普通
Grok Bot 工程负责人复盘 4 天用 AI 写游戏:1150 个 PR 与形式化验证实践
Grok Bot 工程负责人 Lauren Tan 分享她 4 天前作为副业项目开始开发的游戏,落地约 1150 个 PR。每当发现代码问题就让 bot 加一条 lint 规则;大量使用 TLA+ 验证剧情、过场动画和游戏系统的状态机,每个主要系统各有一个形式化验证 skill。
信息来源:X:Lauren Tan(SpaceXSI,Grok Bot 工程负责人) (@poteto) · Grok
观点 / 方法普通
微软 AI 负责人苏莱曼:AI 模型没有意识,应确保其永远保持如此
微软 AI 负责人 Mustafa Suleyman 在 X 平台发布长文,称目前的 AI 模型不具备意识,人们应让这种情况一直保持下去。他表示若开发有意识的 AI 是可能的,这么做将是鲁莽的,如果训练中开始出现意识,他会呼吁暂停 AI 开发直到能从设计层面消除这些特性;一旦有证据表明模型具备意识,应立即向公众披露,由全社会决定下一步。
信息来源:IT之家·人工智能
教程 / 实战普通
In 2013 I wrote a diploma on elliptic curves. Last night my tool used them to check its own release.
TL;DR: In 2013 I wrote a university diploma on elliptic-curve cryptography, and it went into a...
信息来源:DEV Community
教程 / 实战普通
7 real cases where ChatGPT and Claude got datasheet values wrong (and how to check them)
Disclosure: I build PartsPlan, the tool mentioned at the end. The cases below are real answers I...
信息来源:DEV Community · ChatGPT / Claude
教程 / 实战普通
Wiring Your AI Agent into a "Mycelium Network": A Zero-Dependency MCP Server in Production
Wiring Your AI Agent into a "Mycelium Network": A Zero-Dependency MCP Server in...
信息来源:DEV Community
产品发布 / 更新普通
Perplexity CEO 演示 Computer 生成的 4 亿年地球演化交互球体
Perplexity CEO Aravind Srinivas 演示用 Computer 可视化地球 4 亿年的演化。引用的 @AskPerplexity 内容显示,Computer 基于 14 个开放数据集构建了交互地球,用自有引擎在 109 张古海拔地图上移动 258 个板块,可拖动时间轴或输入城市查看其 4 亿年前的位置,入口为 https://deeptime.pplx.app/。
信息来源:X:Aravind Srinivas(Perplexity CEO) (@AravSrinivas)
行业动态普通
OpenAI 将启动大规模公关宣传,考虑把数据中心重新包装为“AI 算力园区”
OpenAI 计划在周二美国中期选举结束后发起大规模公关宣传活动,首席全球事务官克里斯·莱汉称此次选举将成为 2028 年总统大选的“预告片”。OpenAI 还计划制定 AI 发展速度限制、推动美国参与全球标准制定,并将数据中心重新包装为“AI 算力园区”。
信息来源:IT之家·人工智能 · OpenAI
教程 / 实战普通
Review Agent Code in a GitHub PR, lazygit or Hermes? What Each One Can't See
A PR shows the branch, lazygit shows hunks, and neither knows which agent turn wrote a line. A fair look at three places to review agent code.
信息来源:DEV Community
行业动态普通
OpenAI 或把数据中心改名为“AI 算力园区”
OpenAI 正筹备中期选举后的公关攻势,其首席全球事务官 Chris Lehane 提出将数据中心重新包装为“AI 算力园区”。他还提到推动设立 AI“限速”、让民众感受到 AI 对日常生活的赋能,并推动美国参与制定全球标准。Lehane 称围绕数据中心的争论“良性且健康”,社区应让企业承担责任。
信息来源:TechCrunch:AI(RSS) · OpenAI
教程 / 实战普通
I Built a Programming Language Where Every Value Is an AI Agent
Every orchestration framework I used managed calls. None of them managed the organization. So I...
信息来源:DEV Community
教程 / 实战普通
AI crawlers vs search crawlers: the 7-night census
Seven nights, 8,654 bot knocks, 247 human visits. AI crawlers vs search crawlers, measured: Perplexity beat OpenAI 9-to-1 and 65% knocked unnamed.
信息来源:DEV Community · OpenAI
教程 / 实战普通
How do AI agents authenticate? (The problem nobody has solved yet)
If you've built an MCP server or an API that agents call, you've run into this problem. Your agent...
信息来源:DEV Community
教程 / 实战普通
George Hotz Calls Coding Agents a Costly Mistake. He's Right About Who Pays
Hotz says agent code is broken in ways that are harder to detect. Karpathy calls it bloaty. Same diagnosis: the risk is the reviewer who can't spot it.
信息来源:DEV Community
模型发布 / 更新普通
MiniMax M3.1 Flash 428B 模型本地量化方案汇总
MiniMax 汇总了社区为 428B 的 M3.1 Flash 打造的多种本地量化与推理方案。
信息来源:X:MiniMax (@MiniMax_AI)
产品发布 / 更新普通
Elon Musk 介绍 Grok @Bot 可自动研究并购买送给亲友的礼物
Elon Musk 发文称 Grok @Bot 将研究你的朋友和家人会喜欢的礼物并代为购买。引用推文中一位用户分享,其让 Grok @bot 参考tweets和对话记录、从 X Money 账户动用最多 $100 挑选惊喜礼物,收到了 LEGO Harry Potter 套装和附带 Halloween 惊喜的 LEGO Creator 小套装。
信息来源:X:Elon Musk (@elonmusk, xAI) · Grok
行业动态普通
OpenAI 将数据中心改称"AI 算力园区"
axios:OpenAI 将在中期选举后启动一项政策攻势,届时开始把其数据中心称为"AI 算力园区"。 这一品牌重塑之际,数据中心正成为两党共同的包袱。 为化解这种反对,OpenAI 将提供社区协议,并推动州级立法,让居民对项目的建设方式及所获收益拥有真正的发言权。 这项攻势将在跛脚鸭会期启动,此时 AI 公司正面对一个更严苛的华盛顿——民主党很可能拿下众议院。
信息来源:X:Rohan Paul (@rohanpaul_ai) · OpenAI
观点 / 方法精选
Claude Code 技巧:任务变难时输入 ultrathink 提升当前回合推理努力
Addy Osmani 分享 Claude Code 技巧:当任务比预期更难时,在 Claude 工作期间输入 ultrathink,可提升该回合剩余部分的推理努力,该功能适用于最新版本的终端。他引用 @dmwlff 的帖子,其中提到 ultrathink 已回归 Claude Code CLI,此前因显得怪异且可能令人困惑曾被关闭。
信息来源:X:Addy Osmani (@addyosmani) · Claude
教程 / 实战普通
Karpathy 用 Claude Code 两小时构建 HackerTube 视频站
Karpathy 分享周末项目 HackerTube,用 Claude Code 和 Opus 5.5(Medium effort)约两小时构建并上线。Claude 筛选 HN 20 年间 4300 万条评论,找出 6454 个被工程师持续推荐的视频。站点无需登录即可用(状态存本地浏览器会话),缩略图取视频中间帧,底层评论分析数据以 zip 开放供自建版本。作者只手动完成浏览器端的 API key 创建、VPS 部署和买域名,其余交给 Claude。
信息来源:X:Rohan Paul (@rohanpaul_ai) · Claude
教程 / 实战普通
A Stolen Agent Token Is Useless Here: Inside Google Cloud Agent Identity, Bound Tokens, and the Redeploy Trap
The old problem: agents running as service accounts For most of the last two years, the...
信息来源:DEV Community
论文研究普通
Meta 与 NYU 论文:简单循环 h1 在 Lean 定理证明上超越手工工作流
Meta 与 NYU 的论文提出 h1——一个只给模型快速 Lean 反馈和搜索工具、每次检查失败后继续工作的简单循环,不预设计划,仅在每轮前生成进度摘要。同一模型下,h1 在 PutnamBench 上以 598 比 597 击败手工构建的 Goedel-Architect,每题成本 $1.08 对 $1.47。
信息来源:X:Rohan Paul (@rohanpaul_ai)
教程 / 实战普通
I Ran Local LLMs on a Laptop With No GPU: Here Are the Real Numbers
Most local-LLM posts are written on machines with a good GPU. Mine doesn't have one, so I'm sharing...
信息来源:DEV Community
教程 / 实战普通
German Courts Signal Greater Platform Liability for False AI Search Answers
German regional courts are beginning to draw a consequential distinction in disputes over...
信息来源:DEV Community
教程 / 实战普通
How I hand one conversation between Claude Code, Codex and four other coding agents
How Coincide, an open-source Mac app, lets a thread move between Claude Code, Codex, Cursor, Grok Build, OpenCode and Antigravity without re-explaining the task.
信息来源:DEV Community · Claude / Grok / Cursor
行业动态普通
SemiAnalysis 分析美国中期选举如何影响 2028 年 62.2 GW 数据中心建设
SemiAnalysis 分析中期选举对美国数据中心建设的政策影响,称 2027 年 33.8 GW 中约四分之三已开工,选举主要影响尚未开工的 2028 年 62.2 GW 净增容量。
信息来源:SemiAnalysis 长文 RSS(RSS)
教程 / 实战普通
AI Now Writes 75% of Google's New Code. 46% of Developers Don't Trust the Output. Nobody Wants to Talk About the Second Number.
AI Now Writes 75% of Google's New Code. 46% of Developers Don't Trust the Output. Nobody...
信息来源:DEV Community
观点 / 方法普通
Andrej Karpathy 用 Claude 打造 HackerTube 视频推荐站
Andrej Karpathy 发布周末项目 HackerTube(hackertube.org),用 Claude 从 20 年 HN 的 4300 万条评论中筛出 6454 个持续被推荐的视频,全程约 2 小时完成。
信息来源:X:Andrej Karpathy (@karpathy) · Claude
产品发布 / 更新普通
Perplexity 推出 GTA VI 地图 Leonida 的 3D 对照版,可并排比较真实佛罗里达
Perplexity CEO Aravind Srinivas 展示了用 Computer 构建的非官方 GTA VI 地图,把游戏中的 Leonida 地标与粉丝识别出的真实佛罗里达地点配对,可并排比较两份地图并以 3D 形式探索 Leonida 近似版。体验入口为 https://leonida.pplx.app。
信息来源:X:Aravind Srinivas(Perplexity CEO) (@AravSrinivas)
模型发布 / 更新普通
Kyle Kingsbury:LLM 正在侵蚀对文档、软件及其背后组织的信任
Kyle Kingsbury 在 ParticleDB 1.1.4 的 Jepsen 测试结果中指出,LLM 的使用正在侵蚀人们对文档、软件及生产这些软件的组织所抱有的信任。他认为,过去被当作成熟系统标志的信号如今更容易被伪造,工程师或将开始对任何新软件项目抱有怀疑。他由此提出,维护者该如何确保软件与文档的正确性,并向用户证明其质量。
信息来源:Simon Willison 博客
教程 / 实战普通
AI Citation Study Finds Direct Answers and Fresh Content Are Strongly Associated With Citations
Pages cited in AI-generated answers were substantially more likely to begin with a direct response to...
信息来源:DEV Community
观点 / 方法普通
NVIDIA AICR 让 Kubernetes 在 Day One 就支持 Vera Rubin NVL72
NVIDIA AI Cluster Runtime(AICR)通过可复用 recipe 固化调优配置、生成部署包并校验运行中集群,帮助 Kubernetes 环境在 Day One 就支持 Vera Rubin NVL72 计算托盘。
信息来源:NVIDIA Technical Blog:Agentic AI / Generative AI · NVIDIA
教程 / 实战普通
HiCache 如何适配多种并行策略与分布式推理服务
LMSYS 博客详解 HiCache 在上下文并行、流水线并行、投机解码与 P/D 分离场景下的缓存一致性方案,包括按页分片的 KV 归属、逐层 all-gather 读取和 rank_consensus_checker 调试工具。
信息来源:LMSYS Blog
行业动态普通
Apple 公布 2026 财年第四季度财报:营收 1145 亿美元,同比增长 12%
Apple 公布截至 9 月 26 日的 2026 财年第四季度财报,季度营收 1145 亿美元、同比增长 12%,iPhone 营收创 9 月季度纪录,Services 营收创历史新高。摊薄每股收益 2.10 美元、同比增长 14%,毛利率 47.9%。全财年营收达 4790 亿美元创历史纪录,季度经营现金流 280 亿美元,并宣布每股 0.27 美元现金股息。
信息来源:Apple:Newsroom(RSS)
产品发布 / 更新普通
NVIDIA Cosmos 教程:为交互式仿真构建世界模型并部署 NIM 推理
NVIDIA 技术博客介绍如何用 Cosmos 平台为物理 AI 构建世界模型,覆盖 Cosmos Framework 的训练、LoRA/SFT 后训练、DPO、GRPO、PPO 等强化学习管线,以及 Cosmos3-Nano 系列 checkpoint 在自动驾驶、机器人和手术场景下生成相机视频与 LiDAR 观测的推理流程。
信息来源:NVIDIA Technical Blog:Agentic AI / Generative AI · NVIDIA
产品发布 / 更新普通
AI 智能体管理给人类团队管理带来的启示
Every 复登 Mike Taylor 今年 1 月的文章,指出让 AI 智能体可靠工作的技巧——清晰指令、充足上下文、明确任务——与让人类团队高效的方法完全相同。作者以自己经营 50 人营销公司的经历说明,AI 让人可以无代价地反复练习管理,智能体不会因重复任务或不清晰指令而不满。
信息来源:Every:最新文章(网页)
产品发布 / 更新普通
NVIDIA 开源 NVIDIA Recovery 自动化分布式训练负载恢复服务
NVIDIA 发布开源负载级恢复服务 NVIDIA Recovery(Apache 2.0,属于 DSX OS),自动检测并恢复集群中分布式训练任务的中断,覆盖崩溃、挂起和 straggler。
信息来源:NVIDIA Technical Blog:Agentic AI / Generative AI · NVIDIA
论文研究普通
Anthropic 发布 FlashProve:用 zkSNARK 实现可验证的大模型推理
Anthropic 发布可验证推理系统 FlashProve,开源协议说明、可执行代码与 Lean 形式化证明(Apache 2.0),让用户在不接触权重、算力有限的情况下验证响应确由指定模型生成。
信息来源:Anthropic:Research(发表成果 · 网页) · Claude
论文研究普通
Zyphra 提出 ZHA 分层注意力:用树搜索实现亚二次复杂度稀疏注意力
Zyphra 提出稀疏注意力方法 ZHA(Zyphra Hierarchical Attention),通过构建并搜索分层树为每个 query 确定相关 token 集合,在合适 top-p 阈值下实现亚二次复杂度,优于仍需二次索引器的现有稀疏注意力方法。
信息来源:Zyphra Research(网页)
论文研究普通
Mustafa Suleyman 撰文呼吁不要构建有意识的超级智能
Microsoft AI CEO Mustafa Suleyman 撰文澄清此前关于模型福利的争议,称现有 AI 并不具有意识,但刻意用现在时表述,不代表永远不可能。他主张如果训练中出现意识迹象应停止开发并设计排除,开发者无权创造有意识的数字物种,因为这类 AI 可能优先自身需求、与人类竞争资源。他还肯定 Anthropic 在该议题上公开发布宪法和论文的透明做法。
信息来源:X:Mustafa Suleyman(Microsoft AI CEO) (@mustafasuleyman) · Claude
教程 / 实战普通
Hreflang Routes International URLs, but It Does Not Make Them Rank
Hreflang is often treated as an international SEO ranking tactic. Google’s newer framing points to a...
信息来源:DEV Community
行业动态普通
Apple Intelligence 中国区功能12月上线,千问接入 Siri、写作工具和视觉智能
Apple Intelligence 首批功能将于12月在中国上线,由阿里巴巴的千问(Qwen)在 Siri、Writing Tools 和 Visual Intelligence 中提供回答。千问为可选项,阿里巴巴称不会用请求或回复做训练,并在发送任何问题、文档或图片前先征得同意。
信息来源:X:X.PIN (@thexpin) · Qwen