第80章 不可能的任务
就在柯凡夺冠的同一时间,江铭的视野侧面弹出了提示。
【恭喜宿主完成任务:做成功男人背后的男人。评分A,奖励结算中...】
【恭喜获得1500点信息学经验,400点数学经验,绿色抽奖券一张。】
江铭一喜,告别了聂老,转身离席,回到了酒店房间。
他没有在观众席等着向柯凡道喜,他刚刚拿下了三年来华国第一个围棋世界冠军,有无数媒体在排着队等着采访他。
回到房间,江铭迫不及待地打开了面板。
—————————————
信息学(主学科):Lv1 (3020/3000)
数学:Lv1 (500/3000)
微电子工程学: Lv0 (200/1000)
物理学:Lv0 (50/1000)
生物学:Lv0 (50/1000)
积分: 415
—————————————
江铭看着面板数据,长舒一口气。
这一趟樱花国之行,简直成果颇丰!
一口气完成了两个任务,而且评分都是A,他竟然一下子就把信息学经验提高到了又可以晋升的程度了。
【叮!】
【检测到信息学经验点数达到3000点,可选择开启晋升任务。】
【晋升任务A:拟人智慧。设计并实现可通过图灵测试的人工智能。】
【晋升任务B:星地连接。推动实现蓝星与月球的远距离量子密钥分发。】
【晋升任务C:算力跃进。设计并实现2000万个量子比特的量子计算机。】
【晋升任务D:理论突破。解决信息学世界难题P/NP问题。】
【晋升任务E:秩序涌现。提出闭环理论以支配复杂系统的涌现行为。】
【晋升任务F:星链通信。在近地轨道铺设超过200颗卫星,以实现蓝星全球低延时通信。】
【上述晋升任务需达成两项,可将信息学等级晋升到Lv2。】
【无需提前选择任务,完成即可结算,每项任务完成及时奖励积分1000点。】
我靠,两项?
江铭震惊,这一次的晋升任务是不是太难了点?
上面这六项,有些是他根本没了解过的,有些是有所了解但是完全没头绪的。
这系统对自己的实力是不是有什么误判啊!
江铭第一次体会到那种在上课的时候走了个神,回过神来的时候发现老师已经写了一黑板看不懂符号的感觉。
他在心里默默盘算,从上到下翻来覆去地看着几个任务。
首先是任务A,这个是他相对最熟悉的领域。
图灵是蓝星的信息学鼻祖之一,曾经在一次会议上,他提出了所谓人工智能的定义。
而图灵测试,就是为了判断人工智能的能力是否达到一定水平所提出来的。
具体内容是让人类评判员在不可见的情况下,与一台机器和另一个人类进行对话后,看能不能一致地判断出哪个是机器。
如果连人都分不清电脑另一头和他对话的是人还是机器,那便可以说明人工智能的能力已经达到了人的程度。
江铭预感这个任务可能需要比现在大得多的算力和大量的数据。
甚至还需要一些理论上的创新也说不定。
毕竟自己的小澄翻译傻傻的,缺乏了点人味,如果基于LSTM堆大量数据的话,似乎是没法完成任务的。
当然这也可能是因为翻译软件被妹妹逼着叫“小澄”的关系。
江铭撇撇嘴,如果自己真能做出来一个足够通过图灵测试的人工智能,这回必须得叫“小铭同学”!
再看看其他任务。
任务B和C都是和量子有关的,江铭目前的了解还不太多,只能考虑等物理学等级提升之后,考虑一下找物理领域实验室合作,寻求一些出路。
再看晋升任务D...
“我靠,系统你还有没有人性...”
江铭简直想直接放弃了这个任务。
这个问题他之前在信息学的书籍中读到过。
P/NP问题的阐述很简洁,只有一句话。
所有可以在多项式时间内验证解的问题是否也可以在多项式时间内解决?
然而,这个问题的难度甚至可以与数学中的哥德巴赫猜想,以及物理中的大统一理论并肩。
这个问题同时还被列入了蓝星千禧年七大数学难题之一,或者说是之首。
如果解决这个问题,甚至提出足以帮助解决这个问题的思路,就能获得整整800万蓝星币!
江铭当然对此垂涎很久,但即使拥有系统,也对这个问题感到彻彻底底的无从下手。
这其中涉及到一个所谓时间复杂度的概念,也就是利用算法求解某一问题所需要的时间与这个问题的规模的关系。
比如其中最著名的NP-hard问题,旅行商问题。
假设有一个旅行商需要访问一系列城市,每个城市访问一次后返回出发点,目标是找到一条最短可能的路径来完成这次旅行。换句话说,旅行商希望在访问所有城市恰好一次后返回起点,并且总的旅行距离(或成本)尽可能小。
用数学语言来表述的话,就是给定一个完全图,其中包含n个顶点(城市)和边(连接城市的道路),每条边都有一个权重(代表两个城市之间的距离)。旅行商问题要求找到一个哈密顿回路(经过每个顶点恰好一次的回路),使得这个回路的总权重(即路径长度)最小。
这个问题的验证时间复杂度是O(n),也就是说只需要差不多n次计算机运算,即可验证给定的路径是否可行。
然而现有的解决旅行商问题算法只有暴力搜索这一种,时间复杂度是O(n^2 * 2^n),这意味着即使只有100个顶点,所需要消耗的资源已经到达了一个天文数字!
也就是说,江铭需要提出一种快速算法,能解决旅行商问题,证明P=NP。
或者是想尽办法,找到一种证明P不等于NP的思路。
这真的不是凑数任务吗?江铭吐槽。
事实上,世界上的许多难题,都可以通过数学规约,规约到一个NP完全问题。
如果真的找到这样一种快速算法,全人类怕不是都要集体飞升了!
江铭又看向最后两个任务。
“提出闭环理论以支配复杂系统的涌现行为么...”,江铭陷入了思索。