ABC猜想论文将发表？

wayne

微信里看到一则新闻，源头来自日媒，这里给出百度贴吧的帖子，不懂鬼子语言。

https://tieba.baidu.com/p/5481249521

这可能是10年来数学界最大的新闻：根据朝日新闻的报道，望月新一关于ABC猜想的证明，有可能发表，并予以确认。现在论文还在做最后的同行评议，如果没有问题，发表时间可能是明年1月份。

ABC猜想是数论领域最重要的猜想之一，于1985年提出。2012年8月，日本京都大学教授望月新一在其个人网站上贴出了该猜想的证明。该证明初版500多页，几经修正后达到600多页。由于望月新一的采用方法极其独到、创新性极强，文章又非常长，一时间数学界竟无人能理解其证明。当时有数学家认为，要理解望月新一的证明，可能需要数十年时间。
数论中，有很多著名问题都是ABC猜想的推论。比如我们列举的下面三个，曾经是数学界的神级问题，但在ABC猜想面前，就是简单的特例了：

莫德尔猜想： 该猜想于1984年被法尔廷斯证明。法尔廷斯因此获得1986年的菲尔兹奖。该奖被誉为“数学界的诺贝尔奖”，是数学研究的最高荣誉。

费马大定理：该猜想于1995年被英国数学界怀尔斯证明，轰动全球。初版证明300多页，精简后也有100多页。如果利用ABC猜想，将极大简化费马大定理证明。

比尔猜想：该猜想由比尔本人提出，并通过美国数学会悬赏100万美元求解。难度极高，用比尔猜想，你可以不超过5句话证明费马大定理。

kastin

之前我看过一个新闻，好像是说怀尔斯的证明后来被发现是有漏洞的。

zeroieme

http://www.solidot.org/story?sid=54918

2012 年，日本京都大学数学家望月新一（Shinichi Mochizuki）发表了一篇 500 页的论文，宣布证明了 ABC 猜想。ABC 猜想涉及到质数、加法和乘法之间的关系，由 David Masser 和 Joseph Oesterle 在 1985 年提出，ABC 指的是如 a+b=c 的方程式，它牵涉到无平方数概念。如果证明正确，将有可能在数论领域掀起一场革命。在公布五年之后，这篇论文最快将于明年 1 月发表在数学期刊上了，ABC 猜想真的被证明了？可能还没有。因为接受论文的数学期刊是望月的工作机构出版的，而他正是该期刊的主编，其中显然存在利益冲突。他的论文之所有没有被其它数学期刊接受的一个原因被认为是其他人看不懂，对此望月本人曾在几年前公开表达过不满。数学家们表示在能理解前他们并不接受 ABC 猜想被证明了。

wayne

zeroieme 发表于 2017-12-19 20:38
http://www.solidot.org/story?sid=54918

赞。好吧，原来另有隐情。

zeroieme

我有个问题：构造一个命题的证明需要高超的智力或者巧妙的程序。
而验证一个已经写好的证明，电脑以逻辑演算检验有多困难。