生成式AI 一、Anthropic在GitHub正式开源了Skills官方知识库 1. Anthropic官方开源Skills项目，包含16个生产级技能库，涵盖文档处理类（docx、pdf、pptx、xlsx）、创意设计 类（算法艺术、前端设计）和开发技术类（Web测试、MCP构建）； 2. 特别包含skill-creator元技能，可帮助用户创建新技能，极大降低自定义门槛，成为扩展性的关键体现； 3. 该项目展示从创意到企业级的完整谱系，证明Skills系统能处理高度专业化的重复任务，已在GitHub正式发布。 https://mp.weixin.qq.com/s/hfXLyzx9wUiDmiAYQnzUkA 二、Seed Prover 1.5 Agentic 架构，更强数学推理表现 1. 字节跳动Seed团队推出Seed Prover 1.5，通过大规模Agentic RL训练，16.5小时内针对IMO 2025前5题生成完 整Lean证明代码，换算成绩35/42达金牌分数线； 2. 模型采用全新Agentic Prover架构，可调用Mathlib搜索工具、Python代码执行和增量式引理验证，像人类一 ...