ScienceMeter：专注于语言模型中科学知识更新的评测工具
ScienceMeter是专注于语言模型中科学知识更新的评测工具，涵盖10个领域，支持多款评测脚本及内置基线训练示例，数据集包含论文的支持与反驳合成科学论断，代码开源供科研人员使用、反馈和贡献。
日期: 2025 年 7 月 22 日
Cognitive Kernel：面向通用自动驾驶的开源智能代理系统
Cognitive Kernel是腾讯开发的开源智能代理系统，支持自动驾驶助手本地部署、私有信息处理及科学论文检索，具有完整架构和非腾讯官方特性，适合科研与知识管理。
ComfyUI Docker 镜像：稳定高效的节点式 Stable Diffusion 图形界面部署
ComfyUI Docker 镜像提供多标签支持，覆盖多种硬件配置，适用于节点式 Stable Diffusion 图形界面部署。
吴恩达：产品经理才是 AI 时代的最大瓶颈
AI 编程助手让代码编写变得快捷，但决定做什么成为了新的瓶颈。斯坦福教授吴恩达指出这被称为‘产品管理瓶颈’，产品经理比程序员更稀缺。他认为好的产品经理应凭直觉做出决策，并完善用户的心智模型来制定快速正确的决策。
IMO 主席正式宣布：Google DeepMind在国际数学奥赛拿下金牌！
Google DeepMind 的Gemini模型在2025年国际数学奥林匹克竞赛中取得了金牌水平的成绩，直接用自然语言解决了世界上最难的数学题。然而，在宣布之前，OpenAI抢先发布了自己的成绩。DeepMind随后表示已准备好分享他们的解决方案。
碾压DeepSeek V3！阿里开源新版Qwen-3，屠榜级断层第一
阿里开源新版Qwen3系列新版本Qwen3-235B-A22B-2507，在知识、推理、代码、对齐、智能体、多语言测试6大类几十种测试基准中，全部大幅度超过了DeepSeekV3模型。
打脸OpenAI！谷歌Gemini高级版获IMO 2025官方认证金牌：纯自然语言端到端推理
谷歌DeepMind的Gemini模型在2025年国际数学奥林匹克竞赛中以金牌标准完成6题解出5题，全程使用自然语言推理，获得IMO官方认证。这一成就反映了AI在“深度思考”方面的进步。