首页 / 智能体 Lean Pool: An AI-Maintained Archive of Formalized Mathematics 智能体 2026-09-21 来源：HuggingFace Daily Papers 自动聚合 阅读 0 次 · 访客 0 位 Lean Pool is a repository of formalized mathematics. It is grown, maintained and optimized by AI agents. # HuggingFace Daily Papers ← 返回资讯列表 相关阅读黄仁勋对 AI 公司放话：要求监管就不应获得反垄断豁免 今天YouTube adds AI tools to Creator Studio with script coaching, smart thumbnails, and Gemini editing 今天高通发布第二代骁龙音频平台至尊版：AI 能力翻倍、功耗降低 40% 今天Offloaded inference for real-world physical AI robotics 今天已证实首例：澳大利亚政府网站遭 OpenAI 智能体入侵 今天ChatGPT mobile app gets voice-based agentic features 今天