【数学】「ＡＢＣ予想」巡る望月新一教授の証明、検証チーム「不明瞭な点がある」と中間報告 [すらいむ★]

数学の難問「ＡＢＣ予想」巡る望月新一教授の証明、検証チーム「不明瞭な点がある」と中間報告

　数学の難問「ＡＢＣ予想」の証明に使われた「 宇宙際 タイヒミュラー（ＩＵＴ）理論」を検証する国際プロジェクトチームは１７日、中間報告を発表し、理論の一部に「不明瞭な点がある」と指摘した。
　現時点で理論が正しいかどうか結論は出していない。
　理論を構築した京都大の望月新一教授と議論を続け、１年をめどに次の報告を行うという。

（以下略、続きはソースでご確認ください）

読売新聞オンライン　2026/07/17 18:02
https://www.yomiuri.co.jp/science/20260717-GYT1T00330/

素数の謎の解明になると思ってたんですけお？

革新的だから難解なのか、誤りがあるから提唱者と同調者以外は不明瞭になってしまうのか

量子力学でもここまで賛否が分かれてない…はず

↓予言者たちが大正解で笑える

580 １３２人目の素数さん 2026/06/05(金) 13:57:15.51 ID:hh2bP5sr
ショルツの指摘はクリティカルだった、LEANでそれがはっきりしたって言えばまあある程度は許されるんじゃないかね

582 １３２人目の素数さん sage 2026/06/05(金) 20:47:34.74 ID:dIc+3A3u
「問題は3.12じゃなああい、3.11.5だああ」
とか小細工かましてフカしてるあたり
認めないだろうなw

583 １３２人目の素数さん 2026/06/08(月) 23:26:33.76 ID:jIFwXGol
ショルツも間違ってましたバーカバーカって言いながらギャップ認めればワンチャン引き分けっぽく見えるから...

　
説明できない天才(？)

できないことを
自明自明、理解できないやつはバカ！
ってゴネ続けてたとか相当恥ずかしい

あと、これを持ち上げてる川上ドワンゴとか

これは多分そうだろうなと思ってたよ
他の人もそう思ってたけどアホらしいんで相手にしていなかったんだと思う

>>3
いや、数学ってのを理解できてるなら簡単な話なんだよ
数学の本質は公理
公理ってのは既知の法則で益になってるもの
つまり、未知の法則でまだ益になってないなら公理ではない、つまり数学ではない
ここんところが分かってない人が大杉
ABC予想にしか使えないのならアドホックな理論止まり
色んなものに応用できて有用性が立証できればその法則は公理となり数学になる
その時やっとABC予想が解けたことになる

AIに解かせろよ。
これが解けてこそ、本物の人工知能だろ。

というか"宇宙際タイヒミュラー理論"ってネーミングは妥当なんかな
元になってるタイヒミュラー理論は人の名前なんでしょ？
勝手に厨二っぽい名前に改造して怒られやしないのか

オスヴァルト・タイヒミュラーぐらい検索してから書きなよ。
タイヒミューラー空間の理論を書いたドイツ人数学者だよ。第二次大戦中に30歳で戦死した。
数学の「宇宙」を跨いでいる理論なんだからそれしか適切な言い方がない。

いくら人間が無能でも、もうすぐ、おそらくClaude-Fable5とLean4で確実に決着がつくだろう。
検算担当の数学者がこの領域で素人だったとしても、地盤を整えたら確実にAI+Leanで突破できる。
素人がバイブコーディングでアプリ作れてしまうのと一緒。
Leanが証明不成立を形式証明したらそれで終わり、ご本人がどう言っても揺るがない、
そして、じゃあどうしたら証明できる？とプロンプト投げたら、それまでの知識で、こうやればいいです、とAIが証明して大騒ぎになるに決まってる。

>>3
証明できたと思ってるのはもう望月だけです

今回のチーム内でも今後証明出来る派と
それも難しそう派に分かれているらしいですが
証明にギャップがない
つまり証明出来てるとする人はいないそうです

>>12
>そして、じゃあどうしたら証明できる？とプロンプト投げたら、それまでの知識で、こうやればいいです、とAIが証明して大騒ぎになるに決まってる。

ショルツの意見では
IUT理論にはabc予想を解く可能性があるアイデアがないそうです

結局理論とか言っているけどこのアプローチではabc予想は解けていないというだけで
そんなことは数学史の中で無数にあった。
むしろそこから他のアプローチを示唆する結果がないのかというところに興味がるけど
LANAプロジェクトはあくまで望月語での解決をめざしているところで
結局不毛な感じがしてきた。IUT理論は他に存在価値があるのかね
まあ一種の芸術作品に近いのかもしれないなと思うけど自己完結しているならいつか忘れらるだろうな

始めてからまだ2年経ってないんだろ
ゆっくりやったらいいんだよ

>>16
ギャップを指摘したss論文から8年経ってるんです

３.１２の話はもうずっとされていて７年前のD・ロバーツ氏の「識別の危機」という論考でも
望月氏の圏論の扱いの特異性が指摘されている。この「違う宇宙で使う物差しどうしが同じものといえるのか？」
という話ももう数年は外野でなされているのにやっとここにきて望月氏側も公に認めたといえるのではないか。
Joshi氏は自分はずっとその欠陥を指摘してきたのに望月氏側に無視されてきてここにきて言うのはフェアじゃないと
わざわざ抗議の文章公開しているくらいだ
「数学的なGAPが真にるのか私たちが理解できていないか」というのは最大限望月氏に気を遣った感じがするけど
そこらへんの望月氏の立ち位置が不可解だなぁ。

ショルツの24歳で教授30歳でフィールズ賞というのはテレンスタオとほぼ同じなのね

頭のいい数学者は、自分の業績にならない他の数学者の難解な証明なんて時間の無駄だからやらないのよ
それをやりたがる名を売りたい数学者は、能力が足りなくてそもそも理解できない

普通は間違いがあれば、ここが間違っていると指摘が出るもんだが、
「わからない」「不明瞭」と歯切れが悪いのよ

誰か他のやり方で証明してほしい

AIで総当たり的に何十時間、何百時間も考えさせまくったら、正解出てくるかな？

>>20
それってZEN大学のことですか

>>12
もうやってるやついるぞFable5で

https://github.com/Takkun-kohinata/IUT_LEAN

>>24
それ、ショルツと同じで望月の間違いを形式に証明しちゃってるんだけどwww

>>18
ドワンゴ&笹川財団による税金抜き取り装置の要石ポジションだろ

夏休み前の金曜日会見
教育界からの話題逸らし狙いとかまさにIUT仕草

>>20
ssがやってるんだけど
わざわざ京都に来てまで