Claude Scholar：面向 AI 科研人员的半自动化研究助理工作流
今天在 GitHub Trending 上看到一个有意思的项目：Claude Scholar，它把 Claude Code 等 AI 编程 CLI 改造成了一套面向计算机科学与 AI 研究者的"半自动化科...
开源
Erdős 猜想的 AI 证明工厂：ShouqiaoW/erdos 如何用 AI + Lean 攻克数学难题
今天在 GitHub Trending 上看到一个有意思的项目：ShouqiaoW/erdos，它用 AI 辅助「写」数学证明，再用 Lean 把证明机器检查一遍——把传奇数学家 Paul Erd...
Floci：轻量级开源 AWS 本地模拟器，快速启动无需认证
今天在 GitHub Trending 上看到一个有意思的项目：Floci，一个轻量级开源的 AWS 本地模拟器，主打快速、免费、无门槛，作为 LocalStack 社区版停止维护后的完美替代方案。 一...
QwenPaw 深度解析：AgentScope 打造的个人 AI 助手工作站
开篇引导段（1-2句，介绍项目背景，不可跳过，不可出现 # 标题）： 今天在 GitHub Trending 上看到一个有意思的项目：QwenPaw（Qwen Personal Agent Worksta...
《动手学大模型》：上海交大出品的大模型编程实践教程，11 章从微调、提示工程到越狱与水印
今天在 GitHub Trending 上看到一个有意思的项目：dive-into-llms（《动手学大模型》系列编程实践教程）。它源自上海交通大学的课堂讲义，把大模型领...