ABC予想の証明検証が進展する!?

　今回は、英語の科学ニュースサイト「Phys.org」で気になった、8月3日に掲載された「Progress finally being made on understanding ABC proof」という記事を見てみたい。

　急にタイトルだけ紹介されても、何の記事だかわからないかもしれないが、「ABC proof」というのは、数学の「ABC conjecture（予想）」という問題に対する証明のこと。

　もう、4年も前になるが、2012年9月14日にブログの「ハイレベルな日本の数学者」という文章の中で「日本の京都大学・望月新一教授が、500ページにも及ぶabc conjecture（abc予想）の証明を載せた論文をリリース」というニュースを書いたが、今回気になった英語の科学ニュース記事は、この証明に関する話題。

　読んでみると、この証明に対する検証にまつわる話のようだ。というか、実のところ証明が公表されてから4年が経ったものの、検証があまり進んでなかった、という感じのことが書かれていた。

　理由の一つは、証明が超難解、ということなのだと思うが、それ以上に

「he is a recluse, refusing to leave the safe confines of his place of work, Kyoto University」

ということがあるらしい。意訳になるが、要は「望月教授は京都大学の仕事場にこもって、外に出たがらない」という感じだろうか。

　例えば、「昨年オックスフォード大学で、この証明について議論する数学者グループの会合があったが、それに望月教授は（当然のように）出席せず、ここでも結果的に検証は進展しなかった」という趣旨のことが記事に書かれている。

　それが、今年の7月に京都大学で行われた会合に望月教授が参加したそうだ。記事には

「Mochizuki has been attending the conference, presenting his proof and answering questions.」
「He has also reportedly become more cooperative」

と書かれていた。「望月教授が証明の内容を口頭発表し、質問にも答えた」「（これまでより）協力的になるとされている」とされているので、証明の理解と検証がこれから進んでいくに違いない、ということなのだろう。

　ということで、簡単だが、4年前というとずいぶん前になるがブログに書いた話題の続報記事があったので、紹介した。それにしても、「証明してから4年間ほとんど表に出ていなかった」とか「ついに望月教授が証明について語り始めた」ということだけでニュースになるくらい本当にすごいことをした、ということが伝わってくる記事だった。

--------

Copyright (c) 2016 ANADA, Koichi. All Rights Reserved.