“费马大定理”
阿达民的话,让莱斯利兰伯特很意外,他愣了一会儿才想起自己是为何而疑惑。
这位阿达民先生,他不知道“费马大定理”已经被证明了吗,但即便如此,自己要不要直言相告,冒这样的风险去揭短呢。
这边还在犹豫,线路另一头,asa的提醒已做了这样一件事。
“哦,是这样,费马大定理已经被人类证明过了。
那么换一个待解决的猜想,怎么样,兰伯特先生,我们咨询一下数学家们,或者从数据库里找几个难度较高的猜想,让二号机尝试证明一下,这是否能验证,混沌系统的能力究竟如何。”
“理论上讲,这样做是有一定的价值。”
所谓当局者迷,身在“强人工智能”研发组,从一开始就瞄准自主思维的设计目标,长期以来莱斯利兰伯特所想的,几乎都是如何让ai具备自主思维,创造性、探索性研究的能力,而几乎没考虑过别的。
不过,接触这一设想后,凭借自己对“混沌”系统的观察,兰伯特还是不自觉的在屏幕前摇一摇头,他并不认为现在的“混沌”能解决多么高深的数学问题。
从数论中的一个普通结论,到长久未解决的猜想,难度究竟差多少。
这问题,别说普通民众,即便在数学领域摸爬滚打多年的研究者,也不一定能给出准确的回答,甚至往往要等到猜想被解决后,才能有一个相对准确、公允的评价,然而此时猜想已经被解决,这种回答的价值,自然也近乎于零。
身为一名数学领域的涉猎者,在这方面,莱斯利兰伯特凑巧有详细的观察与思考。
权衡利弊后,他直接向阿达民指出,所谓“选择高难度的猜想”,这一设定本身就包含极大的不确定性数学猜想的“难度”,并无绝对标准,而几乎完全由研究者的数量、水平,和猜想屹立的时间长短来决定。
譬如著名的“费马大定理”,从西历1092年提出,到西历1450年解决,包括欧拉、柯西、高斯、勒贝格等著名数学家都牵扯其中。
这么多顶尖头脑的努力,前后也经历了三百多年时间,才最终将其证明。
这样的现实,在费马大定理被证明之前,的确可以作为很有利的论据,证明这一定理其实应该用“猜想”的难度之高。
但是这一原则,很显然,并无法应用到所有的数学结论、猜想之上。
现代数学,已经发展到怎样的程度,兰伯特略知一二,他很清楚数学这一棵参天大树,现如今是怎样的枝繁叶茂。
具体到每一个分支,又有近乎无数的研究成果与未解之谜,即便动员旧时代的所有数学家,殚精竭虑,也绝无可能针对每一个猜想、结论都展开详尽而长久的研究,因而也不可能凭借“研究者数量、水平、时长”的大原则,判断问题的难度。
道理很简单,人类根本没有这么多顶尖人才,仅有的人才,也断然无法将所有时间精力耗费在理论研究、猜想证明上。
浩如烟海的数学领域中,会埋伏着多少无人问津的猜想、结论、命题。
所有这些命题,其中,必定有一些难度极高,甚至远远超越人类现有知识的存在,但因为无人关注,甚至无人发现,对其实际难度,人类根本就一无所知。
不仅如此,从另外一个角度,哪怕对于那些流行于世、知名度极高的数学猜想,要在这些猜想被数学家证明证伪之前,判断其难度,事实上也相当于一种“未卜先知”,根本是不切实际的幻想。
很多数学猜想,譬如“哥德巴赫猜想”就属于这一类,迄今为止,数学家们掌握的手段,都只能迫近、而无法将其解决。
这意味着,要么“哥德巴赫猜想”无法被证明证伪,要么就需要一些崭新的数学研究成果、理论,不论哪一种,今天的数学家们都无从判断,更谈不上给出一个具体的时间工作量预测,最后,只能认定其难度的下限,而无法判断其上限。
除此之外,另有一些猜想,譬如已经被安德鲁怀尔斯证明的“费马大定理”,在最终被证明前的若干年,就有一定的迹象显示其“很有可能被解决”。
即便如此,作为投入进攻的数学家,安德鲁怀尔斯本人在一开始也必定没有十成把握。
事实上,但凡在开始工作之前,有足以判断该猜想之难度的所谓“十成把握”,当事者立即就可以宣称自己已解决了该猜想,接下来,只要潜心完善证明过程即可,这是数学界时常出现、公认有效的做法。
总结起来,对一个尚未解决的数学猜想,不论是否有思路,都无法准确判断其难度,这才是实际情况。
既然是用来验证“混沌”系统的能力,难度未知的猜想,就不是一种合适的题材。
尽管如此,阿达民提出的设想,兰伯特还是不想直接拒绝,想一想反正也没关系,就应承下来,比较随意的选择“黎曼猜想”送入二号机。
论说起来,具有一百多年历史的“黎曼猜想”,显然也不是好啃的硬骨头。
西历1497年4月10日,“强人工智能二号机”接到外部指令,尝试解析一个已有命题,当然,以黎曼命名的该猜想,在系统的基本数据库里是已经存在的,指令要求是“尝试证明证伪”,然后就是等待结果。
时间,一天天过去,不论阿达民、还是研究者,都没有耐心等待太久。
但任凭怎样运转,系统监测显示约60的算力都被这一指令占用,直到1497年5月10日,持续运转七百多小时的“混沌”仍未给出任何结论。
不仅如此,对“混沌”系统的当前状态,是否在这一过程中有所收获、还是茫然不知所以,由于“强ai”的总体架构与传统计算机体系迥异,现在也没办法知道,唯一能确定的,是一个月的时间并不足以解决“黎曼猜想”。
猜你喜欢
- 车窗车门和车底
- 不想写老坑,开个新坑。205X年星际殖民地背景,受与炮灰攻走肾,和正牌攻走心。他跟我说他出轨了,我觉得这理由很奇怪"
- 停车我要下车
- 2020年9月2日,中元节,一场诡异流星雨后,地球灵气复苏“恭喜陆长卿,加入灵气复苏大军不足1个月,在自身的不懈努力之下,喜提宇宙本源火焰之一的虚无冰焰 沉睡一个月醒来,熟悉的世界大变,鬼怪横行,该何去何从?
- 干车
- 现代都市 忠犬温柔攻X略带羞耻可爱受 温馨宠溺 日常故事 多酱油 HE
- Angelia不说永远
- 殷漠森
- 2018-3-9 00:28 上传晋江VIP2017-12-31完结文案穆嘉一最近发现了一件有趣的事情他的读者群中来了个读者天天晒吃晒喝晒消费还说自己一个月工资八千上万于是穆嘉一问他做什么的他每回都笑笑不说,很神秘的样子直到有一天穆嘉一把他搞上了才知道他是开情趣店的起初穆嘉一以为自己爽了,谁知道自己
- 車干軒子轩/车干轩子轩
- 2017-5-24 08:20 上传晋江2017-05-23完结文案:杨鹏泽睡了一觉居然意外的捡个小媳妇儿“宝,给老公生个孩子呗”杨鹏泽说道。柳鸿宝坐在沙发上红着脸,低着头玩着手指说道“已经生了呀“鸿宝,给妈妈生个孙子呗”杨妈妈说道。柳鸿宝坐在沙发上红着脸,低着头玩着手指说道“已经生了呀”其实杨爸爸
- 一刀条
- 现代肉文 各种猛男大叔攻X官二代YD受 现实向同志风 慎入 HE
- 剑刻天下
- 一个加班猝死的奋斗狗穿越异世界走上巫师之路并最终成为永恒的故事 背景中世纪(13~15世纪)传统巫师芯片流,但芯片不是重点,世界观塑造也跟其他巫师流有较大区别 世界观完善、背景丰富、主角性格积极向上 望!求!支!持!
- 李永生
- 古代 贫苦攻X温和受 平淡 种田文 BE