作者简介:袁岚峰，中国科学技术大学化学博士，中国科学技术大学合肥微尺度物质科学国家研究中心副研究员，科技与战略风云学会会长，“科技袁人”节目主讲人，安徽省科学技术协会常务委员，入选“典赞·2018科普中国”十大科学传播人物，微博@中科大胡不归，知乎@袁岚峰。
本文作者，Davide Castelvecchi，《自然》杂志记者。翻译作者，Math001，哆嗒数学网翻译组成员。关注 哆嗒数学网 每天获得更多数学趣文经过8年的漫漫征途，日本数学家望月新一终于得到了某种意义的确认。
机器之心报道作者：维度尘埃落定！近日，日本数学家望月新一证明 abc 猜想的 600 多页论文终于正式发表，也让他长达八年的等待没有白费。在数学领域，abc 猜想（abc conjecture）是一个著名的数学猜想，有关整数加法和乘法之间的关系。
“ABC”是我们少时学习英语的入门级知识，在英语中代表着字母表，类似中国的拼音，然而可不要因此小看它，数学上有个同名的概念——“ABC”猜想，保证你看了不是似曾相识的轻松，而是不知所云的头疼。那么，什么是“ABC”猜想呢？
下文编译自旧金山大学数学名誉教授 John Stillwell 为其新书 The Story of Proof: Logic and the History of Mathematics 撰写的导读文章，他在文中通过毕达哥拉斯定理展示了“证明”的意义——“证明”是用任何人都能理解的陈述，来让我们相信本来不相信的东西。
但无奈“卡塔兰猜想”的名字太著名了，用了太久了，所以没有人会用“米哈伊列斯库定理”这个名字。这个猜想用一种直观的描述就是:请你把自然数中幂次形式的数，也就是可以表示成形式的数都列出来，其中a， b都是自然数，且指数b>1。
望月新一（图片来源：京都大学）2012年，日本数学家望月新一（Shinichi Mochizuki）将4篇总篇幅超过600页的论文挂到了自己的网站上。望月新一在论文中宣称，他解决了当今数学界最大的难题之一——ABC猜想。
大家好，我是科技袁人袁岚峰。你想成为数学大佬吗？我有些朋友非常热心数学科普，组织了一个“哆嗒数学网”。最近，哆嗒数学网发了一篇简短的文章《15个数论难题，解决任意一个都能让你称为顶级大佬》。下面我来结合自己的理解，更详细地介绍一下。
很多人说姜萍不需要自证清白，而单要学术界举证，这是大错而特错的说法！如果是刑事案件，当然是需要控诉方或者检方提供证据。姜萍参加了数学竞赛，就是学术问题，既要自证清白，又要学界举证。对于学术界，如遇学术争议，既需要学术界同行提出疑问，更需要被质疑方自证清白。
