a1eecd045a72d3e82f5fe2b86ea34aa7

1: 名無しさん@涙目です。(栃木県) [ID] 2018/09/26(水) 08:21:12.24 ID:dDbU2Kqa0● BE:886559449-PLT(22000)
【懸賞金100万ドル】人類史上最大の難問の一つ 「リーマン予想」 ついに解明か / 名乗り出たのは89歳のおじいちゃん

ときおり世間を騒がせる「○○が解明されたかも」系のニュース。例えば「ポアンカレ予想」や
「フェルマーの最終定理」などは数学があまり好きではない人でも聞いたことがあると思う。

海外メディア「NewScientist」によると、これらの有名な難問と同様にとにかくヤバすぎるくらい難しい
「リーマン予想」が159年の時を経て証明されたかもしれないとのこと。しかも名乗りを上げたのは
89歳のおじいちゃんというから驚きだ! いったい彼は何者なのか……。

  • スレッドURL: http://hayabusa9.5ch.net/test/read.cgi/news/1537917672/
・数学界の神 
実はこのおじいちゃん、ただのおじいちゃんではない。なんと「数学のノーベル賞」と呼ばれることもある 
フィールズ賞と、これまた別の「数学のノーベル賞」と呼ばれるアーベル賞の両方を受賞している 
マイケル・アティヤ氏。 

1つ受賞しただけでも凄いのに、それを2つも受賞しているなんてヤバすぎる……。これはもう数学界の 
神といっても過言ではない。きっと筆者のようなおっさんとは見えてる世界も違うのだろう。 

・証明はおまけ 
今回の成り行きもただ者ではなく、アティヤ氏は別に「リーマン予想」の研究をしていて証明にたどり 
着いたわけではないという。難しすぎて詳細は理解不能だが、なんでも「微細構造定数」なる、 
物理学の分野で特に重要とされる数値を導く過程でおまけで証明したとのこと。 

さらにスゴみを感じるのは「リーマン予想」の証明がたったの5ページというところ。普通この手の 
超難問の論文はめちゃくちゃ長く、確認どころか読むだけでも大仕事。例えば「ポアンカレ予想」は 
全3部構成で、参照込みの合計68ページだ。 

・100万ドルの懸賞金 
なお「リーマン予想」は、アメリカのクレイ数学研究所が100万ドル……日本円にして約1億1千万円の 
懸賞金をかけている7つの問題の内の一つ。1億円の価値があるほどに重要かつ難しい問題ということだが、 
当然挑戦者も多い。 

誰かが証明したと名乗りを上げたのは今回が初めてではなく、これまでに出されたものは 
全て間違っていたというだけのこと。今回大々的にニュースになっているのは、やはり名乗りを上げたのがhttps://rocketnews24.com/2018/09/26/1119979/




2: 名無しさん@涙目です。(長野県) [ニダ] 2018/09/26(水) 08:23:13.91 ID:0aAbbWP40
リーマン予想って、確か素数の問題だったよな。

73: 名無しさん@涙目です。(catv?) [CN] 2018/09/26(水) 09:57:48.40 ID:Hq14eWf/0
>>2
これ解けたら現在の、SSL通信だとかの暗号が解けるようになってセキュリティがヤバいらしい

81: 名無しさん@涙目です。(庭) [US] 2018/09/26(水) 10:07:46.80 ID:zwn8USpY0
>>73
暗号のためのキーは大規模な素数の掛け算で作られる

リーマン予想は素数の出現分布と関連がある

素数公式が作れる

暗号キーがとける(かも?)


ざっくり言うとこんな感じだな
実際は暗号キー解読は大規模な素因数分解の話だからそう単純では無いと思うけど

133: 名無しさん@涙目です。(空) [IT] 2018/09/26(水) 11:17:15.32 ID:mjA5TEVb0
>>73
素因数分解の困難性を根拠にしてるから違うよ。


、、、と数学偏差値32の俺が言ってみる

128: 名無しさん@涙目です。(catv?) [US] 2018/09/26(水) 11:11:50.52 ID:CzGJZjX60
>>2
ゼータ関数の非自明な点は一直線上に有るはずだ

4: 名無しさん@涙目です。(東京都) [ニダ] 2018/09/26(水) 08:23:57.27 ID:EDoQu8Cd0
あー
俺が余白少なくて答え書けなかった問題か
先越されちゃったな(´・ω・`)

8: 名無しさん@涙目です。(禿) [ニダ] 2018/09/26(水) 08:25:17.28 ID:6nKU3kyx0
>>4
成仏してください

10: 名無しさん@涙目です。(奈良県) [US] 2018/09/26(水) 08:25:56.03 ID:r7weNpPZ0
それが間違ってないと確認できる人間いるの?

54: 名無しさん@涙目です。(チベット自治区) [ニダ] 2018/09/26(水) 09:17:16.68 ID:37RBtpIC0
>>10
いないから数学者や物理学者でよってたかって数ヶ月~数年かけて検証するんやな

248: 名無しさん@涙目です。(禿) [ニダ] 2018/09/26(水) 18:25:37.07 ID:0CtRH2gu0
>>10
マジレスすると5pだったら検証に一年かからないと思う

14: 名無しさん@涙目です。(茨城県) [JP] 2018/09/26(水) 08:29:49.93 ID:wuAcQZig0
何億桁とかまで理論通りになってるなら証明しなくても正しいってことでよくね?

21: 名無しさん@涙目です。(愛知県) [FR] 2018/09/26(水) 08:33:52.09 ID:OQVd1ye/0
>>14
理論じゃなくて予想
手続き的に証明されて初めて理論になる

92: 名無しさん@涙目です。(空) [US] 2018/09/26(水) 10:22:37.29 ID:bTnhsqkX0
>>14
無限に存在するものにとっては数億桁はほんの僅かにも満たないほどの小さな数字でしかない

127: 名無しさん@涙目です。(アメリカ合衆国) [FR] 2018/09/26(水) 11:11:26.14 ID:8ZgkODEU0
>>14
工学なら経験則でOKなのにね

15: 名無しさん@涙目です。(dion軍) [JP] 2018/09/26(水) 08:30:14.74 ID:rAAqwumM0
暗号通信ができなくなっちゃう

49: 名無しさん@涙目です。(空) [ニダ] 2018/09/26(水) 09:03:00.16 ID:ZFP7aY5S0
>>15
やられたのはRSAだけだ
人類にはまだ楕円関数があるぞ!

16: 名無しさん@涙目です。(チベット自治区) [ニダ] 2018/09/26(水) 08:30:38.40 ID:6votf5Pq0
現在わかっている一番大きな素数って何桁?

18: 名無しさん@涙目です。(東京都) [US] 2018/09/26(水) 08:31:30.49 ID:Nrqi38Yl0
>>16
10万366桁
最後の数字は493

24: 名無しさん@涙目です。(チベット自治区) [ニダ] 2018/09/26(水) 08:36:35.01 ID:6votf5Pq0
>>18
2324万9425桁って聞いたけど

137: 名無しさん@涙目です。(庭) [CN] 2018/09/26(水) 11:24:48.37 ID:ce6C4t2C0
>>24
2324万桁って、意味がいまいちだけど、無量大数より大きい数字になります?

188: 名無しさん@涙目です。(catv?) [FR] 2018/09/26(水) 12:49:41.69 ID:66/Jedye0
>>137
無量大数って60桁くらいのゴミ数じゃね?

25: 名無しさん@涙目です。(SB-iPhone) [CH] 2018/09/26(水) 08:36:48.56 ID:UZIEDhar0
賞金100万ドルが高いのか安いのかわからないな

34: 名無しさん@涙目です。(茸) [US] 2018/09/26(水) 08:45:29.29 ID:VtTDmzPV0
円周率と関係あって
電子の動きにも対応してるんだったかな素数

36: 名無しさん@涙目です。(茸) [US] 2018/09/26(水) 08:47:13.03 ID:S5aGwk6e0
>>34
てことはeともつながりあるのね

180: 名無しさん@涙目です。(茸) [DE] 2018/09/26(水) 12:40:10.29 ID:TsYCfAfb0
>>34
なんで数学界はこんなに素数にこだわるんだ。
素数の何に魅せられてるんだ。

そもそも素数ってのは「1とその数でしか割れない数」ということ。
これは人間が無理やり机上でひねり出した概念であって、自然の摂理とはなんの関連性もない。
だが数学者たちはこの素数の出現パターンに必ず何らかの法則があると確信してムダな研究を続けてる。

当然ながら、素数の法則性なんてものが発見されることは未来永劫ない。
せめてこのムダな研究の副産物として有益な別の発見がなされることを望む。

191: 名無しさん@涙目です。(東京都) [US] 2018/09/26(水) 12:51:07.77 ID:mmcKBbEL0
>>180
NHKスペシャルのポアンカレ番組に出てきた数学者達はそこに神様の力、痕跡を感じてるとか言ってたね

193: 名無しさん@涙目です。(庭) [ES] 2018/09/26(水) 12:52:48.88 ID:ZnKE2aLV0
>>191
神の数式が面白かった
森羅万象はひとつの式で表せる云々のやつ

39: 名無しさん@涙目です。(京都府) [US] 2018/09/26(水) 08:49:37.93 ID:lwXAqQEa0
no title

99: 名無しさん@涙目です。(やわらか銀行) [EU] 2018/09/26(水) 10:27:39.65 ID:JP2A6up20
>>39
可奈はやっぱりかわいいな

106: 名無しさん@涙目です。(長屋) [US] 2018/09/26(水) 10:35:24.83 ID:6AXC3HBG0
>>39
漢字にルビ振ってあるけど、
そんなの当てにしなきゃ読めない奴が
この数学解説漫画を理解できるの?

122: 名無しさん@涙目です。(やわらか銀行) [EU] 2018/09/26(水) 11:05:10.62 ID:JP2A6up20
>>106
月マガ関連雑誌で連載してたんだから仕方ない

140: 名無しさん@涙目です。(空) [FR] 2018/09/26(水) 11:29:32.22 ID:sUwziPDX0
>>39
わかりやすかったありがとう
意味はわからんけどな

235: 名無しさん@涙目です。(catv?) [ニダ] 2018/09/26(水) 17:12:50.73 ID:OKSunDiC0
>>39
複素数平面での説明はわかりやすいな。で、これを証明するってどうすればいいのかまるでわからん。

241: 名無しさん@涙目です。(やわらか銀行) [US] 2018/09/26(水) 18:03:34.01 ID:J10Ke9y00
>>39
いい漫画やんけ

254: 名無しさん@涙目です。(茸) [US] 2018/09/26(水) 18:38:15.00 ID:KHayWeu60
>>39
なんて漫画ですか?


数学とか中2の三角形の証明から怪しくなり、数学1Aの白チャートでついていけなくなったレベルだけど解けて理解出来た時の開放感が好きだから苦手だけど嫌いじゃない教科だった
もう遅いけどやり直したいんだがわからない問題とかどうしたらいい?
趣味で明光義塾とか行ってもいいの?
お金払うから写メ撮ってスカイプで解説とかいうシステムはないのかな? 気軽に出来るような

255: 名無しさん@涙目です。(庭) [FR] 2018/09/26(水) 18:42:35.04 ID:d+YMS+/90
>>254
Q.E.D
-証明終了-

で検索
コナンとか金田一と同じジャンルだよ

45: 名無しさん@涙目です。(庭) [EU] 2018/09/26(水) 08:57:45.89 ID:k7fAgr800
そんな難しい数式、何の役に立つんだよ

48: 名無しさん@涙目です。(茸) [US] 2018/09/26(水) 09:00:38.60 ID:S5aGwk6e0
>>45
お前が知らないだけで、めちゃくちゃ役に立ってる

95: 名無しさん@涙目です。(チベット自治区) [ニダ] 2018/09/26(水) 10:25:14.70 ID:sgSWo33z0
>>48
例えば?

135: 名無しさん@涙目です。(公衆電話) [US] 2018/09/26(水) 11:19:27.36 ID:JMP6213O0
>>95
今まで扱いに困ってたものが定量的に解決できるようになる
台風の進路予測も半導体の量子的振舞いも数学あってのこと

142: 名無しさん@涙目です。(新疆ウイグル自治区) [US] 2018/09/26(水) 11:30:43.91 ID:i/HsYxMm0
>>95
上にあったセキュリティ的な問題とかも基礎数学あってことじゃないの

67: 名無しさん@涙目です。(庭) [US] 2018/09/26(水) 09:50:15.43 ID:yqf+tDLX0
ついでの微細構造定数導出の方がすごい話だぞ。本当なら。

74: 名無しさん@涙目です。(神奈川県) [ニダ] 2018/09/26(水) 09:58:00.89 ID:jLOfYkGC0
証明の肝となっているTodd関数というのがまだ公開されてないそうな
https://www.johndcook.com/blog/2018/09/24/riemann-hypothesis-the-fine-structure-constant-and-the-todd-function/

211: 名無しさん@涙目です。(やわらか銀行) [MX] 2018/09/26(水) 14:17:49.80 ID:7V54q9P+0
>>74
そら公開したらやべぇんちゃう

91: 名無しさん@涙目です。(茸) [ニダ] 2018/09/26(水) 10:22:28.62 ID:4/wUAu+N0
160年も正しいんじゃね?って思われてた予想が
やっぱ正しいわってなった所で新しい発見はあるの?もちろん証明をバカにしているわけではないよ

97: 名無しさん@涙目です。(庭) [US] 2018/09/26(水) 10:26:32.93 ID:zwn8USpY0
>>91
証明の過程が新しい分野の幕開けや起爆剤になるとか?
1によると微細構造定数の話も出てくるっぽいし、物理学でも進展あるかもよ
この証明がマジなら

93: 名無しさん@涙目です。(東京都) [ニダ] 2018/09/26(水) 10:23:56.26 ID:cHac9TF20
証明が正しいという証明は誰がやるの
お前らでもできるの?

98: 名無しさん@涙目です。(SB-iPhone) [JP] 2018/09/26(水) 10:27:14.27 ID:aozK/mhk0
>>93
それも難関だからABC予想とかいうのを証明した望月教授の論文も世界で誰も理解できなくて
発表してから何年も経ってるのに証明出来てるのか出来てないのか不明な状態らしい

102: 名無しさん@涙目です。(catv?) [CN] 2018/09/26(水) 10:32:46.53 ID:vr/t2dji0
nスペで昔やってたな。原子核のエネルギー間隔と素数の出現率が同じ方程式だとか。原子と素数が関係してるなんて誰が考えるよ。神の存在がチラつくよな。物理のアプローチで解いたそうだから多分この爺さんあってるかも。

109: 名無しさん@涙目です。(庭) [US] 2018/09/26(水) 10:37:15.92 ID:zwn8USpY0
>>102
ポアンカレ予想も物理アプローチだったなそういえば

115: 名無しさん@涙目です。(空) [ニダ] 2018/09/26(水) 10:45:59.63 ID:ZFP7aY5S0
>>102
んにゃ神というよりそもそも人間が自然を自分の都合で「1」とか「2」とかで認識したことが原因ぽい。
そもそも自然界に「1」なんて存在しない。
自然界に全く重さも大きさも同じ石ころが存在しないのは誰でも知っている。

181: 名無しさん@涙目です。(茸) [ニダ] 2018/09/26(水) 12:40:14.96 ID:ZuMzAZ2y0
>>102
なるほどなあ

162: 名無しさん@涙目です。(庭) [NO] 2018/09/26(水) 12:00:15.77 ID:ZKEQPDwJ0
関係ないけど似たような問題を解決したグリゴリーペレルマンって凄い人なんだな
wikiでしか知らないけど顔からしてかなりの変人だと思われる

163: 名無しさん@涙目です。(catv?) [US] 2018/09/26(水) 12:03:56.96 ID:CzGJZjX60
>>162
ポアンカレ予想ね
一億円要らないって言って拒否したんだよなあ

164: 名無しさん@涙目です。(チベット自治区) [DE] 2018/09/26(水) 12:05:01.70 ID:JLa2C+1D0
マジレスするとリーマン予想が証明されても素数に法則性があるってことが証明されるだけでどのような法則なのかが解明されるわけではない
それでも凄いことだけど