头条 · Featured
决定上限的不是模型，是那道检查
十一天。 Claude 在近乎无人值守的状态下跑了十一天，产出费马大定理的 Lean 形式化证明：1300 万行代码，29,511 条中间定理，公开仓库里的每一条都验证通过。这个量是公共数学库 Mathlib 的五倍多，是人类造出来的最大的 Lean 产物。 同一周，Claude Code 的负责人 Boris Cherny 在 YC 现场被问到一个任务跑了多久。他说还在跑，十四五天了。那条提示词只有四句话：把 Electron 应用重写成 Swift，截图，逐像素比对，不做完不许停。 同一周，一百多个人带着各自的 agent 花两个月啃一道量子电路题，把 Google Quantum AI 公布的成绩打下去 50% 以上。 …
灵感雷达: 2026-09-13
本轮由两种需求形状扛着。第一种是那个已经悄悄挪到每个漏斗前面的过滤器：当一个人让模型帮他把选项收缩到三个，品牌根本没有机会被喜欢，活下来的是明确的声明、用文字写出来的规格和价格，而氛围直接死掉——几乎没有人在为这层过滤器建东西。第二种是「真…
2026年9月13日
Loop 日报: 2026-09-13
开放版本的那个循环今天拿到了自己的论文，而论文说清了它为什么成立：100 多个人带着各自的 agent，花两个月啃同一个 secp256k1 量子电路问题，把 Google Quantum AI 公布的成绩打下去 50% 以上，把这件事撑住…
2026年9月13日
最新 · Latest
2026年9月13日
超级用户日报: 2026-09-13
今天最重要的一个数字是十一天：Claude 近乎无人值守地跑了这么久，产出了费马大定理的 Lean 机器可验证形式化，1300 万行代码、29,511 条已验证定理，是 Mathlib 的五倍多。紧随其后的是一条四句话的提示词，已经连续跑了十五天还没停，靠的只是一道像素级 diff 门——这是迄今为止最清楚的一次证明：让 agent 活下去的不是模型，是那道…
2026年9月13日
DeskcommCRM：一个每天发两次版的 WhatsApp 销售 agent
DeskcommCRM 一天涨了 505 星，总数 1,761，趋势榜上算不错的一波。但真正让我停下来看的是它的发布记录：v1.18.0、v1.18.1、v1.19.0 全在 9 月 11 日发出去，1.20.0 在 12 号合进主干。两天四个版本。仓库在 https://github.com/melgarafael/DeskcommCRM 。
它是什么：…
2026年9月13日
worktrunk 悄悄变成了平台，因为现在人人同时跑五个 agent
max-sixty/worktrunk 是个管理 git worktree 的命令行工具，专门为并行跑 AI agent 的工作流设计。7,198 个 star，又一次上了 GitHub 趋势榜，一天涨 137 星，9 月 8 日发了 v0.77.0，最近的提交就在昨天。仓库在 https://github.com/max-sixty/worktrunk 。…
2026年9月13日
预测概念，而不是预测下一个词
Hugging Face 每日论文榜首，231 个赞：NCP-ArchPreview，来自 Intern-NCP 团队，27 位作者，9 月 9 日提交。论文在 https://arxiv.org/abs/2609.10715 。它要论证的事情是：下一个 token 预测不该是语言模型唯一的训练目标。为了证明这件事，他们在 5.73 万亿 Dolma-3 t…
2026年9月13日
在真实公司代码上，最强的 agent 只拿 38.8 分
一个叫 Real-SWE 的评测上线了，地址 https://withspecific.com/real-swe ，头条数字会让不少人不痛快：榜首模型的任务解决率是 38.8%，是 Fable 5.1。第二是 GPT-6 Astra，33.8%。第三 Gemini 3.8 Flash，31.2%。截至 2026 年 9 月一共测了八个前沿模型，没有一个上 4…
2026年9月13日
他用三种办法在真实 agent 轨迹上挑战 LRU，三次全输
有人把 393 个真实 Claude Code 会话里的 68,266 条请求、外加 23,608 条 Mooncake 请求，重放进一个前缀缓存模拟器，用三种互相独立的办法去挑战最朴素的 LRU 淘汰策略，三次全败。他把整个过程连同失败一起发出来了：https://github.com/gauravapiscean/agentic-kv-cache 。Ha…
2026年9月13日
谷歌让每条搜索结果都多花你一次请求
谷歌的搜索结果页里，现在已经没有目标网址了。取而代之的是 google.com/goto?url=... 这种链接，其中 url 参数用谷歌自己的一套编码处理过，你在本地解不开。它就是一个指向谷歌索引记录的不透明指针。把这事捅到所有人面前的那篇文章在 https://www.autom.dev/blog/google-search-goto-links ，H…
第 1 页
较早 →
招聘 · Hiring
AI Agent 公司最新职位，开放即收录。
Glean
Technical Recruiter, Early Talent
Anthropic
Technical Architect
Anthropic
Strategic Projects Lead, Recruiting
Anthropic
Staff Software Engineer, Search
Anthropic
Senior Engineering Manager, Capacity Engineering
Supabase
Engineering Manager, Billing