金句：一个是 mathlib，另一个是 vibe 出来的
eigenstate · x · 2026-10-19
面对「Lean 有没有好的微分几何库」的追问，Jason Rute 给出一个广为流传的梗式回答：「简单，一个是 mathlib，另一个是 vibe coded 的。甚至顺序反过来都可能成立。」 意指 AI 现造一套基础与人类维护的库已难分彼此，这条回复也成了这场形式化数学讨论中被反复引用的名场面。
「编程与Agent」频道最新
- Ethan Mollick 出新书：用 Claude 代理数分钟完成过去数小时的图表工作 — rseroter · 2026-10-23
- OpenJet 引擎宣称 Qwen3.8-27B 推理速度达 llama.cpp 1.9 倍 — JeremyCMorgan · 2026-10-23
- 黄仁勋详解 Vera Rubin 代理系统完整架构:NVL72+MGX+CMX+RTX — rohanpaul_ai · 2026-10-23
- 用 Hermes 搭建全自动 SEO 智能体：三个 skill 覆盖关键词到建站 — EXM7777 · 2026-10-23
- 从赛事研究到链上下单：一个「默认需人工批准」的下注 agent 架构复盘 — Dry-Comfortable-2678 · 2026-10-23
- Capy 0.5.0 支持复用 Claude Pro/Max 订阅额度,并新增 OIDC 云端访问 — garrytan · 2026-10-23