9月27日，2019杭州云栖大会上，阿里云正式推出了代码管理平台 Teambition Codeup（行云）

以下一代防火墙起家的Palo Alto Networks在安全的道路上走得越来越坚决，除了在防火墙产品上不断推出新的产品，同时在其他安全产品上也不断丰富，包括云端安全工具与服务。

NVIDIA今天宣布，根据全球最快超算500强榜单（TOP500榜单），全球顶级AI超级计算机均采用NVIDIA Tensor Core GPU。 AI超级计算机能力非凡，可同时处理传统HPC模拟和革命性的全新AI工作负载。

腾讯与上海交通大学联合推出的DeepTheorem研究突破了大型语言模型在数学定理证明领域的限制。该项目创建了包含12.1万个IMO级别非形式化定理的大规模数据集，开发了专门的RL-Zero强化学习策略，并设计了全面的评估框架。研究表明，通过使用自然语言而非传统形式化系统，即使是7B参数的模型也能在复杂定理证明上取得显著成果，超越许多更大的专业模型。这一成果为AI数学推理开辟了新途径，使语言模型能够像人类数学家一样思考和证明。

华为数字能源无疑是幸运的。脱胎于原先的网络能源产品线，服务于站点与数据中心业务领域客户提供的能效解决方案，在12年后因为“碳中和”成为华为主航道。

SIGMOD是数据库与数据管理系统领域的国际顶级会议，自1975年首次举办以来，一直对数据管理、存储和处理的发展起着深刻的推动作用，在学术和工业界均有巨大影响力。

11月8日，第七届中国超级算力大会ChinaSC2025将在北京开幕。

一年一度的国际消费电子展（CES）一如既往的火爆，中国军团的表现尤为亮眼。阿里巴巴在CES上集中秀出了人工智能的进展：刷脸取快递、刷脸买商品、刷脸打卡、智能家居的互联互通、实时翻译……看来科技的进步，核心是帮人们变得“更懒”。

关于IT，如果说有一点可以肯定的，那就是投资云永远也不晚。随着云对IT和整个业务越来越重要，对云技能的需求也只会越来越大。

本周, F5 公司为提升综合应用保护能力发布了最新一代F5 Advanced WAF的解决方案。该方案旨在通过业界领先的应用安全实力,针对日趋复杂的应用威胁，为用户打造一体化的解决方案。

根据Kompprise委托进行的“非结构化数据管理状况”调查 显示，人工智能正成为IT和商业领袖面临的主要数据管理挑战。

亚马逊宣布其技术创新研究所（TII）完成了大型语言模型Falcon 40B的训练。

就筹备如此周全严密的重大活动赛事而言，冬奥会更像是一场雪地猎人的狩猎场。于林间奔跑的雪地猎人，奔波防护冬奥会基础设施安全，特别是网络与信息安全，用「更快的应急响应速度、更高的监测发现视角、更强的对抗突破能力」，捕捉隐藏在暗处的「猎物」。

当前，英特尔正重新调整其人工智能（AI）战略，并将与当前 AI 计算芯片市场的领导者英伟达展开较量。

今年是IBM进入中国市场的第四十年。四十年来，IBM始终深耕中国市场，以领先的技术产品、端到端的咨询服务和全球管理经验，帮助许多中国企业的信息化建设与世界接轨，为各行业客户的转型发展注入动力。在与中国客户、合作伙伴的协作交流中，IBM也收获了宝贵的共创经验、高质量的人才补给以及社会各界的信任。

近年来，多样性计算、人工智能、大数据、云计算等新兴技术正在驱动着下一代操作系统的创新发展，新基建、数字经济进一步加快了基础技术自主创新的发展步伐，操作系统产业迎来发展新机遇。

IBM与NASA合作开发名为Surya的开源AI模型，专门用于预测太阳耀斑和日冕物质抛射等太空天气事件。该模型基于NASA太阳动力学观测站九年高分辨率太阳观测数据训练，在太阳耀斑分类准确性上提升16%。目标是提供两小时预警，保护卫星、电网、通信系统等关键基础设施免受类似1859年卡林顿事件的强烈太阳风暴影响。

即便数据中心在设计阶段就融入了前沿的设计理念、尖端的节能技术和创新的节能措施，若缺乏后期高水平的运维管理，其节能效果也往往难以充分显现，难以达到预期目标。因此，数据中心若想在节能降耗的征途上取得显著成果，就必须精心构建并持续优化一套高水平的能耗管理体系。

“TiD2018质量竞争力大会”诚邀腾讯WeTest精英团队出席，并开设“品质成就未来”腾讯WeTest质量论坛。分享腾讯经过十余年千款游戏应用锤炼出来的，游戏行业在研发、运营阶段的测试经验。

4月19日，以“数字企业 智能服务”为主题的2019用友企业云服务春季新品发布会在北京举行。为进一步聚焦用友企业云服务战略需要，全面服务企业数字化，“用友云”品牌全新升级为“用友企业云服务”，并推出了一系列创新企业云服务产品。