9 月 1 日消息，据“市说新语”公众号消息，第 20 届国际标准奥林匹克竞赛于 8 月中旬在韩国举行。我国代表队在比赛中斩获 2 项大奖，其中杭州外国语学校（初中部）勇夺白金奖，北京市日坛中学（初中部）荣获金奖。这是我国继 2022 年首次摘得该项赛事白金奖后，再次在国际舞台上赢得此项殊荣。
根据赛事官方信息，本届竞赛吸引了来自中国、德国、新加坡等 12 个国家的 39 支初高中代表队，共计 117 名学生参与。初中组赛题聚焦“可穿戴电子设备与技术 — 智能手表健...
9月1日早间，针对网络上流传的“阿里采购寒武纪15万片gpu”的消息，阿里云方面做出了正式回应。阿里云表示，公司确实秉持“一云多芯”策略并支持国产供应链，但关于采购寒武纪15万片gpu的传言并不属实。此前曾有媒体报道称，为应对英伟达部分芯片的供应限制，阿里巴巴已向国内ai芯片厂商寒武纪下达了重磅订单。
辟谣引发股价震荡
在辟谣消息发布后，寒武纪的股价应声低开，随后跌幅迅速扩大。截至发稿时，其股价跌幅已达6.96%，报1388.60元/股。
寒武纪上半年业绩表现亮眼...
国家数据局近日正式宣布，具身智能灵巧手多样抓取仿真数据集（DexonomySim）已面向全球开源发布。
该数据集在国家数据局数字科技和基础设施建设司的指导下，由银河通用主导研发并发布。DexonomySim专注于具身智能机器人在灵巧抓取任务中的应用需求，汇集了超过950万条高精度抓取姿态数据，涵盖1万余种不同物体以及31类常见抓握方式，覆盖人类抓握分类体系中约94%的类型，成为目前全球范围内开源的规模最大的高质量合成数据集之一，专为多指灵巧手操作任务打造。
Dex...
DBeaver 是一款开源免费的通用数据库管理工具，广泛应用于开发人员和数据库管理员之中。近日，DBeaver 25.2 正式发布，带来了自 25.1.5 版本以来的一系列更新与优化：
AI 助手：
新增 @ai 命令及 AI 聊天功能的查询预览，支持在执行前确认生成内容
支持自定义 OpenAI API 的 base URL，提升灵活性
查询分析性能进一步优化，响应更迅速
SQL 编辑器：
优化 schemas 和 tables 的自...
intellij idea 2025.2.1 版本已正式上线，带来了多项功能优化与问题修复，具体更新内容如下：
EAR 构件配置现可被 IDE 正确解析与管理，修复了此前存在的异常行为。[ IDEA-373295 ]
Create Branch 功能已恢复，用户可从界面各个区域重新访问该操作。[ IJPL-199191 ]
图表导出为 SVG 的功能现已恢复正常，导出结果符合预期。[ IJPL-174653 ]
Maven Runner 能够正确识别并处理 VM 选项...
《合金装备3：食蛇者 重制版》是科乐美对2004年ps2经典游戏《合金装备 3》的完全重制作品。游戏以 “不改变原作创意方向” 为核心原则，在保留剧情、角色、关卡结构的基础上，通过现代技术让这部经典作品焕发新生。游戏已在8月28日正式于pc和主机平台发售，搭载耕升geforce rtx 50系列显卡的玩家，可以通过开启nvidia dlss 4多帧生成技术显著提升游戏帧率和图像质量。
叙事节奏深入人心
《合金装备 3：食蛇者 重制版》完全沿用了原版的核心剧情。...
暗黑者2第1集剧情介绍
警界奇葩再聚首 南派三叔收死亡通知单
行走在城市各个阴暗处的Darker回忆起最后一次与老师见面时的情景，从罗飞等人得到的线索来看，Darker拼凑出了老师曾经的相貌，发现 那张脸似曾相识。老师死了，但是，这场代表正义的杀戮不会因为任何人的牺牲而停止，这条路，darker必须一个人继续走下去。
错将邓烨杀死的刑警队队长韩灏遭到重重追捕，凭借着惊人的观察力和矫健的身手，韩灏一次次摆平了警察们。在一个狭小的巷子里，韩灏突然消失得无影无终...
腾讯混元团队近日宣布开源专为翻译场景设计的 hunyuan-mt 系列模型，正式对外开放。目前该系列包含两个主要版本：
Hunyuan-MT-7B：单体模型，支持中、英、日、法等主流语言在内的 33 种语言双向互译，同时涵盖藏语、维吾尔语、蒙古语、哈萨克语、朝鲜语等 5 种中国少数民族语言；在 WMT25 竞赛涉及的 31 个语言方向中，取得了 30 项第一的优异成绩。
Hunyuan-MT-Chimera-7B：集成式模型，通过融合多个翻译路径的输出结果，显著提...
太行山上第1集剧情介绍
1937年7月7日，卢沟桥的炮声宣告了日本帝国主义蓄谋已久的侵华战争全面开始。中共中央召开洛川会议，同意毛泽东提出的独立自主的山地游击战的战略方针。根据国共两党达成的协议，红军改编为国民革命军第八路军，下辖115师、120师和129师，分批开赴山西抗日前线。
陕西，石桥镇，王近山带人找到陈赓，他们不理解红军为何改编为国民革命军，师长刘伯承的话让他彻底明白了。129师在师长刘伯承、政委张浩的率领下召开誓师大会。陕西，延安，中共军委主席毛泽东...
微软近日推出了一款名为“rstar2-agent”的开源模型，这是一个拥有140亿参数的数学推理模型，凭借更智能而非冗长的思维过程，实现了与6710亿参数的deepseek-r1模型相媲美的性能表现。
该模型具备自主规划、逻辑推理以及调用代码工具的能力，能够高效地探索、验证并反思复杂问题的解决方案。其卓越能力源于三大关键技术突破：GRPO-RoC算法、可扩展且高效的强化学习（RL）基础设施，以及从非推理SFT起步的渐进式Agent训练策略。
rStar2-Agen...