二次元裏@ふたば

画像ファイル名:1778374357025.jpg-(109034 B)
109034 B26/05/10(日)09:52:37No.1428457668+ 12:05頃消えます
京大の数学者がABC予想解いたかもしれないっていう話って結局その後どうなったの?
なんか2012年くらいに発表されてから査読中でまだわからないとかなんとか聞いたまま続報がないんだけど
ていうか数学全然詳しくないんだけど
発表されてすぐに京都に世界的な数学者が二人来て直接望月氏に会って議論したけど結局トンデモ理論だということで一蹴されたみたいなことも聞いたけど
結局間違いだったの?
このスレは古いので、もうすぐ消えます。
126/05/10(日)09:53:16No.1428457826+
AIで解決するって本人もそれに乗り気だってニュースがこの前あった
まだ経過中
226/05/10(日)09:54:35No.1428458287+
ID付いてる俺の事なんて信じれないだろうけど結構前から間違ってるってぽいって結論出て業界では終わった話になってる
326/05/10(日)10:04:54No.1428460625そうだねx5
>ID付いてる俺の事なんて信じれないだろうけど結構前から間違ってるってぽいって結論出て業界では終わった話になってる
この教授がわかるように人に教えられないというか、わかんねーやつらが悪いわって態度だから…
426/05/10(日)10:09:21No.1428461490そうだねx15
自分一人で解けたつもりでもそれを他人に証明できないんじゃ無理だよなあ
526/05/10(日)10:11:33No.1428461971そうだねx6
なるほど
間違ってたんだな
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そうだねx5
>どっちなんだ結局
自分で学ぶしかない
聞いて納得するのなら嘘確定って言うけど俺の意見だしなこれは
1426/05/10(日)10:37:27No.1428467596+
証明したって人の態度がなぁ
日本に来いって言ってた割りに理解できないのはお前らが悪いってのはちょっと…
1526/05/10(日)10:38:11No.1428467748そうだねx2
情報が古い…
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そうだねx6
今の時代数学は分業制だしその専門の数学者しかわかんねぇんだから大変だよなぁ
2426/05/10(日)10:57:24No.1428472106そうだねx5
ど素人相手の数学教室ならともかく研究者を相手にしたアカデミズムの場で分からないほうが悪いは割と最悪の部類なのでは…
2526/05/10(日)11:01:25No.1428473078+
>こういう数学の業績で発表時は間違ってると思われたけど後世で正しかったことがわかって覆ったっていう有名な例ってあるの?
数学以外の分野ではいくらでもあるが数学にはない
2626/05/10(日)11:05:30No.1428474053+
ガロア理論とか難しすぎて当時受け入れられなくて受け入れられたの死後でしょ
2726/05/10(日)11:07:35No.1428474527そうだねx1
>ど素人相手の数学教室ならともかく研究者を相手にしたアカデミズムの場で分からないほうが悪いは割と最悪の部類なのでは…
専門化しすぎてて自分の専門外だとわからないのが常だからあんま枠超えて噛みつく人いないけど今回噛みつかれて専門外だから話が噛み合わなかったって話だから
2826/05/10(日)11:09:56No.1428475046そうだねx1
よくわからんから身内の機関誌に論文載せたのが答えかなって思ってる
2926/05/10(日)11:09:57No.1428475055そうだねx3
>ガロア理論とか難しすぎて当時受け入れられなくて受け入れられたの死後でしょ
現時点で間違えていると指摘があったのと現時点ではさっぱり分からないの差は大きいと思うが
3026/05/10(日)11:10:15No.1428475125+
おそらく人間の知性の限界に近付いたのだろう
割と早かったな
3126/05/10(日)11:11:28No.1428475378+
虚数とか説明されてそんな数あるわけねえだろバーカとか言ってる感じ
3226/05/10(日)11:11:43No.1428475427そうだねx3
>専門化しすぎてて自分の専門外だとわからないのが常だからあんま枠超えて噛みつく人いないけど今回噛みつかれて専門外だから話が噛み合わなかったって話だから
専門の人が理解した上で指摘された間違い部分をこう修正すればいいのではというのにも噛み付いてるからより救えないんだ
3326/05/10(日)11:12:13No.1428475537+
難しすぎてわかる人がいないって相当都合のいい逃げ方だなとは思うよね
俺もウンチブリブリ理論とか立ち上げてみようかな?わかんない側が悪いだけだ一本で勝負する
3426/05/10(日)11:13:50No.1428475834そうだねx2
>虚数とか説明されてそんな数あるわけねえだろバーカとか言ってる感じ
虚数とか量子とかって直観に反するだけで数式的には何も変なこと言ってないから…
3526/05/10(日)11:21:00No.1428477362+
いままで虚数って概念がなかったところに虚数持ち込んだら混乱を引き起こすし
その理論で証明したものが正しいのかどうかも分からなくなるよな
3626/05/10(日)11:23:32No.1428477919+
他の問題もあるって意見もあるだろうがショルツと望月新一のやり取りだけに絞ると圏論の問題になる
望月新一の証明では圏論の使い方が普通と違ってて圏論では本来は同じものとみなしてるのを違うとみなして使ってる
だから今までの圏論のやり方は使えないからショルツはそれじゃ圏論の議論丸ごと出来ねえよ直せと要求したが
望月新一は嫌だ俺はこのやり方がいいって言ってそこで議論は頓挫した
圏論の非常に基本的な部分から既存のやり方と違うとなると検証は非常に困難
今望月新一の証明の形式化を試みてる人達もその部分で躓いているし圏論くらい普通のやり方にしてくれと
3726/05/10(日)11:23:43No.1428477954+
どこだったかが反論できたら100万ドルの懸賞金かけてなかったっけ?
つまりまだ反証てきてないってことでしょ
3826/05/10(日)11:27:09No.1428478685そうだねx2
>どこだったかが反論できたら100万ドルの懸賞金かけてなかったっけ?
>つまりまだ反証てきてないってことでしょ
2018年のショルツさんがすでに反証しているのに支払われてないんだよなあ
3926/05/10(日)11:29:12No.1428479177+
知性に品性が付いてこなかったタイプなのかな…
4026/05/10(日)11:30:06No.1428479392そうだねx2
>どこだったかが反論できたら100万ドルの懸賞金かけてなかったっけ?
>つまりまだ反証てきてないってことでしょ
反証されてるけどそれは反証じゃないって無敵の態度だから
4126/05/10(日)11:30:47No.1428479572そうだねx2
ジャップの国の京大なんて世界から見たらカスみたいなもんだよ
4226/05/10(日)11:30:54No.1428479601+
>>どこだったかが反論できたら100万ドルの懸賞金かけてなかったっけ?
>>つまりまだ反証てきてないってことでしょ
>2018年のショルツさんがすでに反証しているのに支払われてないんだよなあ
理路整然と証明の欠陥を指摘すれば良いんじゃなくて論文にして査読付き専門誌に掲載されないといけないとかの条件付きだったはず
4326/05/10(日)11:31:10No.1428479662そうだねx1
どうせ殆どの人間理解できないんだからうにとうにの争いにしか見えない
4426/05/10(日)11:32:11No.1428479856そうだねx2
>ジャップの国の京大なんて世界から見たらカスみたいなもんだよ
わざわざ反証のために京都まで来てくれたショルツさんらに対して失礼だよね望月氏は
4526/05/10(日)11:33:23No.1428480118+
AIの無い頃に証明出来た!って言ってその後AIで何とか解決できるかもなら
少なくとも2012年当時に証明出来たってのは間違いなんじゃないの?
4626/05/10(日)11:33:40No.1428480198+
>他の問題もあるって意見もあるだろうがショルツと望月新一のやり取りだけに絞ると圏論の問題になる
>望月新一の証明では圏論の使い方が普通と違ってて圏論では本来は同じものとみなしてるのを違うとみなして使ってる
>だから今までの圏論のやり方は使えないからショルツはそれじゃ圏論の議論丸ごと出来ねえよ直せと要求したが
>望月新一は嫌だ俺はこのやり方がいいって言ってそこで議論は頓挫した
>圏論の非常に基本的な部分から既存のやり方と違うとなると検証は非常に困難
>今望月新一の証明の形式化を試みてる人達もその部分で躓いているし圏論くらい普通のやり方にしてくれと
AIに聞いたら圏論じゃなくて『異なる「宇宙(universe)」間で数学的対象を同一視する事の正当性です』って返ってきたんだけど
4726/05/10(日)11:34:07No.1428480308+
>ジャップの国の京大なんて世界から見たらカスみたいなもんだよ
>他の問題もあるって意見もあるだろうがショルツと望月新一のやり取りだけに絞ると圏論の問題になる
>望月新一の証明では圏論の使い方が普通と違ってて圏論では本来は同じものとみなしてるのを違うとみなして使ってる
>だから今までの圏論のやり方は使えないからショルツはそれじゃ圏論の議論丸ごと出来ねえよ直せと要求したが
>望月新一は嫌だ俺はこのやり方がいいって言ってそこで議論は頓挫した
>圏論の非常に基本的な部分から既存のやり方と違うとなると検証は非常に困難
>今望月新一の証明の形式化を試みてる人達もその部分で躓いているし圏論くらい普通のやり方にしてくれと
別に宇宙を二つ用意して値の移動と変換やるってのは誰も文句言ってないんだよな
別宇宙の値を区別なく同一とするなら証明にならねーだろって当たり前の反応してるだけで
4826/05/10(日)11:34:32No.1428480409そうだねx4
>どうせ殆どの人間理解できないんだからうにとうにの争いにしか見えない
うにはこのスレでレスしてる「」達の方なんだよ…
4926/05/10(日)11:34:36No.1428480420そうだねx3
>AIに聞いたら圏論じゃなくて『異なる「宇宙(universe)」間で数学的対象を同一視する事の正当性です』って返ってきたんだけど
横からだけど大体同じ意味だから大丈夫
5026/05/10(日)11:35:51No.1428480690+
>別に宇宙を二つ用意して値の移動と変換やるってのは誰も文句言ってないんだよな
>別宇宙の値を区別なく同一とするなら証明にならねーだろって当たり前の反応してるだけで
足し算掛け算が成り立たないだけで値はそりゃ同一じゃねえの?
5126/05/10(日)11:38:02No.1428481162そうだねx1
>ジャップの国の京大なんて世界から見たらカスみたいなもんだよ
惨めな人生送ってんなお前
5226/05/10(日)11:39:25No.1428481496+
>足し算掛け算が成り立たないだけで値はそりゃ同一じゃねえの?
普通そう思うよね?それがまさにショルツの指摘した点だよ
いや宇宙Aの5と宇宙Bの5は同じ5じゃないとかオリジナル設定出してきたのに一切説明しないのなら相手にもされないよ
5326/05/10(日)11:40:31No.1428481755+
俺だって1+1=2がわからない子に教えてもわかんないわかんないで通されたら2になるのとしか言えなくなりそうだし
5426/05/10(日)11:41:30No.1428481973+
系3.12が自明な不等式になるというショルツ達の反論も
ショルツの考えるような単純化を行わないと自明な不等式にはならないし
かといって単純化を行わないと元々の証明も異なる宇宙間での処理がどの程度正しいか保証出来ない
ショルツの議論にも不完全な所はあるが望月新一の議論にも不完全な所はある
結局京大のグループが宇宙間での処理などに関する命題も全て形式化を行わなきゃ駄目って事
5526/05/10(日)11:42:43No.1428482264+
>足し算掛け算が成り立たないだけで値はそりゃ同一じゃねえの?
同一とするならいくら置換しても計算結果は変化しない
同一としないなら部分的に同一としてる計算で自己崩壊する
5626/05/10(日)11:43:10No.1428482374そうだねx1
要はどっちもどっちってこと?
5726/05/10(日)11:44:22No.1428482637そうだねx1
>要はどっちもどっちってこと?
どこが?!
5826/05/10(日)11:44:50No.1428482738+
>要はどっちもどっちってこと?
科学の理論で正しいか間違ってるか分からない理論ってのは
理論を主張する人がちゃんと正しさを証明する義務を負うんだ
5926/05/10(日)11:44:52No.1428482746そうだねx1
>要はどっちもどっちってこと?
いや分はかなり悪い
発表した側が当然の指摘に対して修正も反論もできてないんだし
6026/05/10(日)11:46:42No.1428483139そうだねx6
ふたばの議論で考えるならID:ZF3PVC1Mの言ってることはIDが出てるから胡散臭いかなって
6126/05/10(日)11:47:06No.1428483238+
ABCは知ってても
それだけじゃ困ります
6226/05/10(日)11:48:27No.1428483563+
上ででてるLeanで証明できれば状況は良くなりそうだけど
なんか無理そうな雰囲気がある
6326/05/10(日)11:50:34No.1428484087そうだねx3
オリ設定を使えば証明できる!って言ってるのにそのオリ設定の説明をしてない感じ?
6426/05/10(日)11:52:10No.1428484470+
>オリ設定を使えば証明できる!って言ってるのにそのオリ設定の説明をしてない感じ?
雰囲気だけで話すなら正にそんな感じ
値の同一性を無視するのなら証明できるって言ってるけど数学じゃないだろそれみたいな
6526/05/10(日)11:53:11No.1428484706+
>オリ設定を使えば証明できる!って言ってるのにそのオリ設定の説明をしてない感じ?
一応49ページ分の説明はしてるけどそれじゃ説明になってないとまた同じ議論が繰り返された
結局LEANでの形式化頑張ってねって話になる
6626/05/10(日)11:55:38No.1428485256+
楕円曲線に関するもっと簡単な定理自体は望月新一の議論のミニチュア版で証明が出来るんだが
それ自体はショルツの言ったような反論は全く当てはまらないんだ
京大のグループにはまずはそれから形式化をしてみて欲しい
6726/05/10(日)11:56:14No.1428485404+
まあ本当に正しく便利な理論なら当人関係なく後世の人々が改良して証明するさ
6826/05/10(日)11:58:32No.1428485947+
宇宙宇宙言ってるけど宇宙に関するかなり強い巨大基数公理を仮定したりすれば証明しやすくなったりしないの?
6926/05/10(日)11:59:56No.1428486310そうだねx2
やっぱり圏論的な話してるんだよねこれ
数学の専門家じゃないからさっぱりわからんと思いつつ昔チラチラ見てみたけど
7026/05/10(日)12:02:40No.1428486974+
俺は数学の話はさっぱり分からんが望月氏の態度がけおり気味だと「」が昔言ってて
色々調べたら確かにアレはネットでよく見るけおってる言動だなって分かった
7126/05/10(日)12:03:47No.1428487277+
>やっぱり圏論的な話してるんだよねこれ
>数学の専門家じゃないからさっぱりわからんと思いつつ昔チラチラ見てみたけど
宇宙際幾何学だの言ってるけど
要は設定が複雑な圏論です
圏論のやり方としては若干不味いです


1778374357025.jpg