ABC猜想最先由乔瑟夫·奥斯达利(Joseph Oesterlé)及大卫·马瑟(David Masser)在1985年提出,一直未能被证明。其名字来自把猜想中涉及的三个数字称为A、B、C的做法。
2012年8月,日本的京都大学数学家望月新一称证明了此猜想,但因其研究工具与论文无人看懂,故无法验证是否正确,此猜想至今仍未解决。
abc猜想(abc conjecture)最先由Joseph Oesterlé及David Masser在1985年提出。它说明对于任何ε>0,存在常数Cε> 0,并对于任何三个满足a+ b= c及a,b互质的正整数a,b,c,有:
其中,rad(n)表示n的质因数的积, 如 rad(72) = rad (2×2×2×3×3) = 2×3 = 6 。
1996年,爱伦·贝克提出一个较为精确的猜想,将rad(n)用
取代,其中ω是a,b,c的不同质因子的数目。
abc猜想将许多丢番图问题都包含在其中,比如费马大定理。同许多丢番图问题一样,abc猜想完全是一个素数之间关系的问题。史丹福大学布拉恩·康拉德(Brian Conrad)曾说,"在a、b和a+b的素数因子之间存在着更深层的关联"。
ABC@home 是一个由荷兰的一个数学研究院 Mathematical Institute of Leiden University 运作的,基于 BOINC 分散式计算平台的数学类项目,旨在通过搜寻满足ABC猜想条件的三元数组获得这些数组的分布从而帮助数学家解决这个猜想。 |
即它利用分散式计算穷举直到 c<=10的满足ABC猜想条件的 (a,b,c) 三元数组,也就是说满足要求 c=a+b, a
项目通过研究这些三元数组的分布,试图寻找证明ABC猜想这个数学未解问题的方法。如果证明了ABC猜想,就可以部分证明费马-卡特兰 (Fermat-Catalan) 猜想,完全证明 Schinzel-Tijdeman 猜想等等。ABC猜想的具体内容是:对于所有e>0,存在与e有关的常数C(e),对于所有满足a+b=c,a与b互质的三正整数组(a,b,c),均成立 c<=C(e)((rad(abc))^(1+e))。支持ABC猜想的证据有很多,比如说ABC猜想的多项式版本成立,ABC猜想也蕴含了费马大定理。D. Goldfeld 评价ABC猜想为"丢番图分析(意即系数与解均为整数的方程的分析)领域中最重要的未解决问题"。 ABC@home 希望能够通过了解满足条件的三元数组的分布来协助数学家解决ABC猜想。
许多数学家都花费了大量的精力试图证明这一猜想。在2007年,在法国数学家吕西安·施皮罗(Lucien Szpiro)在1978年的研究工作的基础之上,首次宣布对abc猜想的证明,但很快就发现证明中存在着缺陷。
2006年,荷兰莱顿大学数学系和荷兰Kennislink科学研究所联合启动了一个BOINC项目名为"ABC@Home",用以研究该猜想。
2012年8月,日本京都大学数学家Shinichi Mochizuki(望月新一)公布了有关abc猜想(abc conjecture)长达500页的证明。虽然尚未被证实整个证明过程是正确无误的,但包括陶哲轩在内的一些著名数学家均对此给出了正面评价。
美国哥伦比亚大学数学家Dorian Goldfeld评价说:"abc猜想如果被证明,将一举解决许多著名的Diophantine问题,包括费马大定理。如果Mochizuki的证明是正确的,这将是21世纪最令人震惊的数学成就之一。"
望月新一的研究工作与前人的努力并没有太多关联。他建立了一套全新的数学方法,使用了一些全新的数学"对象"--这些抽象实体可类比为我们比较熟悉的几何对象、集合、排列、拓扑和矩阵,只有极少的数学家能够完全理解。就如同戈德费尔德所说:"在当今,他或许是唯一一个完全掌握这套方法的人。"
康拉德认为,这项研究工作"包含着大量的深刻思想,数学界要想完全理解消化需要花很长的时间"。整个证明包含四个长篇论文,每一篇都是建立在之前论文的基础上。"需要花费大量的时间来研读并理解这些深奥的长篇证明,所以我们不能仅仅关注此证明的重要性,更重要的是沿著作者的证明思路进行研究。"
望月新一取得的研究成果使得这一切努力都是值得的。康拉德说:"望月新一曾经成功证明过极为艰深的定理,并且他的论文表达严谨,论述周密。这些都使我们对于成功证明abc猜想充满了信心。"另外,他还补充道,所取得的成绩并不仅限于对此证明的确认。"令人感到兴奋的原因不仅仅在于abc猜想或许已被解决,更在于他所使用的方法和思想将会成为以后解决数论问题的有力工具。"
历史上反直觉的却又被验证为正确的理论,数不胜数。 一旦反直觉的理论被证实是正确的,基本上都改变了科学发展的进程。举一个例子:牛顿力学的惯性定律,物体若不受外力就会保持当前的运动状态,这在17世纪无疑是一个重量级的思想炸弹。"物体不受力当然会从运动变为停止",这是当时的普通人基于每天的经验得出的正常思想。而实际上,这种想法,在任何一个于20世纪学习过国中物理、知道有种力叫摩擦力的人来看,都会显得过于幼稚。但对于当时的人们来说,惯性定理的确是相当违反人类常识的!
ABC猜想之于数论研究者,就好比牛顿惯性定律之于17世纪的普通人,更是违反数学上的常识。这一常识就是:"a和b的质因子与它们之和的质因子,应该没有任何联系。" 原因之一就是,允许加法和乘法在代数上互动,会产生无限可能和不可解问题,比如关于丢番图方程统一方法论的希尔伯特第十问题,早就被证明是不可能的。如果ABC猜想被证明是正确的,那么加法、乘法和质数之间,一定存在人类已知数学理论从未触及过的神秘关联。
或证明ABC猜想美国哥伦比亚大学数学家Dorian Goldfeld评价说:“abc猜想如果被证明,将一举解决许多著名的Diophantine问题,包括费马大定理。如果Mochizuki的证明是正确的,这将是21世纪最令人震惊的数学成就之一。”望月新一的研究工作与前人的努力并没有太多关联。他建立了一套全新的数学方法,使用了一些全新的数学“对象”——这些抽象实体可类比为我们比较熟悉的几何对象、集合、排列、拓扑和矩阵,只有极少的数学家能够完全理解。就如同戈德费尔德所说:“在当今,他或许是唯一一个完全掌握这套方法的人。”康拉德认为,这项研究工作“包含着大量的深刻思想,数学界要想完全理解消化需要花很长的时间”。整个证明包含四个长篇论文,每一篇都是建立在之前论文的基础上。“需要花费大量的时间来研读并理解这些深奥的长篇证明,所以我们不能仅仅关注此证明的重要性,更重要的是沿着作者的证明思路进行研究。”望月新一取得的研究成果使得这一切努力都是值得的。康拉德说:“望月新一曾经成功证明过极为艰深的定理,并且他的论文表达严谨,论述周密。这些都使我们对于成功证明abc猜想充满了信心。”另外,他还补充道,所取得的成绩并不仅限于对此证明的确认。“令人感到兴奋的原因不仅仅在于abc猜想或许已被解决,更在于他所使用的方法和思想将会成为以后解决数论问题的有力工具。 望月新一遇到的情况却有点不同。他已经在ABC猜想的证明工作上独自思考了20年,建立起了他称之为“宇宙际Teichmüller理论”的新世界,定义了各种前所未有的神秘术语,比如第一篇论文讲了“霍奇影院”(Hodge Theater)的构造,第二篇论文则引入了“外星算数全纯结构”(alien arithmetic holomorphic structures)。代数几何和数论领域的大多数资深数学工作者都认为,望月的理论过于玄妙,不值得花上几年时间去仔细阅读,弄清楚新定义的术语、推理的脉络和理论的结构。诚然,最坏的可能是,到头来大家发现这个新理论把自己绕进了死胡同;当然,最好的结果是,望月的证明建立起了新的数学分支,将代数几何和数论统一起来。望月开始埋头研究ABC猜想的证明时,距猜想提出不过10年,而且几乎没有任何进展,望月可以说是几乎从零开始的。之所以说 “几乎”,是因为望月20多岁时,在“远阿贝尔几何”[1]领域中作出过超卓贡献,还被邀请到4年一届的国际数学家大会上演讲。然而,1988年柏林的数学家大会结束之后,望月就从学术界消失,潜心于他自己的宇宙去证明ABC猜想了。他用的理论工具,正是“远阿贝尔几何”。可以说,望月证明ABC猜想的目的之一,就是要把远阿贝尔几何发扬光大。远阿贝尔几何这个数学分支,由代数几何教皇格罗腾迪克于上个世纪80年代创建,研究对象是不同几何物体上的代数簇的基本群的结构相似性。对于数学家来说,检查望月的证明是否存在错漏的另外一个难题就是:要透彻理解望月那512页的ABC猜想的证明,需要先弄懂望月关于远阿贝尔几何的750页的著作!全世界总共只有约50名数学家在这方面有足够的背景知识去通读望月这本远阿贝尔几何著作,更别提望月在证明猜想中建立起来的“宇宙际Teichmüller理论”了。目前为止,自称“宇宙际几何学者”的望月,是他自己创造出的宇宙中的独行者。大多数数论工作者希望,望月能够就他的证明写出一个综述,将整套理论的逻辑脉络展现给大家,比如为什么要引入定理X和概念Y,怎么层层推进到最终猜想的证明。设立千禧年大奖的克雷数学研究所也在考虑邀请望月开办一个讨论班,邀请世界上最优秀的数论和代数几何学家参加,大家一同学习这个新理论。不过,关于望月新一本人,他在发布证明之后拒绝了任何采访,而且他不喜好社交。关于望月的这种出世的行事方法,牛津大学数学教授金明迥作出的评价是:“当你沉浸在自己的理论宇宙中太久,你会察觉不到他人对于你的理论的困惑,因为你先入为主地假设了所有人都明白很多基础知识。”故事到此就告一段落了,大家都在见证历史。疑似比特币创始人2013年5月20日,计算机科学家特德·尼尔森(Ted Nelson,HTTP之父)在youtube上爆料化名中本聪(Satoshi Nakamoto)的比特币创始人其实是京都大学的数学教授望月新一(Shinichi Mochizuki)。没有人知道是谁发明了比特币。开发者使用化名,中本聪,但从比特币出现的那一刻起,人们就没停止过对中本聪身份的挖掘。并且从比特币上线那天开始,就有一台计算机在进行比特币挖矿工作,盛传这台机器就是中本聪的。所以如果望月新一真的是中本聪,他的身价显然已经过亿。尼尔森证据有三点:望月新一足够聪明可以想出比特币如此复杂的系统。望月新一不使用常规的学术发表机制。相反,他的习惯是独自工作,发表论文后,让其他人自己理解。望月新一的工作领域包含比特币的数学算法。视频中,尼尔森极尽对望月新一的溢美之词,称他为伟大的经济学家、社会学家和计算机学家,并觉得他应该因为比特币而获得诺贝尔经济学奖。最后他希望望月新一可以将未来的工作重点放在解决人类最复杂的问题上,比如核武器、恐怖主义以及污染问题。不过,有很多人开始提出质疑,例如,望月新一只是一名纯粹的数学家,一个纯粹的数学家开发出能立刻对现实世界产生重要影响的事情,总是会引人怀疑。而且,纯粹的数学家也不太可能开发出比特币这种模式的虚拟货币。不仅如此,从望月新一发表的各种学术作品来看,他对密码学并不感兴趣,这不符合他的研究领域。还有人指出,虽然比特币创始人中本聪是一个日本名字,但未必意味着此人的真实身份一定是日本人,这本身就很容易形成误导。
许多数学家都花费了大量的精力试图证明这一猜想。在2007年,在法国数学家吕西安·施皮罗(Lucien Szpiro)在1978年的研究工作的基础之上,首次宣布对abc猜想的证明,但很快就发现证明中存在着缺陷。2006年,荷兰莱顿大学数学系和荷兰Kennislink科学研究所联合启动了一个BOINC项目名为“ABC@Home”,用以研究该猜想。 2012年8月,日本京都大学数学家Shinichi Mochizuki(望月新一)公布了有关abc猜想(abc conjecture)长达500页的证明。虽然尚未被证实整个证明过程是正确无误的,但包括陶哲轩在内的一些著名数学家均对此给出了正面评价。
abc猜想被证明了。
数论中的abc猜想(亦以Oesterlé–Masser猜想 而闻名)最先由乔瑟夫·奥斯达利(Joseph Oesterlé)及大卫·马瑟(David Masser)在1985年提出,2012年数学家望月新一声称证明了此猜想。
数学家用三个相关的正整数a,b和c(满足a + b = c)声明此猜想(也因此得名abc猜想)。若d是abc不同素因数的乘积,这个猜想本质上是要说d通常不会比c小太多。换句话来说,如果a,b的因数中有某些素数的高幂次,那c通常就不会被素数的高幂次整除。
abc猜想因它所带来的一些关于数论的有趣的结论而著名,很多著名的猜想和定理都紧接着abc猜想问世 。数学家Goldfeld (1996)认为abc猜想是“the most important unsolved problem in Diophantine analysis”。
Lucien Szpiro(法国数学家,因其在数论、算术代数几何和交换代数上的贡献而知其名)在2007年时尝试攻克此猜想,但后被证明其中有误。
在2012年8月,日本的京都大学数学家望月新一(mochizuki shin'ichi)发布了其四篇预印文稿,介绍了他的Inter-universal Teichmüller theory(宇宙际Teichmüller理论),并声称用此理论可证明包括abc猜想在内的几个著名猜想。
他的论文在数学期刊上刊登以供参考查阅,很多人也开始学习他的理论。很多数学家对他的文章持怀疑态度,也正是因为他这篇古怪晦涩的证明,我们知道了,要解决这个猜想或许还是要走上孤独的漫漫长路。
许多数学家都花费了大量的精力试图证明这一猜想。在2007年,在法国数学家吕西安·施皮罗(Lucien Szpiro)在1978年的研究工作的基础之上,首次宣布对abc猜想的证明,但很快就发现证明中存在着缺陷。2006年,荷兰莱顿大学数学系和荷兰Kennislink科学研究所联合启动了一个BOINC项目名为“ABC@Home”,用以研究该猜想。 2012年8月,日本京都大学数学家Shinichi Mochizuki(望月新一)公布了有关abc猜想(abc conjecture)长达500页的证明。虽然尚未被证实整个证明过程是正确无误的,但包括陶哲轩在内的一些著名数学家均对此给出了正面评价。
ABC猜想最先由乔瑟夫·奥斯达利(Joseph Oesterlé)及大卫·马瑟(David Masser)在1985年提出,一直未能被证明。其名字来自把猜想中涉及的三个数字称为A、B、C的做法。
2012年8月,日本的京都大学数学家望月新一称证明了此猜想,但因其研究工具与论文无人看懂,故无法验证是否正确,此猜想至今仍未解决。
abc猜想(abc conjecture)最先由Joseph Oesterlé及David Masser在1985年提出。它说明对于任何ε>0,存在常数Cε> 0,并对于任何三个满足a+ b= c及a,b互质的正整数a,b,c,有:
其中,rad(n)表示n的质因数的积, 如 rad(72) = rad (2×2×2×3×3) = 2×3 = 6 。
1996年,爱伦·贝克提出一个较为精确的猜想,将rad(n)用
取代,其中ω是a,b,c的不同质因子的数目。
abc猜想将许多丢番图问题都包含在其中,比如费马大定理。同许多丢番图问题一样,abc猜想完全是一个素数之间关系的问题。史丹福大学布拉恩·康拉德(Brian Conrad)曾说,"在a、b和a+b的素数因子之间存在着更深层的关联"。
ABC@home 是一个由荷兰的一个数学研究院 Mathematical Institute of Leiden University 运作的,基于 BOINC 分散式计算平台的数学类项目,旨在通过搜寻满足ABC猜想条件的三元数组获得这些数组的分布从而帮助数学家解决这个猜想。 |
即它利用分散式计算穷举直到 c<=10的满足ABC猜想条件的 (a,b,c) 三元数组,也就是说满足要求 c=a+b, a
项目通过研究这些三元数组的分布,试图寻找证明ABC猜想这个数学未解问题的方法。如果证明了ABC猜想,就可以部分证明费马-卡特兰 (Fermat-Catalan) 猜想,完全证明 Schinzel-Tijdeman 猜想等等。ABC猜想的具体内容是:对于所有e>0,存在与e有关的常数C(e),对于所有满足a+b=c,a与b互质的三正整数组(a,b,c),均成立 c<=C(e)((rad(abc))^(1+e))。支持ABC猜想的证据有很多,比如说ABC猜想的多项式版本成立,ABC猜想也蕴含了费马大定理。D. Goldfeld 评价ABC猜想为"丢番图分析(意即系数与解均为整数的方程的分析)领域中最重要的未解决问题"。 ABC@home 希望能够通过了解满足条件的三元数组的分布来协助数学家解决ABC猜想。
许多数学家都花费了大量的精力试图证明这一猜想。在2007年,在法国数学家吕西安·施皮罗(Lucien Szpiro)在1978年的研究工作的基础之上,首次宣布对abc猜想的证明,但很快就发现证明中存在着缺陷。
2006年,荷兰莱顿大学数学系和荷兰Kennislink科学研究所联合启动了一个BOINC项目名为"ABC@Home",用以研究该猜想。
2012年8月,日本京都大学数学家Shinichi Mochizuki(望月新一)公布了有关abc猜想(abc conjecture)长达500页的证明。虽然尚未被证实整个证明过程是正确无误的,但包括陶哲轩在内的一些著名数学家均对此给出了正面评价。
美国哥伦比亚大学数学家Dorian Goldfeld评价说:"abc猜想如果被证明,将一举解决许多著名的Diophantine问题,包括费马大定理。如果Mochizuki的证明是正确的,这将是21世纪最令人震惊的数学成就之一。"
望月新一的研究工作与前人的努力并没有太多关联。他建立了一套全新的数学方法,使用了一些全新的数学"对象"--这些抽象实体可类比为我们比较熟悉的几何对象、集合、排列、拓扑和矩阵,只有极少的数学家能够完全理解。就如同戈德费尔德所说:"在当今,他或许是唯一一个完全掌握这套方法的人。"
康拉德认为,这项研究工作"包含着大量的深刻思想,数学界要想完全理解消化需要花很长的时间"。整个证明包含四个长篇论文,每一篇都是建立在之前论文的基础上。"需要花费大量的时间来研读并理解这些深奥的长篇证明,所以我们不能仅仅关注此证明的重要性,更重要的是沿著作者的证明思路进行研究。"
望月新一取得的研究成果使得这一切努力都是值得的。康拉德说:"望月新一曾经成功证明过极为艰深的定理,并且他的论文表达严谨,论述周密。这些都使我们对于成功证明abc猜想充满了信心。"另外,他还补充道,所取得的成绩并不仅限于对此证明的确认。"令人感到兴奋的原因不仅仅在于abc猜想或许已被解决,更在于他所使用的方法和思想将会成为以后解决数论问题的有力工具。"
历史上反直觉的却又被验证为正确的理论,数不胜数。 一旦反直觉的理论被证实是正确的,基本上都改变了科学发展的进程。举一个例子:牛顿力学的惯性定律,物体若不受外力就会保持当前的运动状态,这在17世纪无疑是一个重量级的思想炸弹。"物体不受力当然会从运动变为停止",这是当时的普通人基于每天的经验得出的正常思想。而实际上,这种想法,在任何一个于20世纪学习过国中物理、知道有种力叫摩擦力的人来看,都会显得过于幼稚。但对于当时的人们来说,惯性定理的确是相当违反人类常识的!
ABC猜想之于数论研究者,就好比牛顿惯性定律之于17世纪的普通人,更是违反数学上的常识。这一常识就是:"a和b的质因子与它们之和的质因子,应该没有任何联系。" 原因之一就是,允许加法和乘法在代数上互动,会产生无限可能和不可解问题,比如关于丢番图方程统一方法论的希尔伯特第十问题,早就被证明是不可能的。如果ABC猜想被证明是正确的,那么加法、乘法和质数之间,一定存在人类已知数学理论从未触及过的神秘关联。
若d是abc不同素因数的乘积,这个猜想本质上是要说d通常不会比c小太多。换句话来说,如果a,b的因数中有某些素数的高幂次,那c通常就不会被素数的高幂次整除。
数论中的abc猜想(亦以Oesterlé–Masser猜想 而闻名)最先由乔瑟夫·奥斯达利(Joseph Oesterlé)及大卫·马瑟(David Masser)在1985年提出,2012年数学家望月新一声称证明了此猜想。数学家用三个相关的正整数a,b和c(满足a + b = c)声明此猜想(也因此得名abc猜想)。
abc猜想因它所带来的一些关于数论的有趣的结论而著名,很多著名的猜想和定理都紧接着abc猜想问世,数学家Goldfeld认为abc猜想是“the most important unsolved problem in Diophantine analysis”。
Lucien Szpiro(法国数学家,因其在数论、算术代数几何和交换代数上的贡献而知其名)在2007年时尝试攻克此猜想,但后被证明其中有误。
在2012年8月,日本的京都大学数学家望月新一(mochizuki shin'ichi)发布了其四篇预印文稿,介绍了他的Inter-universal Teichmüller theory(宇宙际Teichmüller理论),并声称用此理论可证明包括abc猜想在内的几个著名猜想。
他的论文在数学期刊上刊登以供参考查阅,很多人也开始学习他的理论。很多数学家对他的文章持怀疑态度。也正是因为他这篇古怪晦涩的证明,我们知道了,要解决这个猜想或许还是要走上孤独的漫漫长路。不变的是,在我们试证明其正误之时,数学水平得到提高,也终将找到解决abc猜想之路。
物极必反,此是宗教所规定,在灭绝面前还是做减法的好,人类必竟如蚁虫,没必要贪途那些。
今天计算机科学家特德·尼尔森(Ted Nelson)在YouTube上爆料化名中本聪(Satoshi Nakamoto)的比特币创始人其实是京都大学的数学教授望月新一(Shinichi Mochizuki)。原文来自Business Insider,由网易科技翻译。没有人知道是谁发明了比特币。开发者使用化名,中本聪,但从比特币出现的那一刻起,人们就没停止过对中本聪身份的挖掘。并且从比特币上线那天开始,就有一台计算机在进行比特币挖矿工作,盛传这台机器就是中本聪的。所以如果望月新一真的是中本聪,他的身价显然已经过亿。望月新一16岁进入普林斯顿大学,22岁读完博士。33岁成为京都大学全职教授。33岁是一个在学术界显得年轻的荒谬的年龄。望月新一最大的成就是著名的ABC猜想。尼尔森证据有三点(来自华尔街见闻网):一、望月新一是那种能创造比特币的天才。Nelson表示,无论是谁创造了比特币,他都具有可能和牛顿一样的智力。望月新一作为数学家已经在其领域破解一些最简单也是最艰难的难题,并吸引了全球媒体的报道。二、就像比特币的创造者一样,望月新一喜欢将其工作成果发布在互联网上,然后退出。比特币由匿名程序员(或程序员们)以中本聪的名义发布,之后就从互联网消失。望月新一的风格不是将学术成果发表在学术期刊上,而是简单的将之忘互联网上一扔,然后就离开了。Nelson将这两者的风格联系起来对比。(注意,这是Nelson比特币理论的一个错误的地方:中本聪并不是将比特币放到互联网上,然后消失。他、她或者他们在消失之前曾通过聊天和电子邮件与社区成员交流。)三、望月新一很容易写出中本聪的那些通信。Nelson表示,尽管望月新一是日本大学的日本教授,但是他的英语非常好,因为他曾是普林斯顿大学毕业生致辞代表,并且他只用了3年时间就完成了其本科教育。(Nelson并没有注意到,望月新一的母语其实是英语,当他5岁的时候,他跟随父母移居到了美国。)视频中,尼尔森极尽对望月新一的溢美之词,称他为伟大的经济学家、社会学家和计算机学家,并觉得他应该因为比特币而获得诺贝尔经济学奖。最后他希望望月新一可以将未来的工作重点放在解决人类最复杂的问题上,比如核武器、恐怖主义以及污染问题。值得注意的是,至少有一位在比特币加密方面的专家不认同尼尔森的理论。世界第一个数据港的创始人Ryan Lackey反驳了尼尔森,他在YouTube上留言:尼尔森提到的这个人有任何软件开发的经验吗?他看起来只不过是个数学家,数学理论对比特币非常有用,但是不足以据此开发出第一代比特币。比特币有一些理论突破,也对现有的协议进行了扩展,但是其代码实现得相当合理。我认为绝对没有理由认为数学家望月新一是中本聪。随后,Quartz新闻网站联系了望月新一,但是还没有得到回复。不过,尼尔森回答了Quartz的提问。在采访中,Nelson称,他在得出结论的过程中并没有获得其他人的帮助,这一推测是受到最近望月新一的一个特征的启发。他没有直接联系望月新一,“我尽可能快地将我的发现公布出来,希望成为第一个认识到这一真相的人,否则,我就不是第一个了。”
abc猜想被证明了。
数论中的abc猜想(亦以Oesterlé–Masser猜想 而闻名)最先由乔瑟夫·奥斯达利(Joseph Oesterlé)及大卫·马瑟(David Masser)在1985年提出,2012年数学家望月新一声称证明了此猜想。
数学家用三个相关的正整数a,b和c(满足a + b = c)声明此猜想(也因此得名abc猜想)。若d是abc不同素因数的乘积,这个猜想本质上是要说d通常不会比c小太多。换句话来说,如果a,b的因数中有某些素数的高幂次,那c通常就不会被素数的高幂次整除。
abc猜想因它所带来的一些关于数论的有趣的结论而著名,很多著名的猜想和定理都紧接着abc猜想问世 。数学家Goldfeld (1996)认为abc猜想是“the most important unsolved problem in Diophantine analysis”。
Lucien Szpiro(法国数学家,因其在数论、算术代数几何和交换代数上的贡献而知其名)在2007年时尝试攻克此猜想,但后被证明其中有误。
在2012年8月,日本的京都大学数学家望月新一(mochizuki shin'ichi)发布了其四篇预印文稿,介绍了他的Inter-universal Teichmüller theory(宇宙际Teichmüller理论),并声称用此理论可证明包括abc猜想在内的几个著名猜想。
他的论文在数学期刊上刊登以供参考查阅,很多人也开始学习他的理论。很多数学家对他的文章持怀疑态度,也正是因为他这篇古怪晦涩的证明,我们知道了,要解决这个猜想或许还是要走上孤独的漫漫长路。
2008年11月1日,一个自称中本聪(Satoshi Nakamoto)的人在一个隐秘的密码学评论组上贴出了一篇研讨陈述,陈述了他对电子货币的新设想——比特币就此面世,比特币的首笔交易完成。比特币用揭露散布总账摆脱了第三方机构的制约,中本聪称之为“区域链”。用户乐于奉献出CPU的运算能力,运转一个特别的软件来做一名“挖矿工”,这会构成一个网络共同来保持“区域链”。这个过程中,他们也会生成新货币。买卖也在这个网络上延伸,运转这个软件的电脑真相破解不可逆暗码难题,这些难题包含好几个买卖数据。第一个处理难题的“矿工”会得到50比特币奖赏,相关买卖区域加入链条。跟着“矿工”数量的添加,每个迷题的艰难程度也随之进步,这使每个买卖区的比特币生产率保持约在10分钟一枚。(币汇数字货币交易平台)
2009年,中本聪设计出了一种数字货币,即比特币,风风火火的比特币市场起了又落,而其创始人“中本聪”的身份一直都是个谜,关于“比特币之父”的传闻牵涉到从美国国家安全局到金融专家,也给比特币罩上了神秘光环。
据外媒报道称,计算机科学家TedNelson周日在网络上发布视频称,他已经确定出,比特币的创始人是京都大学数学教授望月新一(ShinichiMochizuki)。比特币的创始人一直以来使用的都是中本聪(SatoshiNakamoto)的假名,互联网领域也对其真实身份展开了大量推测。纳尔逊发布视频称,他已确定望月新一就是比特币的真正创始人。
望月新一2013年因为证明ABC猜想而名声大噪。他高中时就读于菲利普埃克塞特学院,后者是美国最具声望的高中之一,仅仅两年后就毕业。望月新一16岁进入美国普林斯顿大学,22岁时以博士身份离校,33岁就成为正教授,这么年轻就获得正教授职称在学术界极为罕见。这个数学界的巨星可能已经攻破了该领域最为重要的难题之一。
比特币的概念创始人是中本聪。人物介绍:中本聪是比特币的开发者兼创始者,是一位1949年出生的日裔美国人。他爱好收集火车模型,职业生涯中有多处保密,曾为大型企业还有美工军方执行保密的工作。 2008年中本聪在互联网上一个讨论信息加密的邮件组中发表了一篇文章, 勾画了比特币系统的基本框架。 2009年他为该系统建立了一个开放源代码项目 (open source project),正式宣告了比特币的诞生。 2010年12月12日当比特币渐成气候时,他却悄然离去,从互联网上销声匿迹。
2008年11月1日,一个自称中本聪(Satoshi Nakamoto)的人在一个隐秘的密码学评论组上贴出了一篇研讨陈述,陈述了他对电子货币的新设想——比特币就此面世,比特币的首笔交易完成。比特币用揭露散布总账摆脱了第三方机构的制约,中本聪称之为“区域链”。用户乐于奉献出CPU的运算能力,运转一个特别的软件来做一名“挖矿工”,这会构成一个网络共同来保持“区域链”。这个过程中,他们也会生成新货币。买卖也在这个网络上延伸,运转这个软件的电脑真相破解不可逆暗码难题,这些难题包含好几个买卖数据。第一个处理难题的“矿工”会得到50比特币奖赏,相关买卖区域加入链条。跟着“矿工”数量的添加,每个迷题的艰难程度也随之进步,这使每个买卖区的比特币生产率保持约在10分钟一枚。(币汇数字货币交易平台)
2009年,中本聪设计出了一种数字货币,即比特币,风风火火的比特币市场起了又落,而其创始人“中本聪”的身份一直都是个谜,关于“比特币之父”的传闻牵涉到从美国国家安全局到金融专家,也给比特币罩上了神秘光环。
据外媒报道称,计算机科学家TedNelson周日在网络上发布视频称,他已经确定出,比特币的创始人是京都大学数学教授望月新一(ShinichiMochizuki)。比特币的创始人一直以来使用的都是中本聪(SatoshiNakamoto)的假名,互联网领域也对其真实身份展开了大量推测。纳尔逊发布视频称,他已确定望月新一就是比特币的真正创始人。
望月新一2013年因为证明ABC猜想而名声大噪。他高中时就读于菲利普埃克塞特学院,后者是美国最具声望的高中之一,仅仅两年后就毕业。望月新一16岁进入美国普林斯顿大学,22岁时以博士身份离校,33岁就成为正教授,这么年轻就获得正教授职称在学术界极为罕见。这个数学界的巨星可能已经攻破了该领域最为重要的难题之一。
今天计算机科学家特德·尼尔森(Ted Nelson)在YouTube上爆料化名中本聪(Satoshi Nakamoto)的比特币创始人其实是京都大学的数学教授望月新一(Shinichi Mochizuki)。原文来自Business Insider,由网易科技翻译。没有人知道是谁发明了比特币。开发者使用化名,中本聪,但从比特币出现的那一刻起,人们就没停止过对中本聪身份的挖掘。并且从比特币上线那天开始,就有一台计算机在进行比特币挖矿工作,盛传这台机器就是中本聪的。所以如果望月新一真的是中本聪,他的身价显然已经过亿。望月新一16岁进入普林斯顿大学,22岁读完博士。33岁成为京都大学全职教授。33岁是一个在学术界显得年轻的荒谬的年龄。望月新一最大的成就是著名的ABC猜想。尼尔森证据有三点(来自华尔街见闻网):一、望月新一是那种能创造比特币的天才。Nelson表示,无论是谁创造了比特币,他都具有可能和牛顿一样的智力。望月新一作为数学家已经在其领域破解一些最简单也是最艰难的难题,并吸引了全球媒体的报道。二、就像比特币的创造者一样,望月新一喜欢将其工作成果发布在互联网上,然后退出。比特币由匿名程序员(或程序员们)以中本聪的名义发布,之后就从互联网消失。望月新一的风格不是将学术成果发表在学术期刊上,而是简单的将之忘互联网上一扔,然后就离开了。Nelson将这两者的风格联系起来对比。(注意,这是Nelson比特币理论的一个错误的地方:中本聪并不是将比特币放到互联网上,然后消失。他、她或者他们在消失之前曾通过聊天和电子邮件与社区成员交流。)三、望月新一很容易写出中本聪的那些通信。Nelson表示,尽管望月新一是日本大学的日本教授,但是他的英语非常好,因为他曾是普林斯顿大学毕业生致辞代表,并且他只用了3年时间就完成了其本科教育。(Nelson并没有注意到,望月新一的母语其实是英语,当他5岁的时候,他跟随父母移居到了美国。)视频中,尼尔森极尽对望月新一的溢美之词,称他为伟大的经济学家、社会学家和计算机学家,并觉得他应该因为比特币而获得诺贝尔经济学奖。最后他希望望月新一可以将未来的工作重点放在解决人类最复杂的问题上,比如核武器、恐怖主义以及污染问题。值得注意的是,至少有一位在比特币加密方面的专家不认同尼尔森的理论。世界第一个数据港的创始人Ryan Lackey反驳了尼尔森,他在YouTube上留言:尼尔森提到的这个人有任何软件开发的经验吗?他看起来只不过是个数学家,数学理论对比特币非常有用,但是不足以据此开发出第一代比特币。比特币有一些理论突破,也对现有的协议进行了扩展,但是其代码实现得相当合理。我认为绝对没有理由认为数学家望月新一是中本聪。随后,Quartz新闻网站联系了望月新一,但是还没有得到回复。不过,尼尔森回答了Quartz的提问。在采访中,Nelson称,他在得出结论的过程中并没有获得其他人的帮助,这一推测是受到最近望月新一的一个特征的启发。他没有直接联系望月新一,“我尽可能快地将我的发现公布出来,希望成为第一个认识到这一真相的人,否则,我就不是第一个了。”
前两天写了一篇点击率颇高的文章——《迷茫就是才华配不上理想》,一度冲击到了的热榜头条。但是,世界上有像我等这样智商捉急的人们,当然也有一群才华横溢,智商超群的天才们。即使他看上去跟你没什么两样,但是你要知道学渣即使考了98分,那时因为他最多只能考98分;而学霸只考了100分,那也是因为他最多只能考100分…… 昨天是10月24日,据传是1年1度的“程序员日”。所以,首先来认识一位真正的计算机界的神童——Aaron Swartz。生于1986年11月8日(比我生得还晚),死于2013年1月11日(死得比我还早,令人扼腕)。短短的26年里,取得的成就可能是我一生难以企及的。 Araron Swartz 出身于工程师世家,3岁接触电脑,从此着迷。12岁时就创办了一个类似Wiki百科的网站——也许从那时起,自由和分享的精神就贯穿了他的一生。14岁,成为 RSS 1.0 协议(就是那个闹得沸沸扬扬的 Google Reader 实现的基石)的开发人员之一; 随后参与开发了 Markdown 标记语言(我现在在写文章就是用的 Markdown 语言);15岁进入W3C的 RDF 核心工作组,并写了RFC3870——描述了全新的 用于定义“语义网络”的“RDF/XML”——疯了,还让不让我活啦,15岁我还在初中做着跟他比起来像是“搭积木”一样的事情;17岁进入斯坦福大学,18岁因受不了教条式的教育辍学——完了,又是一个辍学少年,微软创始人比尔·盖茨是哈佛辍学生、苹果创始人你乔布斯也是辍学生、Facebook创始人扎克伯格也是……我又少了一个成为牛逼人的可能性了。可是,这么一个天才的人物,却受到美国政府的长期恐吓的压力,并长期处于抑郁当中,在他仅仅26岁的时候自杀身亡。强烈推荐大家看一部纪录片——《互联网之子》。 Swartz 不仅智力超群,而且小伙子帅气啊。真是美貌和智慧并存,那些再说程序猿猥琐的人们可以醒醒了,附Swartz靓照一张——集聪明,帅气,勇气于一身。 数学界可能是公认的最需要智商的一个行当。在其他领域,你不聪明的话,还可以靠勤奋来弥补——笨鸟可以先飞嘛。但是在数学界的话,没有智商,就只能永远跟在别人屁股后面捡吃的了。比如数学界的传奇大神特仑苏陶——不是每一种牛奶都叫特仑苏,不是每一个数学家都叫特仑苏陶;但是特仑苏在牛奶中的地位那是拍马也赶不上特仑苏陶。他20岁哈佛大学博士毕业,24岁成了终身教授——有铁饭碗了,31岁获得菲尔兹奖。大家要知道诺贝奖不设数学这个学科——坊间传言是因为诺贝尔年轻时被一个数学家撬了墙角——菲尔兹奖就是数学的最高奖项,并且菲尔兹奖每四年一次,只颁发给40岁以下的数学家,不像诺贝尔奖每年一次,并且七老八老的不在少数。好吧,大神特仑苏陶的介绍到此结束——为什么不介绍他的研究成果,抱歉,我实在是不懂啊! 接下来要介绍的这位数学家,我觉得特别能体现数学绝对是一个拼智商的领域。望月新一——不是工藤新一哈,出生于日本,6岁去了美国,16岁进入普林斯顿大学本科,23岁获得普林斯顿大学博士学位,文章发了无数——要知道,在学术界, Paper(论文)才是硬通货啊。可是,这位大神毕业之后,就跑回日本宅在京都大学,从此杳无音讯,数学界还以为这又是一个伤仲永一类的角色,小时天才,大了弱智。直到2012年,望月新一突然宣布自己证明了数学史上最具传奇色彩的ABC猜想——不要问我ABC猜想是什么,我智商不够。这下数学界沸腾了,好家伙,原来望月新一不是变“弱智”了,而是回老家憋大招去了,这一憋就是20年(1992年到2012年),从一个青春少男憋成了一个中年大叔。对于望月新一的宣言,数学界抱着将信将疑的态度;说相信呢,那时因为望月新一有这个实力——智商那是有目共睹的嘛;说怀疑呢,那是因为“ABC猜想”意义相当重大,如果“ABC猜想”被证明了,将一举解决许多著名的Diophantine问题,包括费马大定理——不要问我,我什么都不懂。那好吧,最好的方式就是,我们来把望月的论文读一读好了。这下大家又傻眼了,好家伙,论文足足512页,并且,这还是基于之前几千页的论文研究基础上的。好像几千页也不多哈,看小说一会儿就看过去了。好吧,我先来给大家说说数学家们的这种重要论文是怎么个读法吧。一个教授,带着自己的几个博士后,再带几个博士——这种时候,基本没硕士什么事。每周读个一两页,然后开个讨论班,大家一起来讨论——也就是吵架——来把问题搞清楚,然后继续下一个阶段的阅读。 但是一般一篇数学论文平均也就5-8页,这个几千页怎么搞啊? “朝闻道,夕死可矣!”“我不入地狱,谁入地狱!”读吧!一读,大伙儿又懵了,没人看得懂啊!望月新一解决这个问题的思路完全迥异于现有的数学体系,他基本上就是重新定义了一套数学体系——现在他自称“宇宙际级几何学者”。当然, 即使现在全世界也许只有他一个人知道这套体系,即使他对“ABC猜想”的证明过程尚未被证明是完全正确的,这也并不妨碍望月新一的牛逼性——你能搞出一套全世界人都不能证实,也不能证伪的理论,那你也很牛逼。并且, 即使没人懂,但包括陶哲轩等著名的数学家都对其论文给出了正面的评价。最后,我们来看看这个“憋大招”憋了20年的中年大叔吧。 最后,再介绍一个智商可能不是特别牛——跟上面几位哥们比起来,但是我最近特别关注的一个人,日本的生物学家小保方晴子——不是赤木晴子哟!晴子的教育经历没什么好说的,28岁才获得博士学位,不过好在生物界不需要那么高的智商,我们完全可以靠勤奋弥补嘛,多做实验就好了。于是,晴子在2014年1月——也就是今年年初,宣称自己发现了类似干细胞一样的“万能细胞”——这个万能细胞我可以解释一下,略懂略懂! 学过初中生物的人都应该知道,动物的胚胎细胞可以发育成任何一种细胞,而成熟之后的细胞则只能分化为同类型的细胞。因此,所谓的“万能细胞”就是指那种可以发育成任何一种细胞的细胞。晴子的发现在于,她得到了一种可以将普通细胞“变成”万能细胞的方法,这就牛逼啦。想想吧,现在好多器官移植手术不就是因为等不到合适的器官,或者是因为排异反应而移植失败么?那么,如果有了这种技术,那器官移植还是问题么?你不是因为买苹果6把肾割了么?现在我从你屁股上取一点细胞,然后让它“变成”万能细胞,再让它发育成一个肾,这不就结了?排异反应——我就是从你身上取下来的细胞,怎么会排异呢?并且,小保方晴子提出的让普通细胞“变成”万能细胞的方法之简单 以上的语言按我这个门外汉的理解,也就是将白细胞用醋(低ph值溶液)泡一泡就好了——当然,开玩笑的啦。不过,这也确实说明了小保方晴子的方法已经非常简单了。就在小保方晴子扬名天下的时候,世界各地的教授却质疑小保方晴子论文造假,并且,他们按照晴子的方法都无法再现实验结果——当然了,用“醋”泡一泡就可以得到胚胎细胞的话,酿醋的人都可以长生不老了。 接下来的事情就风云突变了,在大批教授质疑的压力下,发表小保方晴子论文的《自然》杂志撤掉了小保方晴子的论文,随着调查的深入,小保方晴子的导师迫于压力自杀身亡,留下遗言:“务必重复试验”。好了,人死为大嘛,最初质疑小保方晴子的教授们也只不过想追求一个真理而已,又不是要搞出人命来。也许小保方晴子没有造假,而是因为导致试验成功的真正原因可能连她自己都没有发现罢了。现在,摆在小保方晴子面前的出路只有一条:重现试验结果嘛。但是,科学界的质疑,日本国内媒体的质疑,已经逼得小保方晴子没有了退路,她能不能重现这个试验——用“醋”把普通细胞变成万能细胞呢——以告慰自己导师的在天之灵? 这个11月,也许答案就会出现,世界拭目以待…… PS:文中人物是真实的,事迹也基本上是真实的。但限于智商问题,及本人的某些合理脑补,谬误在所难免。望大家包涵。
比特币的概念创始人是中本聪。
人物介绍:
中本聪是比特币的开发者兼创始者,是一位1949年出生的日裔美国人。他爱好收集火车模型,职业生涯中有多处保密,曾为大型企业还有美工军方执行保密的工作。
2008年中本聪在互联网上一个讨论信息加密的邮件组中发表了一篇文章, 勾画了比特币系统的基本框架。
2009年他为该系统建立了一个开放源代码项目 (open source project),正式宣告了比特币的诞生。
2010年12月12日当比特币渐成气候时,他却悄然离去,从互联网上销声匿迹。
作为武士的后裔,中本聪出生于1949年的日本别府,母亲诠子是个佛教徒,把他辛苦拉扯大,过得很贫穷。
1959年父母离异,中本聪的母亲改嫁并带着三个儿子移民到加州。中本聪和继父处的不好,但根据他弟弟Arthur的说法,中本聪很小就展现出了在数学和科学上的天分,但也展现出了“薄情且兴趣怪异”的一面。
中本聪毕业于加州州立理工大学,专业是物理。一毕业,他进入了休斯飞机公司(Hughes Aircraft),从事防御和电子通讯方面的工作。后来,中本聪为美国军方工作,他的这段经历被列为国家机密,现在搜他的档案,他的这段人生是一片空白。
2008年中本聪在互联网上一个讨论信息加密的邮件组中发表了一篇文章, 勾画了比特币系统的基本框架。2009年他为该系统建立了一个开放源代码项目,正式宣告了比特币的诞生。2010年12月12日当比特币渐成气候时,他却悄然离去,从互联网上销声匿迹。