凯旋门真人娱乐平台

论智 2018-10-10 09:13 次阅读

Urmila Mahadev在研究生院学习了八年,最终独立解决了量子计算中最基本的问题之一:如何知道量子计算机是否已经完成了任何量子计算?

2017年春天,加州大学伯克利分校的博士研究生Urmila Mahadev突然发现自己成了他人眼中的倾佩对象。她解决了量子计算中的一个主要问题,结合之前发表的论文,她俨然已经成为学界一颗冉冉升起的新星。但28岁的她却放弃了毕业,甚至压根没有考虑过毕业。

这是她在伯克利研究生院求学的第七年——很久之前,大多数学生都已经不耐烦地毕业了。

Urmila Mahadev

早在五年前,她的目光就被一个与众不同的研究问题所吸引,Aaronson称之为“量子计算中你可以提出的最基本问题之一”,即:如果你要求量子计算机执行计算,那你该怎么判断它是否按指示执行了任务,甚至只是做了任何和量子计算有关的事?

现在这个问题即将远离学界。在过去的几年里,研究人员一直希望能把量子计算机用于科研,从研究黑洞周围的变化到大蛋白质折叠,量子计算带来的加速效果是指数级的。但是,一旦量子计算机真正执行了经典计算机无法做到的计算,那人类该怎么确保计算结果的可信度?

如果我们不相信经典计算机的结果,我们可以从头开始一步步验证,但量子系统是从根本上就抵制这种检查的。首先,它们的内部工作非常复杂:即便只用几百个量子比特(或“量子位”)写下计算机内部状态的描述,那也需要一个比整个可见宇宙更大的硬盘。

其次,即便我们以某种方式记下这个描述,它也是难以理解的。量子计算机的内部状态通常是许多不同的非量子“经典”状态的叠加,如“薛定谔的猫”。但是,一旦你测量了一个量子态,它就会坍缩成这些经典状态中的一个。也就是说,当看着量子计算机里的300个量子比特时,我们基本上只能看到300个经典比特——0和1。

“量子计算机非常强大,但它也非常隐秘。”

考虑到这些限制因素,计算机科学家们长期以来一直想知道量子计算机是否能提供一些“铁证”,证明自己已经完成某些计算。这也是量子计算和古典计算进行“对话”的桥梁。Mahadev被这个问题迷住是在她读研究生的第二年,在之后的几年里,她一直反复尝试验证方法,而在无数挫折中,她也展现了自己持久的耐心和决心。

经过多年努力,现在她终于让学界见证了她的成功。10月7日,计算机科学顶会FOCS 2018在法国巴黎正式召开,这是理论计算机科学最大的会议之一。在会上,Mahadev带来了论文Classical Verification of Quantum Computations,她提出了一种交互式协议,用密码学为量子计算这批野马安上了“马鞍”。她的作品被授予会议“最佳论文”和“最佳学生论文”奖,这是理论计算机科学家难得的荣誉。

一条漫长的道路

Mahadev在洛杉矶的一个医生家庭长大,出于对成为医生的抵触心理,她在南加州大学求学期间听了RSA加密算法的创造者之一、计算机科学家Leonard Adleman教授的课程,并把专业改成了理论计算机科学。直到在向伯克利研究生院递交申请之前,量子计算于她都是最陌生、最不了解的事情。

但是,到了伯克利,一切就完全不同了。她的博士生导师Umesh Vazirani向她介绍了一个问题:找到一个验证量子计算的协议。这个问题彻底激发了她的学术热情。

有一个基础事实是,也许量子计算机可以解决经典计算机无法解决的问题,但它的解决方案不一定是难以验证的。比如分解大数字,这是个经典计算机无法计算而量子计算机可以高效解决的任务。虽然无法计算,可验证量子计算机的因子分解是否正确对经验计算机来说很容易——它只需要将这些因子相乘,看看它们是否能产生正确的答案。

然而,计算机科学家认为量子计算机可以解决的许多问题不具备上述特征。换句话说,经典计算机不仅无法解决它们,甚至也识别不了解决方案是否正确。鉴于此,2004年的时候,物理学家Daniel Gottesman把“量子验证”这个问题抛给学界。

问题提出的四年内,一些量子计算研究人员得到了部分答案。两个不同的团队证实确实存在一种能证明已经完成量子计算的方法,他们的一个关键想法是利用交互性证明,即给定一定的计算,使得设备(以下称为“证明者”)具有执行计算的能力,但是另一个实体(以下称为“验证者”)不具有。假设证明者是不受信任的,也可能会欺骗验证者,我们要找出一种方法,让验证者从证明者手中拿到高度可信的正确答案。

这个框架起源于20世纪90年代的复杂性理论。其中最简单的方法是验证者可以自己执行验证计算,直接检查证明者的结果。第二种方法是验证者无法执行计算,但证明者可以提供一个简短的“证据”,再由前者完全证明结果。交互式证明是一种协议,通过该协议,验证者可以和更强大但不可信的证明者进行交互。

在Mahadev的成果出现之前,学界通过引入交互式模型,允许验证者使用非常有限的量子计算机,在“量子验证”这个问题上取得了一定进展。简而言之,如果采用上述第一种方法,就是让验证者具备在它选择的两个可能的基础中准备单个量子比特的能力,一次一个,由它把量子比特发送给证明者;如果采用第二种方法,就是让验证者可以一次一个地从证明者处接收单个量子比特,并在它选择的两个基础之一中对它们进行验证。

一般情况下,这两种方法都能验证任意多项式时间量子计算,而其中的重点是验证者准备量子比特的能力,使证明者可以检测到“证据”与预先确定的“诚实行为”是否存在偏差。

但问题依然存在:十年了,对于量子计算机这个“证明者”,我们能否找到一个完全经典的“验证者”?

2012年,包括Vazirani在内的一组研究人员表明,如果一个量子计算机是由一对无法相互通信的量子计算机执行的,那么一个完全经典的验证器可以检查量子计算。虽然这篇论文只讨论了某种特定状态,但它给Mahadev带来了启发:是否能找到一个“无条件”的结果,一个不假设量子计算机能做什么或不做什么的结果。

进行了一段没有进展的研究后,这对师生把目光转向了密码学(各自研究不同的问题)。由于大规模量子计算机在未来可能会出现,密码学领域为了开发可抵抗量子攻击的密码架构,提出了一种名为“后量子密码学”的研究。2016年,他们和OpenAI的计算机科学家Paul Christiano达成合作,共同开发了一种利用密码学方法让量子计算机构建“secret state”(秘密状态,)的方法。

所谓秘密状态,就是一种已为人知的经典验证者,但它不是量子计算机本身。

他们的程序依赖于所谓的“trapdoor”函数——一个易于执行但难以反转的函数,除非你有加密密钥。这个函数需要“二对一”,也就是每个输出对应两个不同的输入。有了它,我们就能用“trapdoor”函数创建秘密状态——首先,要求计算机建立一个函数所有可能输入的叠加;其次,让计算机将该函数应用于此巨型叠加,创建一个新状态,该状态是函数的所有可能输出的叠加。这时输入和输出叠加将被纠缠,这意味着对其中一个进行验证会立即影响另一个。

这之后,我们就能要求计算机检查输出状态并汇报结果,它在检查时可以把输出状态折叠成一个可能的输出,由于输入输出是纠缠的,这时输入也会被折叠。

2017年,Mahadev解决的那个量子计算主要问题就是提出构建“trapdoor”函数的加密方法:Learning With Errors(LWE)。她本可以凭借这个成果毕业,但面对还没有解决的“量子验证”难题,她表示:

我从未想过毕业,因为我的目标从未毕业。

尘埃终落定

还是那个问题:是否存在一个完全经典的验证者。

从交互性证明到秘密状态,Mahadev已经试遍了所有方法,有一段时间,她甚至感到走投无路。但上天还是眷顾她的,一次,她突然萌生了一个新想法:研究人员已经证实,如果验证者能够检查量子比特,那么它也可以检查量子计算机。根据定义,经典验证者不具备这种能力,但是如果经典验证者能以某种方式迫使量子计算机自己执行检查并诚实地报告呢?

这个问题的难点是让量子计算机承诺在验证者检查之前,自己知道对方要测量的状态,Mahadev将其称为量子比特承诺问题。假设证明者声称准备了一个选择的单量子比特状态|φ>(验证者不知道),验证者向证明者询问执行|φ>测量的结果。无论是在计算基础上(Pauli Z的本征基础),还是在Hadamard基础上(Pauli X的本征基础),是否存在一种协议,保证在协议结束时,验证者能够产生与所选基础中的测量结果相匹配的结果?

这个新协议具有以下属性。首先,正如预期的那样,对于任何量子计算,都有一个量子证明者可以使经典验证者相信计算结果的正确性,此属性称为协议的完整性。其次,没有证据可以说服经典验证者接受错误的结果,此属性称为协议的健全性。在Mahadev的结果中,后者的属性有一个转折点:如果证明者不能破坏后量子加密(LWE),那么稳健性就会保持不变。

该协议对LWE的依赖使得Mahadev的成果具有双赢的风格。量子计算机愚弄协议的唯一方法是量子计算世界中能有人想出如何破解LWE。但目前,LWE被广泛认为是后量子密码学的主要候选者,它可能很快就会取代其他可能会被量子计算机破解的标准,被国家标准与技术研究所采用作为其新的加密标准。破解难度可想而知。

在未来几年内,Mahadev的协议暂时还不太可能被部署进真正的量子计算机中,因为协议所需算力太高了。根据专家推测,具体数字应该至少会是5年。但现如今的科学发展是日新月异的,曾经我们认为有些难题可能需要几十年才能解决,但它们纷纷只用一两年就搞定了。

随着量子计算机规模的扩大和协议的不断简化,相信我们会尽快看到这个理论成果落地的那一天。

原文标题:研究生解决量子验证:如何判断量子计算机是否已完成量子计算?

文章出处:【微信号:jqr_AI,微信公众号:论智】欢迎添加关注!文章转载请注明出处。

收藏 人收藏
分享:

评论

相关推荐

探讨国内外量子信息技术的生态环境

近日,借中国科学院量子信息重点实验室-问天量子-泰克科技三方成立“量子信息联合创新凯旋门真人娱乐平台”之际,专访了....

的头像 EETOP 发表于 10-17 17:05 80次 阅读
探讨国内外量子信息技术的生态环境

新一代可验证安全区块链,可为客户提供有效、可靠的数据信息保护

据和信中欧金融科技研究院执行院长陈邦道介绍,当前,大数据应用对个人隐私和政企敏感数据的保护提出严峻挑....

发表于 10-17 15:44 10次 阅读
新一代可验证安全区块链,可为客户提供有效、可靠的数据信息保护

探索未来的量子计算模拟器与编程框架HiQ

面向未来,华为云在探索量子世界,以巨大的算力潜力、全新的算法视角,致敬未来,即AI与量子计算的结合。....

的头像 嵌入式资讯精选 发表于 10-17 10:30 112次 阅读
探索未来的量子计算模拟器与编程框架HiQ

华为在量子计算领域取得最新进展

量子计算模拟器HiQ云服务凯旋门真人娱乐平台问世,凯旋门真人娱乐平台包括HiQ量子计算模拟器与基于模拟器开发的HiQ量子编程框架....

的头像 EETOP 发表于 10-17 10:08 221次 阅读
华为在量子计算领域取得最新进展

一起学习总书记关于人工智能的部分论述

未来10年,将是世界经济新旧动能转换的关键10年。人工智能、大数据、量子信息、生物技术等新一轮科技革....

的头像 中国人工智能学会 发表于 10-16 10:39 229次 阅读
一起学习总书记关于人工智能的部分论述

厄米拉·马哈德夫:怎么知道量子计算机是否做了量子计算呢?

Mahadev现在是伯克利大学的博士后研究员。近日,她在计算机科学基金会的年度研讨会——理论计算机领....

的头像 人工智能学家 发表于 10-15 16:14 208次 阅读
厄米拉·马哈德夫:怎么知道量子计算机是否做了量子计算呢?

防止中国超车,美国投入15亿美金发展量子计算

展望量子世代,其实美国是非常害怕中国跟欧洲国家的挑战,美国能源部今年九月宣布拿出2.18亿美元投入量....

的头像 章鹰 发表于 10-15 10:00 685次 阅读
防止中国超车,美国投入15亿美金发展量子计算

高通被微软挖墙角 专注量子计算项目

外媒报道,正在致力于研发量子计算机的微软公司,已经从高通挖来了一批工程师,参与该项目的一款芯片开发。

的头像 半导体行业 发表于 10-14 09:32 226次 阅读
高通被微软挖墙角 专注量子计算项目

微软挖角高通芯片工程师 目的打造量子计算机耐极寒的芯片

由于量子计算人才短缺,企业往往需要借助创业公司或者成熟芯片公司人才来加速发展,微软显然也在从这方面入....

的头像 章鹰 发表于 10-12 08:04 947次 阅读
微软挖角高通芯片工程师 目的打造量子计算机耐极寒的芯片

伯克利研究生解决量子计算验证问题

量子计算研究人员不仅对Mahadev的协议所取得的成就感到高兴,更对她为解决这个问题所采取的全新方法....

的头像 新智元 发表于 10-11 09:53 244次 阅读
伯克利研究生解决量子计算验证问题

D-Wave首次向公众开放量子计算能力

学习如何在量子计算机上编程需要一些耗费时间。因为它的处理器不像我们用的传统电脑一样,你必须训练芯片来....

的头像 将门创投 发表于 10-10 09:50 181次 阅读
D-Wave首次向公众开放量子计算能力

量子计算机投入研发20年,刚进入“电子管时代”

虽然无数次听过量子计算机的大名,但就像所有带“量子”两字的概念,人们大多不甚了然。量子计算机的概念1....

的头像 罗欣 发表于 10-08 15:37 514次 阅读
量子计算机投入研发20年,刚进入“电子管时代”

什么是量子通信与量子计算,基础知识讲解

本文首先介绍量子相关的基本概念、性质及基本原理;接着,从量子通信和量子计算两个部分阐述其原理与发展现....

的头像 EETOP 发表于 10-05 16:36 240次 阅读
什么是量子通信与量子计算,基础知识讲解

量子计算机真的要出现了?英特尔已研发出量子计算芯片?

现在,一场制造商业上可行的量子计算机的竞赛已经开始。作为英特尔研究院量子应用与架构总监,Anne M....

的头像 EETOP 发表于 10-03 09:28 824次 阅读
量子计算机真的要出现了?英特尔已研发出量子计算芯片?

比特币的新技术可使量子支票交易系统更安全

来自的印度科学研究院的科学家Prasanta Panigrahi带领他的团队对此展开研究,证明量子计....

发表于 10-01 09:00 373次 阅读
比特币的新技术可使量子支票交易系统更安全

量子计算机是否真能改变比特币挖矿市场?

从根本来看,比特币是一种分散式货币,由于采用了比特币挖掘算法,因此可以与区块链并存。所以,从区块链发....

发表于 09-30 11:16 304次 阅读
量子计算机是否真能改变比特币挖矿市场?

福特汽车与NASA签署价值10万美元的合同,用量子计算解决路线优化问题

当地时间9月27日,美国福特汽车公司与美国国家航空航天局(NASA)的量子人工智能实验室(QuAIL....

的头像 罗欣 发表于 09-30 09:39 552次 阅读
福特汽车与NASA签署价值10万美元的合同,用量子计算解决路线优化问题

详解加速数字化转型的人工智能(AI)和数字退火量子

另一项所展示的富士通AI案例为量子计算-启发数字退火量子,这是富士通在5月15日推出的一种云服务。之....

的头像 富士通电子 发表于 09-29 17:55 764次 阅读
详解加速数字化转型的人工智能(AI)和数字退火量子

浅析量子计算机的运算原理与技术实现

量子力学以“新材料”方式推动技术发展,比如半导体材料导致计算机诞生。现在的材料学、化学、固体物理、核....

的头像 ittbank 发表于 09-29 16:28 370次 阅读
浅析量子计算机的运算原理与技术实现

简述量子通信与量子计算的原理及发展现状

量子信息技术主要包括量子通信和量子计算,由于它们具有潜在的应用价值和重大的科学意义,正引起人们广泛的....

的头像 传感器技术 发表于 09-27 17:36 328次 阅读
简述量子通信与量子计算的原理及发展现状

微软在丹麦建立用于量子计算的材料实验室

美国众议员Tom Emmer计划提出三项法案,支持区块链技术和密码货币,并打算在未来几周将其引入国会....

的头像 E安全 发表于 09-26 15:55 320次 阅读
微软在丹麦建立用于量子计算的材料实验室

人工智能、量子计算,为区块链带来了新曙光

在经历过2017年的数字货币大行情以后,市场已渐渐地回落,甚至对于部分的投资者来说,随着以太坊价格的....

发表于 09-25 11:02 425次 阅读
人工智能、量子计算,为区块链带来了新曙光

白宫量子计算峰会谷歌、微软、IBM等公司开展竞赛

据路透社报道,白宫将于周一召开会议,讨论美国政府如何推动量子信息科学。此次会议由白宫科技政策办公室组....

的头像 芯榜 发表于 09-24 22:18 1784次 阅读
白宫量子计算峰会谷歌、微软、IBM等公司开展竞赛

2018年全球量子计算领域论文、专利、量子芯片的研发状况如何?

本文从论文产出、专利产出、量子芯片开发等角度入手,考察2018年全球量子计算领域研发概况。

的头像 微波射频网 发表于 09-24 11:32 537次 阅读
2018年全球量子计算领域论文、专利、量子芯片的研发状况如何?

2018全球量子计算芯片研发概况及水平分析

20世纪90年代,全球量子计算领域研究开始进入快速增长期,各国开始在量子信息领域投入科研经费。此后,....

的头像 全球技术地图 发表于 09-23 12:04 1076次 阅读
2018全球量子计算芯片研发概况及水平分析

阿里成立平头哥半导体公司;丁文武指出我国芯片产业差距;中国集成电路将站稳脚跟 |新闻精选

近日,由墨尔本皇家理工大学量子计算卓越中心实验室主任Alberto Peruzzo博士领导的研究小组....

的头像 TechSugar 发表于 09-21 14:16 1402次 阅读
阿里成立平头哥半导体公司;丁文武指出我国芯片产业差距;中国集成电路将站稳脚跟 |新闻精选

英特尔引领计算创新,让量子计算成为现实

“量子计算是个长期项目,但它有实现计算革命的潜力”

的头像 知IN 发表于 09-20 17:02 481次 阅读
英特尔引领计算创新,让量子计算成为现实

人工智能的重新定义,AI将成为人类的「守护天使」

首先,马云认为,「人工智能」这个翻译并不科学,他认为「AI」应该翻译成「机器智能」。汽车比人跑得快,....

的头像 机器人前沿 发表于 09-19 14:17 422次 阅读
人工智能的重新定义,AI将成为人类的「守护天使」

比特币常见问题解答

比特币是一个共识网络,促成了一个全新的支付系统和一种完全数字化的货币。它是第一个去中心化的对等支付网....

发表于 09-17 09:11 35次 阅读
比特币常见问题解答

如何保护区块链网络免受量子计算机的攻击?

事实上,尽管人们对加密货币的波动性提出了种种担忧,但区块链网络的安全性却很少受到质疑。毕竟,加密货币....

发表于 09-13 12:28 97次 阅读
如何保护区块链网络免受量子计算机的攻击?

IBM第一台量子计算机“三年面市”之说,能否经得起推敲?

9月11日,一篇叫《忘掉刘强东!美国突然宣布大消息,一场风暴要来了!》的微信公众号文章广为转发:“刚....

的头像 罗欣 发表于 09-13 10:18 598次 阅读
IBM第一台量子计算机“三年面市”之说,能否经得起推敲?

各大巨头角逐量子计算,谁将赢得胜利?

相比于世界上现有的计算机,量子计算机能够以更快的速度解决极其复杂的计算问题。但目前还没有就开发量子计....

的头像 人工智能学家 发表于 09-12 09:28 528次 阅读
各大巨头角逐量子计算,谁将赢得胜利?

量子计算机能否揭开我们身体和宇宙的奥秘?

据国外媒体报道,长期以来量子计算机一直被吹捧为功能强大得令人难以置信的机器。相比于世界上现有的计算机....

的头像 EETOP 发表于 09-10 16:59 1057次 阅读
量子计算机能否揭开我们身体和宇宙的奥秘?

量子计算技术离我们究竟还有多远呢?

量子计算是当之无愧的次世代计算技术,凭借着量子的不确定性,量子计算有着超越现代计算机数十倍的计算能力....

的头像 EETOP 发表于 09-10 10:59 335次 阅读
量子计算技术离我们究竟还有多远呢?

根据需要在两个量子位之间放置“远距传送”的量子门

这一体系结构中的模块彼此之间处于自然隔离状态,从而简化了通过大型系统带来的不必要的交互过程。研究人员....

的头像 新智元 发表于 09-08 08:57 522次 阅读
根据需要在两个量子位之间放置“远距传送”的量子门

中科大成功研制出光子频率和相位均可调控的量子模拟器

李传锋研究组在光学系统中完成了这一任务。他们把单个光子的偏振作为量子比特,而光子的频率作为环境,构造....

的头像 新智元 发表于 09-04 08:36 763次 阅读
中科大成功研制出光子频率和相位均可调控的量子模拟器

你真的理解什么是P,什么是NP吗?

如果计算机科学家希望能用一个叫做“复杂度”的东西对问题进行分类,那么一个问题有多困难?这会是他们需要....

的头像 论智 发表于 09-02 09:43 804次 阅读
你真的理解什么是P,什么是NP吗?

如何用个人电脑打造量子模拟器?

量子编程语言包括命令式量子编程语言、函数式量子编程语言和多范式量子编程语言三类。

的头像 EETOP 发表于 08-30 15:20 421次 阅读
如何用个人电脑打造量子模拟器?

量子计算的历史与未来

这是因为谷歌、IBM和其他公司已经决定,是时候对这一技术进行大量投资了,这反过来又帮助量子计算在金融....

的头像 人工智能 发表于 08-29 16:06 1265次 阅读
量子计算的历史与未来

巨头争霸,量子计算性能甩最快超算一大截!

英国《经济学人》杂志近日撰文称,虽然许多科技巨头和各国政府都在努力发展量子计算,但这项技术有可能遭遇....

的头像 EETOP 发表于 08-22 17:36 946次 阅读
巨头争霸,量子计算性能甩最快超算一大截!

我国研发出一款通用量子计算芯片 将加快我国量子计算机研发速度

量子计算机是未来新型计算机中的一种,也是最近大热的新技术之一,这两年经常能听到量子计算机的重大进展,....

发表于 08-21 16:49 190次 阅读
我国研发出一款通用量子计算芯片 将加快我国量子计算机研发速度

关于量子计算充满希望但又不可预测的前景,以及量子计算项目管理的特殊性

Martinis表示,在Google,“我们聘请了各种各样的工程师和物理学家。我们倾向于聘用那些学过....

的头像 物联网之声 发表于 08-20 15:48 585次 阅读
关于量子计算充满希望但又不可预测的前景,以及量子计算项目管理的特殊性

如何建立一个量子区块链来保护区块链数据

这种机器与传算机相比,能以指数速度计算数据。今年早些时候,谷歌开始对量子计算机芯片Bristle....

发表于 08-14 14:34 488次 阅读
如何建立一个量子区块链来保护区块链数据

天才少年Ewin Tang发现可替代量子计算的经典推荐算法

接着,Tang和Aaronson开始努力证明这一存在,Tang发现的这种经典算法是直接收到了Kere....

的头像 论智 发表于 08-03 08:59 1793次 阅读
天才少年Ewin Tang发现可替代量子计算的经典推荐算法

量子计算你了解多少?你应该知道的七个事实详细概述

在很多人眼中,量子计算机被认为能够完成经典计算机所不能完成的任务。聚焦前沿科技创新与传统产业升级

的头像 人工智能学家 发表于 07-29 11:24 951次 阅读
量子计算你了解多少?你应该知道的七个事实详细概述

未来五年五大科技预测是哪些?

目前FHE 速度太慢且成本很高,还不能广泛应用,但算法调优和硬件加速技术已经将 FHE 的运行时间和....

的头像 悟空智能科技 发表于 07-26 11:29 1024次 阅读
未来五年五大科技预测是哪些?

富士通量子计算芯片即将量产 英特尔不甘落后推出双量子计算

量子计算之所以重要,是因为其具备快速解决过去很难利用传算架构解决的“人类规模”问题的能力,比如说....

的头像 芯师爷 发表于 07-25 15:04 972次 阅读
富士通量子计算芯片即将量产 英特尔不甘落后推出双量子计算

量子计算机未来可解决大规模计算的科学难题

借助量子计算的并行性带来指数级的加速,将能远远超越现有经典计算机的速度。当量子计算时代到来时,利用G....

的头像 人工智能学家 发表于 07-20 17:21 524次 阅读
量子计算机未来可解决大规模计算的科学难题