数学難問ABC予想、望月新一教授の証明の問題点「絞り込めた」 ZEN大学 - 日本経済新聞

ZEN大学やオランダのユトレヒト大学などは17日、数学の難問「ABC予想」に関連する理論が持つ問題点を絞り込んだと発表した。今後、問題点をどのように解決できるかが焦点となる。同日東京都内で国際共同研究の中間発表会を開いた。プロジェクトに参加する米カリフォルニア大学サンディエゴ校のキラン・ケドラヤ教授は「問題とされている部分の証明が、プロジェクトの取り組みで補われる可能性がある」と話した。共

[mimizukuma]

結局scholzeに指摘されたところが形式化できないと

[TanpoTP]

『具体的には異なる手順から得られる2つの「実数の物差し」が本当に同じものを測っていると示せるかどうかが焦点となった。……実際にはその数値を定義する枠組み同士が一致していることを示す必要がある。』

[pekee-nuee-nuee]

コンピュータで形式化やると決まってからの展開が早い

[twmw]

予想以上にAIの進化が早すぎて望月さん逃げ切れない🤔

[hitac]

天才が合ってるかよくわからんものを出して周りが困るってフェルマー予想を連想してしまう。今回はAIのおかげで何百年もかからない。

[Delphiver5]

深い内容はわからないが、この話題には以前から興味があった。

[tikisn]

お膝元の京大ともう1つイギリスの大学でしか扱ってないみたいな話を昔聞いてもうダメなのかと思っていたが、そうでもなかったのね

[daybeforeyesterday]

ふーん

[ichan]

Leanで証明しようとしている

[parrying]

論文の誤りを指摘されたのが2018年なので素人から見ると進んでんだか進んでないんだかわからないわね

[camellow]

理解できる人が少ない、プログラムに落とし込めない、問題点がなかなか「絞り込めない」なんてモノは数学として意味あるの？いやなんも知らんからそんなものなんだよと言われたらそうなのかと思うだけだけど。

[hhungry]

証明の証明。

[ustar]

ZEN大学頑張ってるのにpopopoときたら（関係ない）

[thekoruku]

これ学術誌に掲載されたから証明完了になったんじゃなかったっけ？もし不備があるとするなら査読した人たちの権威はどうなるのか？

[fraction]

はてブにでてる読売の記事見るにそれこそ禅問答みたいだった部分が人間が理解できる形になったようで、形式化の努力もいいがその時点でもう一度その道のプロが検討できるのでは？

[niramoyashi]

チャッピーが先に解きそう

[cu39]

日本語 https://www.youtube.com/watch?v=g0QLL8iYECY 英語 https://www.youtube.com/watch?v=KADN5NHmIfw

[pixmap]

やっぱり難しそうだよな。Leanでてこずっているうちに、LLMが証明しちゃう方が早いかもしれん。