资讯与观察
AI 行业动态、工程实践、产品方法和社区故事。
开发者用Forge引擎搭建MTG基准，让大模型组队打万智牌
一位开发者基于开源万智牌规则引擎Forge搭建了LLM对战基准，让多个模型作为玩家进行8人锦标赛。测试发现模型会犯严重失误，例如Kimi在推理中本应保留Karakas未横置以弹回Emrakul，却未执行。该原型支持模型与人类、内置AI或其他模型对战。
SpaceXSI削减Grok Bot使用配额，马斯克称运营成本过高
SpaceXSI正在削减其AI代理Grok Bot的使用限额。马斯克在X上表示，运营成本“相对收入高得不可持续”，而不到两周前他还称该产品是他增长最快的产品。OpenAI和Anthropic也在收紧各自的固定费率计划，以应对AI代理的高成本。
1 分钟 · The Decoder
《纽约时报》起诉 Brave 浏览器开发商侵犯版权
《纽约时报》因版权问题起诉 Brave 浏览器开发商 Brave Software。该报称 Brave 的 AI 摘要功能未经授权抓取其内容并生成摘要，涉嫌侵犯版权。诉讼具体诉求和索赔金额未在报道中明确。
1 分钟 · Hacker News 最新LATEST STORIES
最新内容
Anthropic支出承诺激增至近9000亿美元精选导读
Anthropic的支出承诺已飙升至近9000亿美元。这一数字反映其未来数年算力与基础设施投入规模，具体构成和期限未在报道中详列。
高盛限制交易员和银行家使用部分AI工具精选导读
高盛已禁止交易员和银行家使用部分AI工具。据相关报道，该限制针对的是特定外部AI工具，而非全面禁用。目前尚不清楚具体涉及哪些工具，以及该政策何时生效。
开发者推出 HackerWords：分析 Hacker News 高频用词精选导读
开发者发布 HackerWords 工具，可查看 Hacker News 上的最佳用词及自己的高频词汇。作者称自己是 Karpathy 和文字爱好者。
Gecode 6.5.0 新增开放变量列表支持，可在搜索中动态添加变量精选导读
约束编程求解器 Gecode 发布 6.5.0 版本，新增对开放变量列表的显式支持。此前 Gecode 虽允许在搜索期间添加新变量和约束，但没有专门支持。该功能适用于规划问题等无法预先确定变量数量的场景，例如电池电量限制下的机器人行动规划。
前微软员工回忆Windows 2000发布会彩排：从侧门溜进空荡观众席精选导读
一名前微软员工回忆，在旧金山Windows 2000发布会开场前，他发现一扇未锁的门，溜进主会场空荡的上层观众席观看彩排。当时舞台已布置好10米高的巨型笔记本电脑模型和投影屏幕，开场前明星主持人身份尚未公布。
Windows 2000 发布会彩排期间，有人溜进旧金山礼堂精选导读
Windows 2000 在旧金山发布时，一名现场人员发现礼堂上层一扇未上锁的门，独自溜进空荡的观众席看彩排。舞台当时已搭好 10 米高的巨型笔记本电脑模型和两侧投影屏。发布会的明星主持人身份在活动前尚未公布。
代码托管平台推出新功能：仅编辑文本即可创建拉取请求精选导读
一项新功能允许开发者通过直接编辑文本创建拉取请求，无需其他操作。该功能旨在简化提交流程。
Google、OpenAI、微软和Anthropic支持共享robots.txt标准精选导读
Google、OpenAI、微软和Anthropic共同支持一项共享robots.txt标准，用于规范AI爬虫访问网站内容。该标准旨在让网站所有者通过统一文件控制哪些AI系统可以抓取其内容。四家公司均表态支持这一做法。
aaitor 发布 skill-video-studio v1.0.1，用 Claude Code 技能制作产品视频精选导读
aaitor 发布 skill-video-studio v1.0.1，这是一个由 /devrel-video Claude Code 技能驱动的本地视频制作工作区。它通过 Playwright CLI 抓取真实产品交互，用 HyperFrames 合成标题卡、章节和 CTA，再用 FFmpeg 完成最终输出。用户可从静默演示视频起步，按需添加旁白、音乐、字幕或出镜画面。