Mistral 发布 Forge
Mistral 推出新产品 Forge，欧洲实验室在工具层的又一次落子。它家的产品节奏一向低调，但每一步都踩在企业需求上。
AI 资讯：行业动态与要闻速览
AirPods Max 2 的消息
AirPods Max 2 的相关消息冲上了 HN 热榜。耳机新闻本身和 AI 关系不大，但苹果在音频设备上的算力布局值得多看一眼。
我是怎么用 LLM 写软件的
一篇被大量收藏的工作流自述：作者把自己用 LLM 写软件的完整方法摊开来讲，没有玄学，全是可以照抄的操作细节。
Leanstral：面向形式化证明的开源编码代理
开源代理 Leanstral 把宝押在形式化验证上：让 AI 写代码的同时产出 Lean 证明，「可信」二字不靠嘴说，靠定理检查器把关。
LLM 架构图鉴
一个把主流大模型架构画成统一格式图解的项目在 HN 上广受欢迎：从 GPT 到 MoE 到各家变体，一页页翻下来像逛博物馆。
Claude 推出三月用量促销
Anthropic 给 Claude 用户发了三月限时的用量促销。AI 订阅开始打促销牌，这个动作本身比折扣内容更有信息量。
AI 账单越滚越大，Meta 酝酿大规模裁员
报道称 Meta 正在计划大范围裁员，与之并行的是 AI 基建开支的持续膨胀。一边万亿投资，一边万人裁员，这道算术题值得细看。
「我这台电脑能跑 AI 吗」有了一键查询站
一个叫 canirun.ai 的小网站火了：输入你的硬件，它告诉你能跑哪些本地大模型、什么量化档位、大概多快。朴素但解痒。
AI 出错，无辜祖母在北达科他被关数月
一名清白的老人因 AI 系统在一起欺诈案中的错误判定被羁押数月。又一起算法草率叠加程序失守酿成的冤案。
BitNet：1 比特大模型的推理框架
微软开源的 BitNet 把大模型权重压到极致的 1 比特级别，并提供配套推理框架，挑战「大模型必须吃显存」的成见。
我们是怎么攻破麦肯锡 AI 平台的
安全研究者公开了攻破麦肯锡内部 AI 平台的全过程。咨询巨头的 AI 系统被掀开，企业级 AI 应用的安全短板暴露无遗。
我被一个 AI 机器人面试了
The Verge 记者亲历 AI 视频面试：对面是个不会回应、不会追问的机器人，全程对着摄像头自说自话的体验，荒诞又压抑。
已显示 12 / 12 条资讯