华为诺亚方舟实验室联合香港中文大学团队在2025年6月首次实现了从自然语言数学问题到严格证明的端到端自动化处理。他们开发的Mathesis系统包含创新的强化学习自动形式化器、精细化评估框架LeanScorer，以及高性能证明器，在中国高考数学测试集上达到18%成功率，相比最佳基线提升22%。该系统已集成到华为Celia智能助手中，将数学问题解决准确率从65.3%提升至84.2%，展现了AI数学推理的巨大应用潜力。

Linux 基金会执行董事 Jim Zemlin表示，“无论政治或经济如何改变，任何时候开源代码都是每个人免费获得的公共物品，这也是Linux Foundation的使命”

11月8日,乘联会发布的最新数据显示,1至10月,国内乘用车累计零售量为1726.7万辆,同比增长3.2%;国内乘用车出口(含整车与CKD)307万辆,同比增长66%。

一个承载家居产业的数字化创新“飞轮”是如何诞生的。

医疗信息数字化的迅速崛起突显了网络安全和密码应用在医疗保障领域的至关重要性。

9月19日，百度地图“AI出行更简单 百度地图十一全民畅行节”发布会上，百度地图依托强大的百度大脑，为观众呈现了一次智能易用又贴心的AI之旅。

在第21届华为分析师大会期间，华为举办“打造F5G-A全光目标网，开启万兆超宽智能时代”主题论坛，与产业各方共同探讨如何以F5G-A光技术筑基家庭和行业数智化。

“戴尔科技帮助我们为客户提供在边缘所依赖的实时洞察力，快速捕获流数据及分析元数据需要依赖戴尔科技现在及将来提供的高性能和安全性。”

4月8日，天津市举办“云签众商 约定津门”2020年重点招商引资项目云签约活动，116个投资项目落地津门。

英特尔将于2025年年中开始出货Alteryx 3芯片。

美光近日宣布，已向全球个人电脑原始设备制造商（OEM）客户出货适用于主流笔记本电脑和台式机的美光2550 NVMe固态硬盘（SSD）。

裁员能不能也用上人工智能呢？有没有人工智能工具可以帮助指导企业的决策呢？事实证明是有的。笔者想在这里与读者分享五种方法，其中的人工智能可以令“组织精简”达到对雇主和雇员都有利的目的。

在2019年的公有云评测中，至顶网云能力小组将在对去年所发现问题进行复测的基础上，增加对公有云主机高可靠性和可扩展性的评测，青云云主机测试报告如下：

据Omdia在最近的《2020年7月视频安防与分析智能服务》报告中指出，带有深度学习算法的摄像头出货量将在五年中（2019-2024年）以67%的复合年增长率持续增长，而搭载深度学习分析的NVR将增长37%。

近日，Libra协会初始成员在日内瓦成立大会之后正式确立了项目管理结构。但几天过去，包括Visa、eBay以及Mastercard在内的七家重要参与者突然决定撤出项目。转变如此迅速，不禁令人为其命运深感担忧。

为了能够在未来商业中提供这些卓越的客户体验，您需要考虑将VR和AR融入到现实中。

Vodafone Idea 宣布将升级和扩展其在印度主要城市和地区的光传输网络。此次升级基于诺基亚的光交换技术，旨在满足多太比特数据增长需求，支持企业客户的量子安全服务，并提升4G和5G网络容量。诺基亚将部署先进的光学设备和技术，以提高网络效率、灵活性和可持续性。

计算机和数据中心基础设施巨头戴尔近日发布第四季度财报，不仅收益未达预期水平，而且出人意料地出现亏损，使其股价在盘后交易中大幅下跌。

求解器能够解决众多企业的决策优化问题，并帮助企业提升决策效率，在企业智能化升级的过程中起着重要作用。

华为常务董事ICT基础设施业务管理委员会主任汪涛宣布，华为将欧拉开源操作系统代码、品牌商标、社区基础设施等相关资产，捐赠给中国开放原子开源基金会！