京大の数学者がABC予 - 二次元裏＠ふたば

画像ファイル名：1778374357025.jpg-(109034 B)

26/05/10(日)09:52:37No.1428457668+ 11:57頃消えます

京大の数学者がABC予想解いたかもしれないっていう話って結局その後どうなったの？
なんか2012年くらいに発表されてから査読中でまだわからないとかなんとか聞いたまま続報がないんだけど
ていうか数学全然詳しくないんだけど
発表されてすぐに京都に世界的な数学者が二人来て直接望月氏に会って議論したけど結局トンデモ理論だということで一蹴されたみたいなことも聞いたけど
結局間違いだったの？

削除された記事が1件あります.見る

…	126/05/10(日)09:53:16No.1428457826+ AIで解決するって本人もそれに乗り気だってニュースがこの前あったまだ経過中

…	226/05/10(日)09:54:35No.1428458287+ ID付いてる俺の事なんて信じれないだろうけど結構前から間違ってるってぽいって結論出て業界では終わった話になってる

…	326/05/10(日)10:04:54No.1428460625そうだねx1 >ID付いてる俺の事なんて信じれないだろうけど結構前から間違ってるってぽいって結論出て業界では終わった話になってるこの教授がわかるように人に教えられないというか、わかんねーやつらが悪いわって態度だから…

…	426/05/10(日)10:09:21No.1428461490そうだねx5 自分一人で解けたつもりでもそれを他人に証明できないんじゃ無理だよなあ

…	526/05/10(日)10:11:33No.1428461971そうだねx1 なるほど間違ってたんだな

…	626/05/10(日)10:13:53No.1428462442+ 100年後辺りにこういうこと言ってたんだなってなるかもねあるいは別の分かりやすい解法が出てくるかも

…	726/05/10(日)10:15:15No.1428462683+ まあどう間違ってたかがわかるだけでもそういう知見が得られるからいいけど…

…	826/05/10(日)10:27:12No.1428465312+ こういう数学の業績で発表時は間違ってると思われたけど後世で正しかったことがわかって覆ったっていう有名な例ってあるの？

…	926/05/10(日)10:28:23No.1428465569+ どうやら間違ってそうくらいの確度で進展ない

…	1026/05/10(日)10:29:07No.1428465721+ スレッドを立てた人によって削除されましたホも新チ w

…	1126/05/10(日)10:33:47No.1428466737+ >この教授がわかるように人に教えられないというか、わかんねーやつらが悪いわって態度だから… ちゃんと人に説明できる弟子が一人できた的な話を聞いたような記憶がある

…	1226/05/10(日)10:34:43No.1428466942+ どっちなんだ結局

…	1326/05/10(日)10:35:50No.1428467193そうだねx3 >どっちなんだ結局自分で学ぶしかない聞いて納得するのなら嘘確定って言うけど俺の意見だしなこれは

…	1426/05/10(日)10:37:27No.1428467596+ 証明したって人の態度がなぁ日本に来いって言ってた割りに理解できないのはお前らが悪いってのはちょっと…

…	1526/05/10(日)10:38:11No.1428467748+ 情報が古い…

…	1626/05/10(日)10:38:32No.1428467820+ ドリーム燃料の京大を信じろ

…	1726/05/10(日)10:41:40No.1428468529+ STAP細胞の小保方さんみたいなこと？

…	1826/05/10(日)10:41:53No.1428468592+ 既存の体系の中じゃ証明できないから新しい体系作っちゃったとかさっぱり分からん

…	1926/05/10(日)10:42:16No.1428468688+ 2021年に身内の機関誌に論文載せたよ流石に自分で査読はしなかったけど

…	2026/05/10(日)10:42:52No.1428468815+ >STAP細胞の小保方さんみたいなこと？真面目に考えるならそこまでの悪意はないはず別宇宙のラベリングを意図せずに混同してしまって証明できたって勘違いしてる感じなはず多分

…	2126/05/10(日)10:43:38No.1428469015+ NHKがNスぺまで作ってたけどその後おあしすしてるな…

…

2226/05/10(日)10:45:07No.1428469362+

数学・ABC予想、証明に暗雲？　国際チーム検証中、望月氏と議論へ
2026年3月31日
https://www.asahi.com/articles/ASV3V3VPBV3VDIFI00NM.html

証明に使った独自理論「宇宙際タイヒミュラー理論（IUT理論）」は、「どこが分からないのかさえ分からない」と言われるほど難解だった。理解者は世界で20人ほどとされ、「証明に欠陥がある」との指摘も消えず、数学界の合意が得られていない異常事態が続いていた。

研究チームは、定理証明支援ソフト「Lean」に注目した。Leanは、証明の流れをコードに書き直し、論理が正しいかコンピューターが厳密にチェックするソフト。24年9月から、IUT理論をコードに書き直す「形式化」をめざし、理論の構造を細かく分解し、論点を整理してきた。

作業はなお途中だが、加藤氏は「現時点で研究チームが解明できていないポイントがある」と話した。それはIUT理論の根幹を支える定理で、数学的なギャップの可能性もあるとみている。ただ、それが本当にギャップなのか、チームの理解不足なのかについては、まだ判断できないとしている。

…	2326/05/10(日)10:47:53No.1428469970そうだねx1 今の時代数学は分業制だしその専門の数学者しかわかんねぇんだから大変だよなぁ

…	2426/05/10(日)10:57:24No.1428472106+ ど素人相手の数学教室ならともかく研究者を相手にしたアカデミズムの場で分からないほうが悪いは割と最悪の部類なのでは…

…	2526/05/10(日)11:01:25No.1428473078+ >こういう数学の業績で発表時は間違ってると思われたけど後世で正しかったことがわかって覆ったっていう有名な例ってあるの？数学以外の分野ではいくらでもあるが数学にはない

…	2626/05/10(日)11:05:30No.1428474053+ ガロア理論とか難しすぎて当時受け入れられなくて受け入れられたの死後でしょ

…	2726/05/10(日)11:07:35No.1428474527+ >ど素人相手の数学教室ならともかく研究者を相手にしたアカデミズムの場で分からないほうが悪いは割と最悪の部類なのでは… 専門化しすぎてて自分の専門外だとわからないのが常だからあんま枠超えて噛みつく人いないけど今回噛みつかれて専門外だから話が噛み合わなかったって話だから

…	2826/05/10(日)11:09:56No.1428475046+ よくわからんから身内の機関誌に論文載せたのが答えかなって思ってる

…	2926/05/10(日)11:09:57No.1428475055そうだねx1 >ガロア理論とか難しすぎて当時受け入れられなくて受け入れられたの死後でしょ現時点で間違えていると指摘があったのと現時点ではさっぱり分からないの差は大きいと思うが

…	3026/05/10(日)11:10:15No.1428475125+ おそらく人間の知性の限界に近付いたのだろう割と早かったな

…	3126/05/10(日)11:11:28No.1428475378+ 虚数とか説明されてそんな数あるわけねえだろバーカとか言ってる感じ

…	3226/05/10(日)11:11:43No.1428475427そうだねx1 >専門化しすぎてて自分の専門外だとわからないのが常だからあんま枠超えて噛みつく人いないけど今回噛みつかれて専門外だから話が噛み合わなかったって話だから専門の人が理解した上で指摘された間違い部分をこう修正すればいいのではというのにも噛み付いてるからより救えないんだ

…	3326/05/10(日)11:12:13No.1428475537+ 難しすぎてわかる人がいないって相当都合のいい逃げ方だなとは思うよね俺もウンチブリブリ理論とか立ち上げてみようかな？わかんない側が悪いだけだ一本で勝負する

…	3426/05/10(日)11:13:50No.1428475834+ >虚数とか説明されてそんな数あるわけねえだろバーカとか言ってる感じ虚数とか量子とかって直観に反するだけで数式的には何も変なこと言ってないから…

E-mail
コメント
削除キー	(記事の削除用。英数字で8文字以内)