中科院联合StepFun公司开发了AI数学翻译系统StepFun-Formalizer，能将自然语言数学问题转换为严格的形式化数学语言。通过创新的四阶段训练方法，该系统在权威测试中达到40.5%准确率，超越所有现有专业和通用AI模型，…详细

人工智能数学形式化自动翻译系统

英伟达在SIGGRAPH大会上发布了全新的AI世界模型、库和机器人开发基础设施。其中最引人注目的是Cosmos Reason，这是一个70亿参数的"推理"视觉语言模型，专门用于物理AI应用和机器人。新发布的还包括Cosmos Transfer-2…详细

人工智能机器人技术世界模型

两大企业基础设施厂商宣布产品线扩展，为客户提供更多大规模部署人工智能工作负载的选择。戴尔更新AI数据平台，新增非结构化数据引擎，并推出搭载英伟达RTX PRO 6000 Blackwell GPU的PowerEdge服务器。HPE扩展AI优化…详细

人工智能基础设施架构企业级产品

Reddit已开始阻止互联网档案馆索引其热门帖子，原因是发现AI公司绕过平台限制，通过抓取档案馆的存档内容获取Reddit数据。此前，互联网档案馆的时光机可靠地存档Reddit页面、用户资料和评论，但现在只能存档Reddit主…详细

人工智能数据抓取平台限制

Canonical与IDC、谷歌合作发布研究报告，调查了500家大型企业的软件供应链安全状况。研究发现，70%的企业正在采用开源软件以降低成本和推动创新，但90%的组织在开源供应链管理方面存在困难。主要挑战包括漏洞补丁管理…详细

软件供应链开源软件漏洞管理

新款个人生产力应用Ocean正式发布，专为Gmail用户提供收件箱分类、邮件转任务和会议安排功能。该应用作为第三方Gmail客户端，内置任务管理器可将邮件转换为待办事项，支持富文本格式、截止日期设置和文件夹整理。Oce…详细

生产力工具邮件管理任务整合

Pure Storage发布研究报告，声称其直接闪存模块（DFM）在功耗和碳排放指标上优于传统SSD和机械硬盘。该公司表示，DFM具有更大容量且采用系统级管理，能以更少设备数量满足容量和吞吐量需求，从而降低电力消耗。在10年…详细

数据存储闪存技术性能优化

英伟达宣布扩展智能AI模型产品线，推出RTX Pro 6000 Blackwell服务器版GPU，为企业提供高性能AI推理能力。公司发布两款新推理模型Nemotron Nano 2和Llama Nemotron Super 1.5，用于构建更智能的AI代理。此外，英伟达…详细

人工智能计算机视觉推理模型

量子安全公司Arqit Quantum已加入沃达丰Tomorrow Street创新中心2025年Scaleup X项目。该创新中心位于卢森堡，旨在连接高增长科技公司与全球合作伙伴和客户。Arqit提供独特的加密软件服务，可保护网络设备、云机器和…详细

量子加密网络安全商业合作

随着AI技术成本大幅下降和深度伪造技术日益精进，德勤预估到2027年深度伪造诈骗将给美国造成400亿美元损失。在拉斯维加斯安全会议上，专家展示了当前反深度伪造检测技术约90%的准确率。图像操控是最令人担忧的诈骗手…详细

人工智能图像识别检测算法

前端开发公司Vercel推出v0.app，这是其AI应用构建工具的最新版本。该服务允许任何人仅通过自然语言描述就能创建完整的应用程序或网站，包括前端、后端、AI生成内容和逻辑功能。v0.app采用多个AI代理协同工作，负责网…详细

人工智能自然语言处理应用构建器

Adobe推出Photoshop新AI功能Harmonize，旨在解决图像合成中的光影匹配问题。该工具通过机器学习技术，一键调整图像的光照环境、色彩和阴影，让合成对象自然融入背景。经过多年研发，该功能已在测试版中发布，能将原本…详细

人工智能图像处理技术优化

数据丢失防护(DLP)涵盖了防止未经授权数据泄露的战略和操作措施。随着大量工作负载迁移到云端，许多专家对云DLP提出需求。然而讨论往往缺乏明确要求，存在项目风险。有效的云DLP策略需要明确两个基本问题：哪些用户在…详细

网络安全数据防护防泄露技术

强化学习正在重新成为AI领域的焦点技术。虽然该技术起源于20世纪70年代，但直到最近与大语言模型结合后才展现出巨大潜力。从人类反馈强化学习到可验证奖励强化学习，这些方法使AI模型获得了推理能力。然而，关键问题…详细

人工智能强化学习技术突破

模型不是与人类为敌，而是通过重构流程，让AI专注动态决策，员工专注价值创造。——多点数智副总裁 郝春强…详细

AI多点数智微软