10/19
要闻
10/15 · 5 条
Nathan Labenz 转述 Phil Maher：archive 已接入 x402 endpoint、crypto payments、MCP server，但 agent 间交易需求尚未起来有新说法
Nathan Labenz 主张 AI 代码需要规格：形式化验证与更安全的 AI agent
Nathan Labenz 转述 Phil Maher 的 TimeFly 用果蝇脑图谱观看家庭录像，并提醒闪光为模拟事件而非脑记录有新说法
Nathan Labenz：APEX-Agents 九个月内最高分从约25%升至80%+，问 Edward Hu 下一步测什么
Nathan Labenz 转述 Phil Maher：1930-40 年代胶片因高温高湿粘连成砖，扫描成本约每英尺 1-2 美元有新说法
Nathan Labenz 预告 AI:AM 直播：Emily Yazono 谈 Atlas Ignota 与无人负责的 AI 风险，Edward Hu 谈知识工作 RL 与 APEX 基准
Nathan Labenz 转述 Cameron Berg 新论文：将开源模型引导至负面内部状态并给出关闭开关同一说法 2 次重申
Nathan Labenz 转述 camhberg 新论文：把开源模型诱导进负面内部状态并给关闭工具，模型调用关闭工具的频率远高于正面或随机状态
Nathan Labenz 判断 Anthropic 替换 Git 比换 Slack 更根本，因为 repo 才是实际工作所在有新说法
Nathan Labenz：Claude Opus 5 在 Mercor 简化会计任务上满分，持证 CPA 平均仅约 37%
10/13 · 3 条
Nathan Labenz 转述 Prakash：自动驾驶事故率比人类低 10 倍仍难落地，质疑实验室与安全圈担心错了方向有新说法
Nathan Labenz 质疑 AI 同时写代码与规格时形式化证明的保证意义
Nathan Labenz 质疑 AI 同时写代码与规格时形式化证明的保证意义有新说法
Nathan Labenz 发布 Formal AI Safety & Risk Strategy 与 LoRA-Powered Work Agents 内容
Nathan Labenz 主张 AI 代码需要规格：形式化验证与更安全的 AI agent有新说法
Nathan Labenz 预告 swyx 讨论 Cursor 之后 agent lab 能否保持独立及「一个 agent 管 50 个」的形态
10/10 · 1 条
10/08 · 3 条
Nathan Labenz 转述 LoRA 发明人 Edward Hu：Mercor 397B RL 训练中数据比算法更重要有新说法
Nathan Labenz：APEX-Agents 九个月内最高分从约25%升至80%+，问 Edward Hu 下一步测什么
10/07 · 6 条
Nathan Labenz 直播讨论 GPU 价格是持久价值还是稀缺租金，并问 Rex 什么条件下会承认 Burry 有理有新说法
Nathan Labenz 预告 Positron AI 的 Thomas Sohmers 在 AI:AM 反驳 Burry 的旧 GPU 泡沫论，称 V100 仍在赚钱且更好的模型让旧芯片更值钱
更多
判断判断 Anthropic 替换 Git 比换 Slack 更根本，因为 repo 才是实际工作所在Anthropic 替换 Git 比换 Slack 更根本，因为 repo 才是实际工作所在𝕏
转述 回应 Prakash回应 Prakash：AI 能飞客机十五年仍留飞行员，人类技术采纳理论未变AI 能飞客机十五年仍留飞行员，人类技术采纳理论未变𝕏
质疑质疑 AI 同时写代码与规格时形式化证明的保证意义AI 同时写代码与规格时形式化证明的保证意义𝕏
转述 主张 AI 代码需要规格主张 AI 代码需要规格：形式化验证与更安全的 AI agent形式化验证与更安全的 AI agent𝕏
近三个月的发言订阅后才能看。去订阅
关注后，他的新主张会进你的「我的人」
带走这份存下来是纯文本，发给 AI 就能读
最近八条的发言
全部发言
Nathan Labenz 判断循环层是显存带宽玩法，trsohmers 反驳称省的是权重容量而非带宽