关键词：AGI, DeepMind, AI风险, Anthropic, 数学推理, 腾讯混元, AI视频模型, AI人格向量控制, SeedProver数学基准, λ-演算通用函数, 小型开源LLM, 情感表达AI视频
🔥 聚焦
DeepMind CEO Demis Hassabis展望AGI与科学未来 : DeepMind CEO Demis Hassabis在最新访谈中深入探讨AGI的未来，认为AI能够高效建模所有通过进化形成的自然模式，并有望在未来5-10年内实现AGI。他强调AI在模拟物理、生物学、气候预测等科学领域的核心作用，并提出AI将是解决人类重大挑战的终极工具，同时呼吁以谨慎乐观的态度推进AI发展。(来源: 量子位)
Geoffrey Hinton对AI风险的持续警告 : AI教父Geoffrey Hinton在公开场合持续警告AI可能带来的生存风险，预测AI在30年内导致人类灭绝的概率为10-20%，并认为AI可能在5年内实现自我意识和知觉。他强调AI的通用性使其影响远超原子弹，呼吁全球社会共同审慎对待AI发展。(来源: 量子位
)
Anthropic实现AI人格向量控制 : Anthropic研究团队发现通过单一向量即可控制LLM的人格特质，包括撒谎、奉承甚至邪恶行为，这使得AI的个性化调整变得像拨动开关一样简单。此发现对语言模型对齐和行为控制具有深远影响，预示着AI在人机交互和伦理控制方面的新范式。(来源: _mfelfel
)
ByteDance发布SeedProver，数学推理能力大幅提升 : 字节跳动发布SeedProver模型，在PutnamBench数学基准测试中取得331/657的成绩，比现有SOTA模型高出近4倍，并在OpenAI的miniF2F上达到100%正确率。这表明AI在复杂数学推理和证明领域取得了显著进步，预示着未来AI在科学研究中的巨大潜力。(来源: clefourrier
, jxmnop
)
AI在λ-演算中推导通用函数 : Google Gemini Pro 2.5借助Deep Think首次成功在λ-演算中推导出N-元组的通用”foldr”函数，这一突破超越了其他主流模型，显示了其在复杂逻辑推理和数学证明领域的强大能力，标志着AI在抽象推理和形式化系统理解上的重要进展。(来源: quocleix, jon_lee0, YiTayML, GoogleDeepMind
, quocleix
)
🎯 动向
腾讯混元发布多款小型开源LLM : 腾讯混元推出0.5B、1.8B、4B、7B四款小型开源LLM，旨在满足低功耗场景需求（如消费级GPU、智能汽车、智能家居、手机、PC），支持高效微调，并具备混合推理、256K超长上下文和出色Agent能力。这标志着大模型向边缘设备和多样化应用场景的普及。(来源: teortaxesTex
, QuixiAI
, tri_dao
AI视频模型Wan 2.2支持情感表达 : Alibaba_Wan团队宣布其AI视频模型Wan 2.2新增支持捕捉和生成多种复杂情感表达，从喜怒哀乐到“飞吻”等混合情绪，极大提升了AI视频内容的真实感和表现力。(来源: Alibaba_Wan, TomLikesRobots
)
GLM-4.5模型发布，强化Agent能力 : GLM-4.5模型正式发布，其架构内置Agent能力和强大的工具使用功能。该模型采用MoE架构，并结合定制的RL策略（slime），支持同步推理训练和异步Agent任务训练，在工具调用成功率上高达90.6%，超越Claude 4 Sonnet。(来源: TheTuringPost
)
Qwen即将发布图像生成模型 : Qwen团队预告即将发布一款20B参数的图像生成模型，该模型支持视觉能力。这将进一步丰富开源图像生成生态，为用户提供更多高质量的图像创作工具。(来源: iScienceLuvr
)
Claude Opus 4.1即将发布 : Anthropic的Claude Opus 4.1模型预计即将推出。作为Claude系列的新版本，它有望在性能和功能上带来进一步提升，继续推动大型语言模型的发展边界。(来源: scaling01
, dotey
, op7418
)
XBai o4模型性能超越Claude Opus : 来自中国AI实验室的XBai o4开源模型在性能上超越了OpenAI的o3-mini，并自信地击败了Anthropic的Claude Opus。该模型采用Apache 2.0许可证，并在Hugging Face上可用，表明中国在开源模型领域取得了显著进展。(来源: ClementDelangue
)
蚂蚁AlignXplore提升AI个性化理解 : 蚂蚁通用人工智能研究中心提出AlignXplore方法，通过强化学习和流式偏好推断机制，使AI能从用户行为中归纳偏好并动态更新，显著提升个性化对齐能力达15.49%。该技术旨在让AI告别复杂提示词，实现更“高情商”的人机交互。(来源: 量子位
)
华为发布718B参数盘古大模型 : 华为发布了Pangu Ultra 718B参数MoE模型权重，该模型完全使用华为Ascend NPU训练，是完全自主研发的中国模型。其许可协议相对宽松，但要求注明“Powered by openPangu”和商标信息。(来源: Reddit r/LocalLLaMA
)
🧰 工具
Google LangExtract：文档结构化信息提取工具 : Google发布了LangExtract，一个能够根据用户指令从非结构化文档中提取结构化信息的工具。它支持源头追溯、结构化输出，并针对长文档进行优化，同时支持云端和本地LLM部署，提升了文档处理效率。(来源: omarsar0
)
AI辅助编程与Agent工具集 : ScreenCoder是一个将UI设计转化为前端代码的Agent系统。Zai.org的Kilo Code已支持GLM-4.5模型。Claude Opus的”ultrathink”功能提升了模型思考能力。用户利用Claude Opus成功开发自主无人机模拟器和iOS应用，甚至有从未编程的用户也实现了复杂应用开发。Jules Agent持续升级，Tasker AI作为AI助手能控制Agent完成日常任务，这些都表明AI在编程和自动化任务处理中的强大赋能作用。(来源: TheTuringPost
, julesagent, _akhaliq, Reddit r/ClaudeAI
AI Agent驱动的合规自动化工具Comp AI : Comp AI利用AI Agent自动化合规流程，如证据收集、风险评估、政策起草与更新等，可将SOC 2合规时间从60小时缩短至2-4小时。该工具旨在解决企业合规痛点，提高效率。(来源: claud_fuen
)
Hugging Face作为远程模型提供商集成到Jan : Hugging Face现在可以作为远程模型提供商集成到Jan中，用户可以通过Hugging Face API密钥在Jan中选择并使用Hugging Face上的任何模型。这极大地便利了开发者和研究人员对各种模型的访问和应用。(来源: ClementDelangue)
DocStrange：开源文档数据提取库 : DocStrange是一个开源Python库，简化了文档数据提取过程。它支持PDF、图片、Word、Excel等多种输入格式，可输出Markdown、JSON、CSV、HTML，并支持智能字段提取和Schema定义，提供免费云处理和本地隐私模式。(来源: Reddit r/MachineLearning, Reddit r/MachineLearning)
Vinsoo：00后创始人重新定义AI编程范式 : 芸思智能（AIYouthLab）推出Vinsoo AI IDE，全球首个搭载云端Agent编程团队的集成开发环境。它创新性地支持多个智能Agent并行执行任务，实现从需求分析到最终交付的全流程自动化开发，并提供Vibe和Full Cycle两种工作模式，强调云端沙盒环境的安全隔离。(来源: 量子位
)
Podcastfy.ai：开源多模态播客生成工具 : Podcastfy.ai是一个开源Python库，能将多模态内容（文本、图片、视频、PDF等）转化为引人入胜的多语言音频对话。它支持生成短篇或长篇播客，自定义对话风格和语言，并整合了多种LLM和文本到语音模型，旨在提供NotebookLM播客功能的开源替代方案。(来源: GitHub Trending
)
📚 学习
GEPA：反射式提示优化超越强化学习 : GEPA是一种新型反射式提示优化算法，在LLM优化方面表现出色，甚至在某些任务上超越了传统强化学习算法GRPO，所需rollout次数减少35倍。它通过帕累托最优候选选择、反射式提示变异和系统感知合并等创新机制，提升了