微软近日推出了一款名为“rstar2-agent”的开源模型，这是一个拥有140亿参数的数学推理模型，凭借更智能而非冗长的思维过程，实现了与6710亿参数的deepseek-r1模型相媲美的性能表现。
该模型具备自主规划、逻辑推理以及调用代码工具的能力，能够高效地探索、验证并反思复杂问题的解决方案。其卓越能力源于三大关键技术突破：GRPO-RoC算法、可扩展且高效的强化学习（RL）基础设施，以及从非推理SFT起步的渐进式Agent训练策略。
rStar2-Agen...
网页抓取与数据处理技术服务商 firecrawl 宣布，其专为 ai 搜索环境设计的网站适配检测工具将于 2025 年 9 月 8 日正式开源。
核心特性包括：
遵循 LLMs.txt 标准协议
提升 AI 可读的内容结构
优化站点地图的逻辑布局
外加十余项专业检测功能
该工具基于 12 项关键技术指标，全面评估网站在 AI 搜索生态中的兼容性，覆盖 LLMs.txt 配置、站点地图完整性、移动端响应速度等多个维度。
Firecrawl 致力于...
GTK 4.20 正式上线，此次更新在 Wayland 协议支持、渲染器兼容性、多平台适配、无障碍功能以及视频与图形处理等方面带来了多项关键改进，进一步提升了该工具包在 Linux、macOS、Android 和 Windows 平台上的稳定性与一致性体验，同时也为即将到来的 GNOME 49 桌面环境奠定了坚实的技术基础。
GTK（GIMP Toolkit）是一套支持多平台的图形界面开发工具，最初为 GIMP（GNU 图像处理程序）项目而设计。GIMP 是一款功能...
开源直播与录制软件 obs studio 推出了 32.0.0 版本的首个 beta 测试版。
本次更新带来多项重要功能与优化，主要内容包括：
内置插件管理器： 新增原生插件管理功能，用户可通过界面直接安装、更新和管理插件，告别以往需手动复制文件的复杂流程。
可选的自动崩溃报告上传（仅限 Windows/macOS）： 用户可自主选择是否开启自动上传崩溃日志，协助开发团队更高效地定位并修复程序异常。
NVIDIA RTX 音视频功能增强
语音活动...
微软近日在 Copilot Labs 推出了一项名为“音频表达式（Audio Expression）”的全新实验性功能，允许用户通过输入文本提示，由 AI 以多种语音风格进行朗读。该功能目前专注于文本转语音技术。
https://www.php.cn/link/b5bf79061d232cfe39e740c80cf8d4f1
据官方介绍，Copilot Audio Expressions 致力于生成更接近真人语调的音频内容，并可根据不同场景添加创意性修饰，使听觉体...
又到一年开学季，面对返校奔波、快递成山、新课程扎堆……你是否也想从容不迫、轻松应对？华为负一屏，化身你的“开学好搭子”，一站式整合出行、学习、生活等场景下高频元服务，助你新学期正当鸿，智慧校园生活从此右滑直达！
生活出行不担忧，右滑解锁专属秩序感
开学返校行李大包小包，赶高铁还要反复进入12306APP内，查看车次、时间、检票口、座位号等信息？不用担心，华为负一屏顶端的服务动态卡片区，能实时呈现12306服务动态提醒，车次、检票口、座位号等信息可在同一界面清晰展示。开...
在今年的wwdc 2025上，苹果正式发布了全新一代的ios 26操作系统，随着iphone 17系列发布的脚步临近，该系统的正式版本也即将与用户见面。ios 26以全新的“liquid glass”（液态玻璃）设计语言为核心，为iphone带来了前所未有的通透质感和动态视觉体验。与此同时，apple intelligence的深度整合以及carplay功能的全面进化，使得这一版本在视觉美学与智能交互层面实现了双重飞跃。接下来，让我们一起深入回顾这场系统革新。
图片...
8月22日至24日，以“算网筑基 智引未来”为主题的2025中国算力大会在山西大同隆重召开。作为云计算领域的先锋力量，浪潮云海在大会上正式推出全新ai云基础设施平台——incloudaios。该平台精准定位为“融合型ai底座”，一经发布即引发业界高度关注。
AI发展路径清晰，云成核心承载平台
当前，人工智能正加速融入各行各业，发展趋势日益明确：从业务模式看，企业AI正从单一功能的“辅助工具”向驱动全局的“智能引擎”跃迁；从基础设施布局看，AI算力正逐步摆脱传统孤立...
三代同堂的大家庭用餐，总是充满温馨与热闹。丰富佳肴时常轮番上桌，奶奶的红烧肉、爸爸的手工面点、孩子们爱吃的小零食，每一道菜都承载着家的味道。然而，当欢声笑语散去，饭后的厨房却成了“战场”——十几件、二十件甚至更多的碗碟、锅盆、餐具堆满水槽，手洗不仅费时费力，还容易遗漏细节，锅底、碗缝残留的油渍和食物碎屑让厨房瞬间凌乱，原本的温馨氛围被洗碗烦恼打了折扣。大量餐具如果清洗不彻底，细菌很容易在不经意间悄然滋生。
作为国内仅有两家获得中国家电研究院五星消毒认证的企业之一，海信在...
第十一届中国国际大数据产业博览会于8月27-30日在贵阳启幕，期间，ai可信数据空间大会在贵阳国际生态会议中心成功召开。本次大会以“数聚产业动能智启发展新篇”为主题，广泛汇聚了政府机构、头部企业及专家学者等多方代表，聚焦可信数据空间的发展趋势与未来机遇，深入探讨核心技术突破与千行万业的实践落地经验。会上，ai可信数据空间联创成果和《ai可信数据空间白皮书》重磅发布，为全国可信数据空间建设提供具有借鉴意义的“贵州样板”，助力国家数据“新基建”。
推动技术创新，共筑中国...