全球量子科技与工业快讯第十五期

来源：ORNL Quantum Computing Institute ｜ 转译编写：求是量子

IBM提供量子工业界首个开发者认证

国际商业机器公司(IBM)于近日宣布提供全球首个量子计算机编程的开发者认证。该测试一共有60道题目，限时90分钟。答对44道题及以上即可通过测试。目前该测试仅支持英文，个人可以通过访问测试官方网站注册并参与测试。

富士通或将打造全球最强量子计算机

在IBM宣布将于2023年前制造出一台拥有1000个量子比特的量子计算机后，日本科技巨头富士通(Fujitsu)宣布了一项新的量子计算机开发计划。该计划将建立在日本国立理化研究所(Institute of Physical and Chemical Research，简称RIKEN)现有的研究成果上，利用先进的超导量子计算技术来打造一台拥有1000个量子比特的量子计算机。

量子计算助力海运优化

海运优化是一个极具挑战性的优化问题，诸多现实世界的因素如船只承重，货物打包，航程计划以及航线安排等使得该问题难以被经典算法有效地解决。美国总市值最大的石油公司埃克森美孚(Exxon Mobil)近期与IBM合作，尝试利用量子计算来优化海运时间以及车辆运输路线。类似的优化技术还可以应用在其他领域，如汽车工业和供应链产业。

美国国家自然科学基金会将致力于扩充国内量子人才

许多人认为量子信息科学将会引领诸多行业中的根本性突破，但是量子信息科学仍然是一个相对较为年轻的学科。美国国家自然科学基金会(National Science Foundation)的一位项目负责人Abiodun Ilumoka近日发言称，目前全球仅有千余名量子领域的专家，在美国国内，量子人才将面临巨大缺口。

霍尼韦尔宣称量子计算机将在18到24个月内超越经典模拟

霍尼韦尔(Honeywell)在上月初成功将其旗下量子计算机系统模型H1(System Model H1)升级至512量子容量(详情请参考全球量子科技与工业快讯第十一期)。近日，霍尼韦尔提供了一系列的经典模拟工具以帮助验证其量子计算机的可靠性。霍尼韦尔量子解决方案的主席Tony Uttley认为这些仿真工具可以提高人们对量子计算的信任程度，但是随着量子计算机在未来18到24个月间的发展，经典计算平台将无法继续胜任相关的模拟验证工作。

量子计算在NP验证问题上取得突破

虽然NP完全问题的求解是困难的，但是一个完整解的验证则是一个平庸的任务。相比之下，如果一个解并不是完整的，其验证的难度会大很多。近日，来自法国国家科学研究院(French National Centre for Scientific Research)以及英国爱丁堡大学(The University of Edinburgh)的研究人员在利用量子计算解决此类问题上取得了一定突破。他们的研究表明量子计算机可以通过一个叫做交互式证明的协议，仅需要最小化的未经验证的解的信息来完成该验证任务。[相关研究成果Experimental demonstration of quantum advantage for NP verification with limited information发表在顶级开源期刊《自然·通讯》]

封面图片：英特尔（Intel）量子计算机圆晶｜来源：Steve Jurvetson, https://flic.kr/p/GxVKi8