あるAnonymous Coward 曰く、 朝日新聞の記事によると、ドワンゴ創業者の川上量生氏が、京都大数理解析研究所の望月新一教授の「宇宙際タイヒミュラー理論」の誤りの証明に100万ドルの賞金をかけると発表したそうだ。 同理論は「ABC予想」の証明に使われたが、理論の難解さから現在も論争が続いている。今回の賞金は査読付き専門誌への掲載が条件で、審査は非公開だそうだ。
関連リンクにコレも入れといてください (スコア:3)
https://science.srad.jp/story/21/07/11/1816239/ [science.srad.jp]
『数学の未解決問題「コラッツ予想」の解決に1億2000万円の懸賞金。音圧爆上げくん』
なんかいろんな企業や個人が証明に懸賞金掛けるようになったら面白いですね
肝心の理論名、ま～たTypoかよ (スコア:0)
と思ったら、本当にそういう名前なんですか。その時点からしてもうわからん。
Re: (スコア:0)
ちなみにどんな名前からのtypoだと思ったの？
Re:肝心の理論名、ま～たTypoかよ (スコア:1)
堆肥三浦
Re: (スコア:0)
自分は「宇宙際」の部分に引っかかった。
Inter Universeの訳なんだろうけど。
Internationalが国際だし、
InterHigh(school)（インターハイ）とか、InterColledge（インカレ）とか
もあるので、理解できなくもありませんが、感覚的に馴染めていないです。
Re: (スコア:0)
それはもうtypoでも何でもない、ただのイチャモンですね。
Re: (スコア:0)
理論にその名を付けた望月新一教授は日本語ネイティブで、かつ5歳から23歳までアメリカで暮らした（途中帰国して日本の中学にも通った）バイリンガルやぞ。
論文を読んでみると「宇宙際」も納得できるだろうに、なぜその知識の浅さで語ってんのよ。
Re: (スコア:0)
なにか勘違いしているようですが、ここは専門家が議論する場ではなくただの雑談サイトですよ。
Re: (スコア:0)
そんなん群とか環とか体とかに比べたら大したことない。
AIに解くことができちゃったら (スコア:0)
AIでこれ証明理解できたら、
シンギュラリティー超えたことの証明になるかもしれない。
一石二鳥ですな。
# んなこたーない
Re:AIに解くことができちゃったら (スコア:1)
理解できない(できる人がほとんどいない)ことが問題なのだから、AIの証明なり反証なりが理解できないに変わるだけな気がする。
Re: (スコア:0)
いや、そこまで至るかな？
理解できる人がほとんどいない問題に対し、今の疑似AIが有効とは思えないな。
せいぜい、それっぽいが間違いだらけの答らしきものを提示出来る程度じゃないかな。
# 劣化した人間が答の間違いを指摘できない可能性はある
Re:AIに解くことができちゃったら (スコア:1)
この前、とある集合問題をChatGTP先生にやらせたら、
「AとBの数は出ているからわかるけど、Cの数がわからないので、答えられません」
と回答されました。いやいや分かるようにできているんだがなぁ、と思いましたが、
「なるほどこれが人間なみの能力 [google.com]なのか。よくできてるなぁ」と思った次第。
Re: (スコア:0)
定理証明支援系を使った形式的証明をAIから得ることができれば、証明のステップについては人間が理解する必要はないですねえ
問題は、IUTTのもろもろを形式化したものが論文のそれと一致しているのか人間に確認できるのかというところさんですが…
Re: (スコア:0)
今のところLLMは数学の高度な定理の証明ではまったくの無力
なんでこいつが (スコア:0)
なんでこいつが判断すんのか、イミフにもほどがある。
Re:なんでこいつが (スコア:2)
金だすんだからやってもいいんじゃないの？
川上さんがわかるレベルの反証が来たんならそれはそれで大成果だし（無理だけど）。
Re: (スコア:0)
俺に分かるように説明をしろ、に賞金かけるとIUT理論の敷居が下がったりするんですかね。
#数学科のポスドクと思われる人の動画のabc予想の回にて、話が宇宙際タイヒミューラー論になった途端「論文全部公開されてるから目を通したけど何言ってるのか1ページも理解できねー」と言っていました。他の動画ではちゃんと解説してくれているのですが。
Re: (スコア:0)
タダではやりたくないけど、金貰えるなら、って勢力に期待してるだけでは。
使いこなせば全てが変わるすごい理論、という触れ込みの通りなら、理解できてないと数学者としてゴミになってしまうので、みんな頑張る。
が、ちょっと読み込んだ人から呈された疑問にまともに解答しないとか雲行きが怪しくなってきて、理解できても根本的に間違っていて単なる時間の無駄に終わるかも、という割の合わないギャンブルになってきた。
なので、時間の無駄にはなっても金にはなるよ、と引っ張り戻しただけ。
Re: (スコア:0)
ここ繋って無いよ、にソレはおまえが判って無いだけ、という対応されたら反証しようも無いと思うんだがねえ。
Re: (スコア:0)
ABC予想の反例見つけたとかなら問答無用で行けるだろうが
無期限? (スコア:0)
証明の期限は設定されていないのかしら?
Re: (スコア:0)
ただし、インフレで目減りします。
為替ヘッジもしませんし。
Re:無期限? (スコア:1)
どこかの富豪が用意したフェルマーの最終定理の懸賞金は、100年間の期限付きの懸賞だったんだけど、
90年後ぐらいに証明されたから、懸賞をかけた当時は今の価値にして10億円以上あったのに、インフレで数100万円に目減りしてたんだよな。
Re: (スコア:0)
金の現物で用意して置いたらどうだったんだろう
或いは土地とか
Re: (スコア:0)
100年過ぎたら周り一体ゴースタウンになっていて価値がない土地になってる可能性も
Re: (スコア:0)
「夏への扉」の映画版では、貨幣経済が終わって金が暴落してるって世界観だったなあ
あれはそのお陰で安く買えた金を過去に持ってって金でいろいろする前振りだったっけ
Re: (スコア:0)
原作ではとくにそういうことはなかったな。過去に金の形で持ち込んだところは一緒だけど(未来の通貨を過去に持っていったところで単なる贋金だから)
Re: (スコア:0)
原作でも腹に金を巻きつけて過去に戻って換金してましたよ。
Re: (スコア:0)
だから「過去に金の形で持ち込んだところは一緒」って書いてるじゃん。「貨幣経済が終わって金が暴落」してるなんてことはなかったと言ってるんだけど。絶望的なまでに日本語が通じないな
Re: (スコア:0)
新訳では文化女中器が案の定ポリコレアタックでそのままカタカナにしただけのハイヤード・ガールになってた
Re: (スコア:0)
そういうのって基金にして運用しないんか…
誤りの証明に100万ドルの賞金 (スコア:0)
もし正しさが(望月の息がかかっていない論文誌に掲載されたとかCoqで形式証明が書けたとかで)証明されても賞金受け取れないんですか? 実はカワンゴは正しいことの証明を持っているので安心して賞金を懸けられたという線は…ないか。単に日本スゴイから正しいと信じていて、欧米のおかしな奴らがイチャモンつけているにすぎないと考えているだけかな?
Re:誤りの証明に100万ドルの賞金 (スコア:1)
いや、証明、反証どっちでも賞金出る話だぞ。
Re:誤りの証明に100万ドルの賞金 (スコア:1)
白紙の束をこれでもかというほどの量を贈られたりとか
はよ完璧な定理自動証明が実現して欲しい (スコア:0)
人生を数学に費やしている数学者ですら、専門以外の数学はわからんで、結果ある証明を理解している人は世界でもわずか数名、なんてことになったりする。
証明の誤りが珍しいことではないと思えば、数名の検証だって信頼できないわけで、もはや「証明」の域に達しているのか
定理証明器の原理と実装さえ何とか理解すれば、あらゆる定理証明が正しいことを、誰でも自信を持って宣言できる時代になったらいいな
Re: (スコア:0)
数学者は失業を喜ぶのかはたまた他業種の皆さんのようにネオ・ラッダイトに走るのか
Re: (スコア:0)
定理証明機は論理が正しいことを保証してくれるだけで、何を証明しているかまでは保証しないのよ。
2ちゃんねるの数学スレッドで、議論の前提となる定義が正しく構成されているかどうかで荒れているのを見たことがある。
Re:売名行為かな (スコア:2, 興味深い)
宇宙とも宇宙論ともなーんの関係もないんですよ。「宇宙際タイヒミュラー理論」って。
人のことを批判するなら、最低限何について言及してるのかぐらい理解してから発言しましょうね。
#宇宙論の宇宙よりもアメコミのマルチバースのバースの方がまだ近いぐらいの概念。
それと、記憶の範囲なので間違いかもしれないが、この懸賞かける話は数年前から出てたと思う。
色々と検討して発表したのが7日ってことなんだろうな。
Re:売名行為かな (スコア:4, 参考になる)
さらに補足すると宇宙ってのは元からある数学用語であって、望月教授が空の上の宇宙や宇宙論と関係ないのに意味不明に宇宙って単語を使ったわけでもない。
https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99_(%E6%95%B0%E5%AD%A6) [wikipedia.org]
Re: (スコア:0)
ユニバースの翻訳に多分、仏教用語から宇宙を割り当てた昔の人のセンスが、今の人に伝わってないから？
Re:売名行為かな (スコア:1)
「宇宙」という言葉は、紀元前2世紀頃の「淮南子（えなんじ）」の中に登場する。
「往古来今謂之宙、四方上下謂之宇」
（往古来今これ宙といい、四方上下これ宇という）
宙が時間、宇が空間を指すのでつまり時間を含んだ「時空」みたいな語ですね。
Re: (スコア:0)
よく「航宙局」みたいなのがSFに出てきますけど、実はそれだと時間移動局みたいな意味になっちゃうんですよね。タイムパトロール？
海賊に対応した「宙賊」ってのもあるな…。
なお中国では「宇」の方をちゃんと使うようです。
ってんでNASAに相当する機関の名前なんだっけなと見てみたら「中国国家航天局」だった。航天。かっこよすぎ。
Re:売名行為かな (スコア:1)
まぁそんな穿った見方しなくても。
読み解くことすら困難なわけだから、なんの後ろ盾も無く読み解こうと思う人なんて基本的にはシンパばかりになってしまうし、
懐疑派への研究の動機付けに賞金をつけるのは良いことだと思うよ。
少なくともその研究が金になるという後押しさえあればやってやろうって人もいるでしょう。
あってるとも間違ってるとも誰も言えない状態のままでいるよりもなんぼもマシ。
やらない善よりやる偽善。
Re: (スコア:0)
売名としては中々有意義な選択だと思う。実際やっていることの実態や目的はこの理論の売名に近い。(勿論自身の名も売れる)
賞金はいざとなれば支払うのだろうが、どちらかと言えばタダで目的を達成できる方に分があるとみた賭けなのだろう。
Re: (スコア:0)
ドワンゴの大学の宣伝だと思うよ
Re: (スコア:0)
そもそもの望月新一教授の「ABC予想を証明できた」が売名行為だった可能性も
Re: (スコア:0)
研究者の仕事って売名行為そのものでしょ
Re: (スコア:0)
売名のために成果をでっち上げるのは研究じゃなくて研究不正ですよ
Re: (スコア:0)
最近やたらと「いっちょかみ」言うけど、元ネタの時事騒動とかあんの?