斯坦福两位教授和 François Chollet 一起聊 AI 安全,把飞机防撞系统的验证方法搬到 LLM 上,还有用 Lean 证明代码正确的 CSLib 演示,硬核但好懂。
#LLM
Gergely Orosz 发推怼了那些嘲讽 LLM 重度使用者是"AI psychosis"的人,Tom Blomfield 也在评论区附议,挺有意思的立场之争。
医生和用 AI 问诊的朋友都该看看:这项研究直接对比了 LLM 和医生开出的诊疗费用,差异在哪、差多少,数据说话。
一个用 Reddit 真实说服对话测 LLM 社交智能的新基准,发现模型在行动上赢过人类、在读懂人心上还差一截,论文细节挺有意思。
这篇论文教你用 LLM 读工程师备注来清洗工业传感器数据,虚拟流量计的 MAPE 直接从 7.1% 降到 5.4%,做工业机器学习的可以看看思路。
物理学家让 8 个大模型当宇宙学研究员,自动发明引力理论并用 DESI 和 DES 数据打分,最好的模型拿到了 ΔAIC=-3.328。
一篇把 LLM 用于自适应码率、拥塞控制这类网络任务的研究,NetGRPO 比 NetLLM 高 23.6% QoE,代码和模型权重都开源了。
SambaNova 拉上 Stanford、CMU 等四所高校发了篇论文,专门研究智能体跑长任务为什么会掉链子,做 agent 的可以看看。
斯坦福 Chris Manning 发推说 LLM 和视觉世界模型可能没那么不同,正好回应最近关于语言模型有没有世界理解的那场争论。
一条关于为什么顶尖 AI 实验室招人看 LLM 使用品味的推文,作者连 GPU 内核和 Minecraft 克隆该选哪个练手都给了说法,做 AI 工程的人可以看看。
a16z 的 Casado 和 MakerMaker.AI CTO 聊怎么识别真假 RSI:关键看模型自己是不是被优化的对象,判断框架很实用。
跑了120万次调用才发现,temperature 0 的语义查询结果也会变,三个知名基准的结论不少站不住,做数据管线的人该看看。
Karpathy 说全球75%的人没用过 LLM,而内部那约5000人已经在用智能体集群干专家级的活,这个信息差值得看看。
一本讲智能体 LLM 怎么行动、怎么互相协作的新书,免费放在 arXiv 上,想系统了解 Agent 原理可以翻翻。
Amazon 这篇论文说,把历史实验记录喂给 LLM,它就能提前猜出哪个训练改动有用,OLMo3-100M 上相关性冲到 0.892,比硬堆推理努力管用。