『アティヤの発表によると微細構造定数を導出したとのこと。リーマン予想はボーナス。個人的には微細構造定数の方が重要。本当ならば軽くノーベル賞クラス』

realism is true @wickrotate

@duetosymmetry @johncarlosbaez A bunch of us were doing this a few hours ago too (if you haven’t seen it)! reddit.com/r/math/comment…

John Carlos Baez @johncarlosbaez

@litgenstein @duetosymmetry It encourages me (in the sense of laying this sorry episode to rest) that both of you independently got the same answer.

ティファニー @kyow_Q

は？？？？？？微細構造定数の計算を細かく追う過程でリーマン予想がたまたま証明されている事に気がついたって魔剤？？？？

ざぜ/Ryoichiro Arikawa @zazenpichin_

日本がクッパ姫で賑わってる中、マイケル・アティヤ卿が微細構造定数の導出ができたぞという論文のついでになんかリーマン予想解けてたっぽいと言ったという話題で物理クラスタと数学クラスタがざわついている

Haruhiko Okumura @h_okumura

何が起こっているのか簡単に書くと，アティヤという超有名な数学者（でももう89歳のおじいちゃん）が微細構造定数（要するに電磁相互作用の無次元の強さ）の値を計算で出して，そのついでにリーマン予想を証明しちゃったというので騒ぎになっている（老人の妄想？）

小谷太郎 @tarokotani

4時間ほど前（09/24 09:45 CEST)、 Heidelberg Laureate Forum という会議において、「150年間未解決だったリーマン予想をついに証明した」という爆弾発表が行なわれたらしい。本物だろうか。 twitter.com/mpoessel/statu…

Markus Pössel @mpoessel

Incidentally, here is the proof. You're welcome. #HLF18 pic.twitter.com/cXe2mPyFfB

2018-09-24 17:24:52

ふろん @Focus_Sash

リーマン予想のwiki読んでたら突然めっちゃ感情出してきた笑った pic.twitter.com/tgVZrbdBiu

拡大

物理学が好きな時雨 @Shigure_phys__

さて、リーマン予想とは、このリーマンゼータ関数というやつの「非自明な零点」が全て実部1/2の直線上に並ぶ、という予想だ。ここにnは自然数、sは複素数だよ。ちなみに解析接続を用いると、sがマイナスの偶数であるとき明らかにゼロになって面白くないし意味がない。これが「自明な零点」。 pic.twitter.com/jPTGWNmGgO

拡大

Time Arrow @chaos563_29

Atiyaの３ページのAbstract論文の最後まで読むとGeneralなリーマン予想はZFCの枠組みでは解けない(Undecidable)と書いている、それがランダムネスと関係があると書いてあるが、結局一般的なリーマン予想が解けないことの証明なのだろうか。#リーマン予想

さーたー @sugar_underkey

@chaos563_29 いや一般的なリーマン予想(GRH？)関しては「fully expect」としか言ってないようです とりあえずリーマン予想に関しては選択公理を要するものの証明出来ると、そういう話のようです ただ「有名問題のほとんどは決定不能だと予想する」というのが衝撃的ですね、、、 pic.twitter.com/FUkzuO8zuz

拡大

Kentaro Neko @kentaro_neko

リーマン予想は経過でおまけで証明できて、微細構造定数を導出したということだけど、こういうのは２年くらいのうちに反論が出てこないかどうかという公開査読みたいなもんなんで、まだわからん。本当だったら数学が成り立つ世界では常に物理常数は同じということになる

数学を愛する会 @mathlava

ペレルマンといい結局、物理学的発想で解いてしまうんだな… twitter.com/mpoessel/statu…

Markus Pössel @mpoessel

Atiyah has promised this to be accessible to non-mathematicians. #HLF18 pic.twitter.com/4tg384IHyB

2018-09-24 16:50:37

数学を愛する会 @mathlava

Atiyahさんによるリーマン予想の証明がたったの5ページ。 pic.twitter.com/46JrctYHLO

拡大

拡大

拡大

拡大

数学を愛する会 @mathlava

つづき pic.twitter.com/feFqrutSUP

拡大

数学を愛する会 @mathlava

僕にはさっぱり分からないが、 微細構造定数という物理の分野の研究中にヒントを得たそうです。 ここからPDFでダウンロードできます。 drive.google.com/open?id=17NBIC…

数学を愛する会 @mathlava

例のリーマン予想の証明より、 微細構造定数は電磁相互作用の強さを表す物理定数で、それをαとおくと、 T(π)＝1/α＝137.035999...となり、 γをオイラー定数とすると、 T(γ)/γ = T(π)/π つまり、微細構造定数とπとγが等式で結ばれるということ。 鳥肌やな。

数学を愛する会 @mathlava

ただし彼は以前、別件の証明で大きなミスを犯した経験があり、 今回もそのような穴が発見される可能性は十分にあります。 しかし、彼が偉大な数学者であることに変わりはありません。

ろじゃす@ヒロユキ @rojas_hiroyuki

リーマン予想の証明に関するスライド。 微細構造定数の導出過程で気づいたようだけど、最後の文がパワーワードすぎだろ(笑 pic.twitter.com/1E3FdPUfXF

拡大

かろん @IdioSavn

アティヤ先生が正しいとすると、初期値は光速度だけで他の定数は自明に導かれるってことにならんか。 ヒルベルトプログラム大勝利みたいな。 光速度だけは無理っぽいが。

Masahiro Hotta @hottaqu

本当にアティヤ先生は、リーマン予想の、しかも"簡単な"証明にたどり着いたのだろうか？？ pic.twitter.com/1pGGwSjXrw

拡大

Masahiro Hotta @hottaqu

フォンノイマンとヒルツェブルフとディラックの古い仕事が元になっている、簡単な証明とは？

ザード＠ @world_fantasia

@hottaqu Abstractみただけだと「それで解けるならもうとっくに解けてる」ってイメージの表現が並んでますね。関係ありませんがミレニアム問題だと私はP=NP派です。多項式時間だがO(n^m)のmに巨大数を仮定すればその空間内にある多項式アルゴリズムが存在すると思ってます

たわし@終わりまで6日 @nCk_cv

マイケルアティヤ大先生だし適当ではなさそう