【数学】未解明だった数学の超難問「ABC予想」を証明 京大の望月教授 斬新・難解で査読に8年

1田杉山脈 ★2020/04/03(金) 18:24:06.27ID:CAP_USER
未解明だった数学の超難問「ABC予想」を証明したとする望月新一・京都大数理解析研究所教授(51)の論文が、同所が編集する数学専門誌に掲載されることが決まった。3日、京大が発表した。ABC予想は、素因数分解と足し算・かけ算との関係性を示す命題のこと。4編計646ページからなる論文は、斬新さと難解さから査読(論文の内容チェック)に8年かかったが、その正しさが認められることになった。有名な数学の難問「フェルマーの最終定理」(1995年解決)や「ポアンカレ予想」(2006年解決)の証明などと並ぶ快挙となる。

望月教授は2012年8月、構想から10年以上かけた「宇宙際タイヒミューラー(IUT)理論」の論文4編を、インターネット上で公開した。これを用いればABC予想など複数の難問が証明できると主張し、大きな注目を集めたが、既存の数学が存立する枠組み(宇宙)を複数考えるという構想はあまりに斬新で、「未来から来た論文」とも称された。加えて、1000ページを超える望月教授の過去の論文に精通しないとIUT論文を読み解くことは難しく、理解できた数学者は世界で十数人しかいないと言われている。

 望月教授は京大広報課を通じ、解説を公表。「証明完成まで20年ほどかかった」とし、「ABC予想の解決は、IUT理論の一つの重要な帰結であるだけでなく、この理論が整数の深い性質をとらえ得るほど十分な深さを持った理論であることを示している」とした。

 京大によると、論文は同所が編集し、欧州数学会が発行する専門誌「PRIMS」(ピーリムズ)に2月5日付で受理された。今後、特別号に掲載される予定。望月教授はPRIMSの編集委員長だが、今回は除外され、特別編集委員会を設置して論文を審査した。

望月新一教授は1969年3月、東京生まれ。5歳の時、父親の仕事の関係で渡米し、16歳で米プリンストン大に飛び級入学。19歳で同大大学院に進み、「数学界のノーベル賞」と言われるフィールズ賞受賞者のゲルト・ファルティングス氏に師事した。

 23歳で博士号を取得後、帰国し、京大数理解析研究所の助手に採用されると、96年に助教授、2002年には32歳の若さで教授に就任した。数論幾何学の業績は早くから認められ、45歳未満の研究者を対象に04年度に創設された日本学術振興会賞の第1回受賞者となった。

 これまでメディアへの露出を避け、近況をホームページやブログで時折発信している。

 公私にわたり親交の深い加藤文元・東京工業大教授(数論幾何学)は「普段は気さくで『普通』の人。ただし、特に数学に関しては、物事を非常に深く見つめ考える天賦の才能を持った人」と評する。「(望月教授が提唱し、ABC予想を証明した)IUT(宇宙際タイヒミューラー)理論は、数学界の『革命』と言っていい。ノーベル賞が何個あっても足らないほどの成果だ」とたたえた。

英ノッティンガム大のイワン・フェセンコ教授(純粋数学)の話
 宇宙際タイヒミューラー(IUT)理論は全く新しい視点と、整数の足し算とかけ算の関係についての深い理解に根差している。今世紀、数学界で得られたいかなる業績より数段上の成果だ。それが日本から生まれたことはすばらしい。この成果は何百年後にも記憶され続けるだろう。

ABC予想とは
1985年に欧州の数学者が提示した整数論の問題。「a+b=c」となる互いに素な(1以外に共通の約数を持たない)正の整数a、bとその和cについて、それぞれの互いに異なる素因数の積(d)を求める。このとき「c>dの1+ε乗(εは正の実数)」となるようなa、b、cの組は「たかだか有限個しか存在しない」とする予想。ABC予想が証明されると、「フェルマーの最終定理」など他の難問も簡単に導き出すことができ、数学界で今世紀最も重要な業績になるとされ、世界の数学者が証明に取り組んでいる。
https://mainichi.jp/articles/20200403/k00/00m/040/093000c

2名刺は切らしておりまして2020/04/03(金) 18:27:15.05ID:vKPlp2+d
査読された方々もお疲れ様
56名刺は切らしておりまして2020/04/03(金) 19:38:56.68ID:5IVwiXq/
>>2
査読って検証みたいなもの?
64名刺は切らしておりまして2020/04/03(金) 19:45:45.41ID:ZMdI74xu
>>56
その通り
だから査読した奴らが馬鹿だったり、息のかかった連中だと、
一見正しく見えてもツッコミが出てくる

学術雑誌に載ったから正しいというのもおかしな話で、
Natureすら7割は載っても後で間違いが発覚する
だから権威がある

65名刺は切らしておりまして2020/04/03(金) 19:46:21.90ID:vKPlp2+d
>>56
そうです
責任のある仕事
3名刺は切らしておりまして2020/04/03(金) 18:28:28.29ID:R6ywhu2m
ABC〜は知ってても それだけ〜じゃ困ります♪
6名刺は切らしておりまして2020/04/03(金) 18:34:01.83ID:4attgyyk
おいしいのかすら判らん
82名刺は切らしておりまして2020/04/03(金) 20:19:25.75ID:fMGs1XFZ
>>6

これ

この数学の分野で望月教授より

秀でた人が居ないから

正しいかわからない

8名刺は切らしておりまして2020/04/03(金) 18:34:23.08ID:ZqZqwzjo
どうして、たかだか有限個しか存在しない?
12名刺は切らしておりまして2020/04/03(金) 18:36:46.93ID:4LiPv79A
自国スゲー
おれスゲー

これやりまくっているのは韓国
向こうは新聞がやってる
豆な

13名刺は切らしておりまして2020/04/03(金) 18:36:49.82ID:c7A9R/hp
証明を証明するのに膨大な時間がかかり。
その証明を証明するのにまた膨大な時間がかかる。
以下ループ。
16名刺は切らしておりまして2020/04/03(金) 18:42:49.22ID:t+cjJNH5
小保方になる予感
73名刺は切らしておりまして2020/04/03(金) 20:01:21.02ID:VeIRLDuF
>>16

悔しいねぇw

74名刺は切らしておりまして2020/04/03(金) 20:05:48.11ID:hLdo22pA
>>16
全然違うよ。
仮に証明に失敗したとしても何かを改ざんしたわけではない。
18名刺は切らしておりまして2020/04/03(金) 18:46:40.11ID:x+Ch38BI
問題自体チンプンカンプンだが宇宙がたくさんあるんだすげーと素直に感心する私であった
24名刺は切らしておりまして2020/04/03(金) 18:50:47.15ID:VZnYTC+V
宇宙際タイヒミューラー(IUT)理論、、、、
困った、どこで区切って読めばよいか分からない
26名刺は切らしておりまして2020/04/03(金) 18:51:40.09ID:zVPvzN0U
じゃあ、次はP対NP問題ね
27名刺は切らしておりまして2020/04/03(金) 18:52:42.55ID:sdfrfFD3
ノーベル賞が何個あっても足りないほどのとてつもない業績だということは分かった
31名刺は切らしておりまして2020/04/03(金) 18:57:25.49ID:TtNEo3Mu
宇宙際タイヒミューラー
ネーミングセンスどうにかならんのかな
32名刺は切らしておりまして2020/04/03(金) 18:57:57.99ID:mES/znBw
ロシアのあの人、ひきこもってる数学の天才
45名刺は切らしておりまして2020/04/03(金) 19:14:40.46ID:LuUSXK1F
>>32
ペリルマンな

よく知らんが、コレが本当=この証明が正しい、なら

もっちー>>>>>>>>>>>>>>>ペリルマン

ってことでおk?

34名刺は切らしておりまして2020/04/03(金) 18:59:01.03ID:1872k+SO
次はリーマン予想だべ。
36名刺は切らしておりまして2020/04/03(金) 19:01:04.76ID:l6n6gJyD
フィールズ賞に年齢制限があるのが悲しいな。年齢で差別せんでもいいだろ
それでなくても数学は若い方が有利なんだから
年齢制限なしフィールズ賞も作ったほうがいい
47名刺は切らしておりまして2020/04/03(金) 19:17:45.77ID:iaILAxhh
>>36
特別賞がある

ワイルズとか

49名刺は切らしておりまして2020/04/03(金) 19:21:11.75ID:dxGfqLOc
>>36
> フィールズ賞に年齢制限があるのが悲しいな。年齢で差別せんでもいいだろ
「フィールズ賞は、若い数学者のすぐれた業績を顕彰し、その後の研究を励ますことを目的に…」なのでな

> それでなくても数学は若い方が有利なんだから
そんなことはない、40から伸びてる人の方が多いよ

> 年齢制限なしフィールズ賞も作ったほうがいい
これはあると思う
そもそもフィールズ賞は新人王みたいなものだから(年齢制限なしの)純粋に内容で表彰する賞があってもいい、というかあるべきだと思う

68名刺は切らしておりまして2020/04/03(金) 19:49:38.18ID:jgmKBIZo
>>49
上のレスのものだけど、解説ありがとう
氏の意見に賛成だわ
40名刺は切らしておりまして2020/04/03(金) 19:03:36.89ID:E+M7K1H/
すげぇ…
48名刺は切らしておりまして2020/04/03(金) 19:19:20.89ID:jgmKBIZo
なるほど、全文読んだが全く意味が分からん
でも望月教授もフィールズ賞受賞候補ってことになるのかな?
67名刺は切らしておりまして2020/04/03(金) 19:48:03.20ID:2zrPYvbr
ABCDE〜す
69名刺は切らしておりまして2020/04/03(金) 19:50:15.13ID:OmxEWJwl
数学で新しい記号とか
作られそうだな
Mとか何かに使われてるの?
70名刺は切らしておりまして2020/04/03(金) 19:51:05.01ID:uFXiPWSQ
>既存の数学が存立する枠組み(宇宙)を複数考える

ちょっと何言ってるか分からないっすね
数学も極まると一般人にはオカルトと区別がつかんわ

75名刺は切らしておりまして2020/04/03(金) 20:07:23.89ID:qPo5lMD/
次はコロナ問題
76名刺は切らしておりまして2020/04/03(金) 20:11:44.51ID:+8f0MShZ
無限だったら個っておかしいじゃん
やり直し
80名刺は切らしておりまして2020/04/03(金) 20:15:55.01ID:4QAly6/s
ハンハハハハンハーんいい気持〜
83名刺は切らしておりまして2020/04/03(金) 20:20:06.42ID:/ZMrgAK+
なよなよのボンボンじゃねえか
サクセスストーリーもなにもねえわ
こういうのは、ニートでゴミ箱あさってるようなやつが野グソしながら地面に書いた謎の数式が
たまたまそこを通りがかった髭もじゃのケンブリッジの教授に発見されて大事件になる
観たなところから始まんないとダメ
やり直しだわマジで
ふざくんな
85名刺は切らしておりまして2020/04/03(金) 20:25:58.39ID:k2vbM4j4
有力な反論あったと思うけどそれはどうなったんやろ。
92名刺は切らしておりまして2020/04/03(金) 20:36:21.85ID:FwwmoAgK
嬉しいんだけど
これ正しいと主張する人が1人から10人くらいに増えただけなんだろ
外部からは内輪で回してるだけの印象に見えても仕方がない
学会で認められるのは10年20年先
94名刺は切らしておりまして2020/04/03(金) 20:39:41.66ID:k2vbM4j4
調べてみたら、フィールズ賞をとったピーター・ショルツとテレンス・タオって学者が、何年も前から論文に異議を唱えて今も変わってないようだ。
95名刺は切らしておりまして2020/04/03(金) 20:40:51.66ID:6HizWkyf
絵に描いたような経歴
現実にこんな人いるんだな
105名刺は切らしておりまして2020/04/03(金) 20:52:36.53ID:/th0wPoL
昔挑戦したけど、だいたい解けたけどなぁ
n < 6。n = 3, 4, 5 については古典的な証明があるので定理が証明される。
望月みたく名誉欲無いからそのまま放置したよ
108名刺は切らしておりまして2020/04/03(金) 20:55:58.96ID:Xte7H/XG
「あいう予想」や「いろは予想」の難題がまだ残ってるんだろ?

引用元:http://egg.5ch.net/test/read.cgi/bizplus/1585905846/