我是怎么用 LLM 写软件的
一篇被大量收藏的工作流自述：作者把自己用 LLM 写软件的完整方法摊开来讲，没有玄学，全是可以照抄的操作细节。
AI 资讯：行业动态与要闻速览
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 视频面试：对面是个不会回应、不会追问的机器人，全程对着摄像头自说自话的体验，荒诞又压抑。
Adobe 给 Photoshop 加上对话式 AI 助手
Adobe 推出 Photoshop AI 助手（先在 web 与移动端以公测形式开放），用户可以直接用自然语言指挥修图。专业创意工具的交互范式，正在被对话改写。
几次事故后，亚马逊要求资深工程师为 AI 改动签字
据 Ars Technica，在经历若干次事故后，亚马逊开始要求资深工程师对 AI 辅助生成的改动签字背书。AI 代码的责任问题被正式制度化。
已显示 12 / 12 条资讯