Lean Pool: An AI-Maintained Archive of Formalized Mathematics 智能体 2026-09-21 来源：HuggingFace Daily Papers 自动聚合 阅读 18 次 · 访客 18 位 Lean Pool is a repository of formalized mathematics. It is grown, maintained and optimized by AI agents. # HuggingFace Daily Papers 相关阅读许愿式编程深度研究：从骂人的词到一键成真，一个术语的三次变身 昨天Mastercard 推出 Agent Pay for Machines：让 AI 智能体自主购买数字服务 昨天许愿之后的事：把许愿式编程做成工程的实操手册 昨天OpenAI 升级 Chrome 版 ChatGPT 扩展：可读取已打开标签页并接管操作 4天前NVIDIA Releases Nemotron 3.5 Super VL, a 120B Open Multimodal Agent Model 6天前Nvidia's Nemotron 3.5 Super VL is an open model built to run enterprise AI agents nonstop 6天前