s*****V
发帖数: 21731 | 1 据《自然》网站报道，一向平静的数学界近日兴奋起来，一位日本数学家宣称解决了数
论中最重要的问题之一。
日本京都大学数理解析研究所教授望月新一（Shinichi Mochizuki，1969年3月29日—
—）发表了一篇500页的论文(PDF)，声称证明了有近三十年历史的abc猜想（abc
conjecture）。
abc猜想于1985年由David Masser和Joseph Oesterle分别独立提出。与费马大定理（
Fermat’s Last Theorem）相比较，abc猜想可能没有那么出名，但在某些方面它更为
重要。abc猜想涉及到质数、加法和乘法之间的关系，如果证明正确，将有可能在数论
领域掀起一场革命，将能大大简化费马大定理的证明。
UCLA数学家陶哲轩和牛津大学数学家Minhyong Kim都讨论了望月新一的证明。美国哥伦
比亚大学数学家Dorian Goldfeld评价说：“abc猜想如果被证明，将一举解决许多著名
的Diophantine问题，包括费马大定理。如果望月新一的证明是正确的，这将是21世纪
最令人震惊的数学成就之一。”（科学网 梅进/编译） |
l********g
发帖数: 6760 | 2 日本人数学奥林匹克竞赛成绩远远不如中国人，oh yeah |
s****r
发帖数: 31686 | 3 开门， 放小破熊！ 反了日本人了还！
【在 s*****V 的大作中提到】
: 据《自然》网站报道，一向平静的数学界近日兴奋起来，一位日本数学家宣称解决了数
: 论中最重要的问题之一。
: 日本京都大学数理解析研究所教授望月新一（Shinichi Mochizuki，1969年3月29日—
: —）发表了一篇500页的论文(PDF)，声称证明了有近三十年历史的abc猜想（abc
: conjecture）。
: abc猜想于1985年由David Masser和Joseph Oesterle分别独立提出。与费马大定理（
: Fermat’s Last Theorem）相比较，abc猜想可能没有那么出名，但在某些方面它更为
: 重要。abc猜想涉及到质数、加法和乘法之间的关系，如果证明正确，将有可能在数论
: 领域掀起一场革命，将能大大简化费马大定理的证明。
: UCLA数学家陶哲轩和牛津大学数学家Minhyong Kim都讨论了望月新一的证明。美国哥伦
|
s*****V
发帖数: 21731 | 4 中国的新闻上出现的是中南大学大三学生证明XXX猜想，大学教授去干什么了，名校的
奥赛金牌干啥去了？
【在 l********g 的大作中提到】
: 日本人数学奥林匹克竞赛成绩远远不如中国人，oh yeah
|
s****r
发帖数: 31686 | 5 都研究航空发动机去了
【在 s*****V 的大作中提到】
: 中国的新闻上出现的是中南大学大三学生证明XXX猜想，大学教授去干什么了，名校的
: 奥赛金牌干啥去了？
|
l********g
发帖数: 6760 | 6 中国神童一向很多
【在 s*****V 的大作中提到】
: 中国的新闻上出现的是中南大学大三学生证明XXX猜想，大学教授去干什么了，名校的
: 奥赛金牌干啥去了？
|
n**n
发帖数: 1489 | 7 500页的论文。。。
【在 s*****V 的大作中提到】
: 中国的新闻上出现的是中南大学大三学生证明XXX猜想，大学教授去干什么了，名校的
: 奥赛金牌干啥去了？
|
y***i
发帖数: 11639 | 8 牛叉。
【在 s*****V 的大作中提到】
: 中国的新闻上出现的是中南大学大三学生证明XXX猜想，大学教授去干什么了，名校的
: 奥赛金牌干啥去了？
|
s*****V
发帖数: 21731 | 9 望月新一是天才兒童，16 歲就讀美國普林斯頓大學數學系，19 歲畢業，22 歲拿到數
學博士學位，目前在日本京都大學任教。 |
s*****V
发帖数: 21731 | 10 abc猜想（abc conjecture）最先由Joseph Oesterlé及David Masser在1985年提出。
它说明对于任何ε>0，存在常数Cε> 0，并对于任何三个满足a+ b= c及a,b互质的正整
数a,b,c，有：
rad(n)在此表示n的质因数的积。[1]
截止2005年，此猜想仍未证明，却衍生一BOINC项目名为“ABC@Home”。
1996年，爱伦·贝克提出一个较为精确的猜想，将rad(abc)用
取代，在此ω是a,b,c的不同质因子的数目。[2]
2012年9月，日本京都大学数学家Shinichi Mochizuki(望月新一)公布了有关abc猜
想（abc conjecture）长达500页的证明。虽然尚未被证实整个证明过程是正确无误的
，但包括陶哲轩在内的一些著名数学家均对此给出了正面评价。
美国哥伦比亚大学数学家Dorian Goldfeld评价说：“abc猜想如果被证明，将一举
解决许多著名的Diophantine问题，包括费马大定理。如果Mochizuki的证明是正确的，
这将是21世纪最令人震惊的数学成就之一。”
abc猜想的证明是通过ABC@home 研究的，它利用分布式计算穷举直到 c<=10的满足
ABC猜想条件的 (a,b,c) 三元数组，也就是说满足要求 c=a+b, a
中 rad(n) 称为 n 的根积，意即 n 的所有质因数的乘积，若有重复的质因数则只取一
个。例如，rad(504)=rad((2^3)*(3^2)*7)=2*3*7=42。
项目通过研究这些三元数组的分布，试图寻找证明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猜想为“丢番图分析（意即系
数与解均为整数的方程的分析）领域中最重要的未解决问题”。[3]ABC@home 希望能够
通过了解满足条件的三元数组的分布来协助数学家解决ABC猜想。
abc猜想将许多丢番图问题都包含在其中，比如费马大定理。（费马大定理说的是
：当整数n > 2时，关于x, y, z的不定方程，无正整数解）。同许多丢番图问题一样，
abc猜想完全是一个素数之间关系的问题。斯坦福大学布拉恩·康拉德（Brian Conrad
）曾说，“在a、b和a+b的素数因子之间存在着更深层的关联”。许多数学家都花费了
大量的精力试图证明这一猜想。在2007年，在法国数学家吕西安·施皮罗（Lucien
Szpiro）在1978年的研究工作的基础之上，首次宣布对abc猜想的证明，但很快就发现
证明中存在着缺陷。
和施皮罗情况相似，英国数学家安德鲁·怀尔斯（Andrew Wiles）曾在1994年对费
马大定理做出了证明，但是望月新一曾运用椭圆曲线理论对这一问题提出过反驳——这
一平滑曲线的代数表达式为y^2=x^3+ax+b 。
然而，望月新一的研究工作与前人的努力并没有太多关联。他建立了一套全新的数
学方法，使用了一些全新的数学“对象”——这些抽象实体可类比为我们比较熟悉的几
何对象、集合、排列、拓扑和矩阵，目前只有极少的数学家能够完全理解。就如同戈德
费尔德所说：“在当今，他或许是唯一一个完全掌握这套方法的人。”
康拉德认为，这项研究工作“包含着大量的深刻思想，数学界要想完全理解消化需
要花很长的时间”。整个证明包含四个长篇论文，每一篇都是建立在之前论文的基础上
。“需要花费大量的时间来研读并理解这些深奥的长篇证明，所以我们不能仅仅关注此
证明的重要性，更重要的是沿着作者的证明思路进行研究。”
望月新一取得的研究成果使得这一切努力都是值得的。康拉德说：“望月新一曾经
成功证明过极为艰深的定理，并且他的论文表达严谨，论述周密。这些都使我们对于成
功证明abc猜想充满了信心。”另外，他还补充道，所取得的成绩并不仅限于对此证明
的确认。“令人感到兴奋的原因不仅仅在于abc猜想或许已被解决，更在于他所使用的
方法和思想将会成为以后解决数论问题的有力工具。”[4] |
|
|
i*****s
发帖数: 4596 | 11 奥赛金牌没什么用，要知道奥赛史上最成功的一个参与者是个女生。 |
e*******n
发帖数: 4912 | 12 不是真三木？
【在 i*****s 的大作中提到】
: 奥赛金牌没什么用，要知道奥赛史上最成功的一个参与者是个女生。
|
i*****s
发帖数: 4596 | |
s*****V
发帖数: 21731 | 14 连续参加5届没啥意义吧，最后几届都是大学里面的了。如果中国准许大学生也参赛的
话，拿连续几届第一都可能有。
【在 i*****s 的大作中提到】
: http://official.imo2011.nl/participant_r.aspx?id=15545
: 比的了吗？
|
i*****s
发帖数: 4596 | 15 人家从14岁开始玩的。
【在 s*****V 的大作中提到】
: 连续参加5届没啥意义吧，最后几届都是大学里面的了。如果中国准许大学生也参赛的
: 话，拿连续几届第一都可能有。
|
s*****V
发帖数: 21731 | 16 中国已经取消奥数全国奖的保送资格，希望以后中国IMO成绩会稍微差一点，但是数学
家多出一点。
【在 i*****s 的大作中提到】
: 人家从14岁开始玩的。
|
e*******n
发帖数: 4912 | |
s*****V
发帖数: 21731 | 18 我觉得中国应该取消省级集训队，国家集训队时间也相应缩短， |
a******o
发帖数: 16625 | 19 可惜得不了菲尔兹了。如果博士之后在美国搞几年可能早就获奖了。
【在 s*****V 的大作中提到】
: 我觉得中国应该取消省级集训队，国家集训队时间也相应缩短，
|
s*****V
发帖数: 21731 | 20 还没确认是对的，只不过新一比较有CREDIT，所以大家比较相信他。
【在 a******o 的大作中提到】
: 可惜得不了菲尔兹了。如果博士之后在美国搞几年可能早就获奖了。
|
|
|
s****r
发帖数: 31686 | 21 看了下照片， 操， 这个倭人是个不折不扣的大帅锅啊！ 比演员还帅， 操， 老天爷
对他不错啊， 哈哈哈
【在 s*****V 的大作中提到】
: abc猜想（abc conjecture）最先由Joseph Oesterlé及David Masser在1985年提出。
: 它说明对于任何ε>0，存在常数Cε> 0，并对于任何三个满足a+ b= c及a,b互质的正整
: 数a,b,c，有：
:
: rad(n)在此表示n的质因数的积。[1]
: 截止2005年，此猜想仍未证明，却衍生一BOINC项目名为“ABC@Home”。
: 1996年，爱伦·贝克提出一个较为精确的猜想，将rad(abc)用
:
: 取代，在此ω是a,b,c的不同质因子的数目。[2]
:
|
b*******8
发帖数: 37364 | 22 先有1+1
后有abc
老农都糊涂了：搞数学的成天就搞这些玩意？我种地的都会 |
y***i
发帖数: 11639 | 23 看着象有白人血统。
【在 s****r 的大作中提到】
: 看了下照片， 操， 这个倭人是个不折不扣的大帅锅啊！ 比演员还帅， 操， 老天爷
: 对他不错啊， 哈哈哈
|
s*****V
发帖数: 21731 | 24 强调百人血统在目前买提的大环境下是不正确的。
【在 y***i 的大作中提到】
: 看着象有白人血统。
|
p********f
发帖数: 787 | 25 估计都是计算机自动证明的打印输出，几分钟就搞定了，LOL。
【在 n**n 的大作中提到】
: 500页的论文。。。
|
x****u
发帖数: 44466 | 26 没有任何一条定理说问题的证明一定能在计算机内存范围内实现。
【在 p********f 的大作中提到】
: 估计都是计算机自动证明的打印输出，几分钟就搞定了，LOL。
|
s***d
发帖数: 15421 | |
m**i
发帖数: 9848 | 28 然而，望月新一的研究工作与前人的努力并没有太多关联。他建立了一套全新的数
学方法，使用了一些全新的数学“对象”——这些抽象实体可类比为我们比较熟悉的几
何对象、集合、排列、拓扑和矩阵，目前只有极少的数学家能够完全理解。就如同戈德
费尔德所说：“在当今，他或许是唯一一个完全掌握这套方法的人。”
===========================
听起来很牛逼的样子。日本的伽罗瓦？ |
l***l
发帖数: 2448 | 29 因该是。
【在 e*******n 的大作中提到】
: 不是真三木？
|
i*****g
发帖数: 11893 | 30 不可能，虽然我不是女性，也看得出来。难道你的相貌非常 有损市容
【在 s****r 的大作中提到】
: 看了下照片， 操， 这个倭人是个不折不扣的大帅锅啊！ 比演员还帅， 操， 老天爷
: 对他不错啊， 哈哈哈
|
|
|
i*****g
发帖数: 11893 | 31 TNND，看来下辈子要加强数学的功夫了
可是，这个专业恐怕比养猪专业 更糟糕，找工作更麻烦 |
L*****s
发帖数: 6046 | 32 中学生运动会和奥运会没啥关联吧。
【在 l********g 的大作中提到】
: 日本人数学奥林匹克竞赛成绩远远不如中国人，oh yeah
|
d******r
发帖数: 16947 | 33 日本人V5。当年怀尔斯的论文出来后，费尔马大定律只是
他的一个推论。怀尔斯论文里面很大部分是证明日本人的
一个关键猜想。现在望月有爆发了。。。日本这种高度
富裕的国家有这么多的科学nerd能坐下来搞研究，不出
成绩就见鬼了，。。。
【在 s*****V 的大作中提到】
: 强调百人血统在目前买提的大环境下是不正确的。
|
n******g
发帖数: 17225 | |
b*********f
发帖数: 1585 | 35 哈哈，这让我想到工藤新一名言“真実（しんじつ）はいつもひとつ！”即“真相只有
一个！”
很喜欢《名侦探柯南》的这首主题曲，很动感。
【在 n******g 的大作中提到】
: 叫新一的都很厉害嘛！
|
s****r
发帖数: 31686 | 36 这个望月新一， 在抗日战争问题和钓鱼岛问题上， 什么立场？ 如果顽固站在日本的
反动立场， 那么他的数学是反对派的数学， 对中国没有任何好处
【在 i*****g 的大作中提到】
: TNND，看来下辈子要加强数学的功夫了
: 可是，这个专业恐怕比养猪专业 更糟糕，找工作更麻烦
|
b*******8
发帖数: 37364 | 37 数学的本质是虚构一个合乎逻辑推理的数学世界，把很多现实问题映射到数学世界，在
数学世界里进行推导，得出结论后反映射回现实世界。简单的例子是对现实问题列方程
，然后解方程的过程完全在数学世界里进行，其中每一步不必对应现实世界的东西，但
最后的结果可以回到现实世界。
从这个角度看，人类的数学还发展的很低端，直到群论才有了一点数学世界里实体结构
的概念。看来这个数学“对象”是在这一步上更进了一大步。将来人类把数学世界建立
的极其复杂炫目，里面不仅仅有单个对象而是有大规模宏大建筑群的时候，数学水平将
高的难以想象，看现在的数学就如同我们看原始人结绳记事。
【在 m**i 的大作中提到】
: 然而，望月新一的研究工作与前人的努力并没有太多关联。他建立了一套全新的数
: 学方法，使用了一些全新的数学“对象”——这些抽象实体可类比为我们比较熟悉的几
: 何对象、集合、排列、拓扑和矩阵，目前只有极少的数学家能够完全理解。就如同戈德
: 费尔德所说：“在当今，他或许是唯一一个完全掌握这套方法的人。”
: ===========================
: 听起来很牛逼的样子。日本的伽罗瓦？
|
i*****g
发帖数: 11893 | 38 说这些没有用啊，我们这里都知道你是官2代，居然还在北美撸管，显然是相貌损害了
市容
【在 s****r 的大作中提到】
: 这个望月新一， 在抗日战争问题和钓鱼岛问题上， 什么立场？ 如果顽固站在日本的
: 反动立场， 那么他的数学是反对派的数学， 对中国没有任何好处
|
j***g
发帖数: 11325 | |
f********g
发帖数: 989 | 40 望月新一是不是观月雏发文章的笔名？怎么两个名字内涵这么像？尼玛应该多看点数学
文章，少看点日本爱情动作片。
【在 s*****V 的大作中提到】
: 强调百人血统在目前买提的大环境下是不正确的。
|
