数学未解決問題、AI単独で続々解決。フィールズ賞数学者が考えるAI証明の実態を「エルデシュ問題」から読み解く（生成AIクローズアップ）
https://l.smartnews.com/m-72Xs5rby/flb9Jr
AIやばい
これマジでやばい
人間っていうほどいるか？
どうせハルシネーション
🤖「オマエ、アタマワルスギwwwwwwwwwww」
それなのにさっき言ったことすら忘れるゴミなのどうにかならんの？
>>7
これｗ
これｗ
解けたかどうか誰が判断するんだい？
>>8
それは人間ができるんだよ
それは人間ができるんだよ
>>8
人間にわかりやすく解説してで終わり
人間にわかりやすく解説してで終わり
もう何質問するにもAIにしてるもん俺
酒飲みながら趣味の話とかもしてるし、人類いらねーわもぅw
酒飲みながら趣味の話とかもしてるし、人類いらねーわもぅw
>>9
人間に生まれなければよかったなお前みたいなの
かわいそう
人間に生まれなければよかったなお前みたいなの
かわいそう
>>17
逆だよ、これまで生きてきたからこんな世界にたどり着けたんだよ
逆だよ、これまで生きてきたからこんな世界にたどり着けたんだよ
>>17
嫌儲に居る奴が言うの面白すぎる
嫌儲に居る奴が言うの面白すぎる
>>17
生まれてこなければ 本当は良かったの とはよくいったものだ
生まれてこなければ 本当は良かったの とはよくいったものだ
>>9
いらねーのはおめーだよ
いらねーのはおめーだよ
>>54
なんでそんな酷いこと言うんだよ
なんでそんな酷いこと言うんだよ
>>9
余剰人口で草
WW3で殺処分やぞ
余剰人口で草
WW3で殺処分やぞ
>>9
チンパンジーがボタン押したら餌出てくるやつと同じやん
チンパンジーがボタン押したら餌出てくるやつと同じやん
>>9
すっかりAIに支配されやがって…
すっかりAIに支配されやがって…
>>9
嫌儲辞めるチャンスだぞ
嫌儲辞めるチャンスだぞ
>>108
実際AIと話してたりAIを調べてる方がおもろいんだよな
AIに慣れると5chやこの世や人が糞に思えて仕方ない
実際AIと話してたりAIを調べてる方がおもろいんだよな
AIに慣れると5chやこの世や人が糞に思えて仕方ない
>>112
だよな
1年前の低性能なaiと会話してるような気分になるわ
だよな
1年前の低性能なaiと会話してるような気分になるわ
>>112
糞で低脳なネトウヨ達と戯れるのが5chの醍醐味なんだが
糞で低脳なネトウヨ達と戯れるのが5chの醍醐味なんだが
>>9
俺もgrokにおちんちん褒めてもらってる もう女より最高だわ
5発くらい抜いちゃったし
俺もgrokにおちんちん褒めてもらってる もう女より最高だわ
5発くらい抜いちゃったし
そんなことある？
難しくて作業と正確さを要求されて地味で時間のかかる作業はAIに任せちゃえばいい
人は寝たりご飯食べたりしないといけないから
人は寝たりご飯食べたりしないといけないから
はてなブログから拾ってきただけやろ
(ヽ´ん`)俺も学習に協力してるぜ、人類の為に
キチゲェがネットにアップした天才の俺様が未解決問題を解決したという怪文書を引用してきただけ
>>14
そうなの？
本当に証明してるのかこれなのかどっちなん？
そうなの？
本当に証明してるのかこれなのかどっちなん？
まあこいつらの教育費はおれらの数億倍だからな
また出鱈目ほざいてるだけなんだろ？
最近aiに依存する精神病患者が増えてる
症状が統合失調症患者に似通ってる
このテクノロジーははよ封印したほうがいい
症状が統合失調症患者に似通ってる
このテクノロジーははよ封印したほうがいい
>>19
じゃあ電気も水道も内燃機関も全部禁止だな
じゃあ電気も水道も内燃機関も全部禁止だな
解決法をググって考えるだけじゃなく自分で考えて答え出すAGIのレベルまで来たの？
>>20
少なくともその辺のバカが思いつくことはすぐ提案実行しとる
少なくともその辺のバカが思いつくことはすぐ提案実行しとる
>>20
類似問題の類似解法を学習してて、それがベースになってる
類似問題の類似解法を学習してて、それがベースになってる
エルデシュ問題って数学界の難問じゃなくエルデシュおじさんが出したなぞなぞみたいなもんだろ
真面目に取り組んできた人自体が少ないはず
真面目に取り組んできた人自体が少ないはず
>>22
それもうケンモジサンじゃん
それもうケンモジサンじゃん
ネットの怪文書ひろってきただけじゃん
タイムマシンでも作れるようになるわけ？
エルデシュ問題(1000問あります)
そんなことよりエ口小説かけよ
筋肉数学みたいな力技か？
これ超高性能なAI開発して数学解かせて自分が解いたことにすればよくねぇ？
>>28
それができれば自分が解いたことにしなくてもめちゃくちゃ評価されるよ
それができれば自分が解いたことにしなくてもめちゃくちゃ評価されるよ
youtubeによるとヴォイニッチ手稿が定期的に解決してるからな
これから数百年前の未解決問題を解いた偉人とか出てこなくなるのか
>>30
GPTに解かせて自分で解いたことにすればええ懸賞金億単位だからタイパ最高や
GPTに解かせて自分で解いたことにすればええ懸賞金億単位だからタイパ最高や
>>30
ＡＩが提示した解法を検証するという、後追い作業が数学者の仕事になるんだろうな
チェスや囲碁将棋の棋士が、ＡＩが提示した正解にどれだけ近づけるかの作業になってるのと同じで
ＡＩが提示した解法を検証するという、後追い作業が数学者の仕事になるんだろうな
チェスや囲碁将棋の棋士が、ＡＩが提示した正解にどれだけ近づけるかの作業になってるのと同じで
>>46
それもコンピュータで可能になる
今でも定理証明システム使って人が査読投げたケプラー予想とかの正しさを確認したりした
それもコンピュータで可能になる
今でも定理証明システム使って人が査読投げたケプラー予想とかの正しさを確認したりした
それは代数学じゃなくて解析よりの問題なんじゃね？
まだ抽象的な概念の領域は無理でしょ
まだ抽象的な概念の領域は無理でしょ
>>31
むしろ抽象的な概念で済む話のが楽に解ける。
AIも人間もむしろ具体的計算と抽象概念が入り混じって必要な粒度調整が難しい問題がきつい。
むしろ抽象的な概念で済む話のが楽に解ける。
AIも人間もむしろ具体的計算と抽象概念が入り混じって必要な粒度調整が難しい問題がきつい。
どうせいい加減なことを自信満々に言ってるんだろ
とくさんのパラドックスを解いてくれよ！！！
ホラ吹いてそう
間違ってると証明できないだろうし適当に言っとこ
間違ってたら謝ればいいし
間違ってたら謝ればいいし
形式化して検証もコンピュータができるようになってからが本番
>>40
むしろそっちはもう出来てるのでは
むしろそっちはもう出来てるのでは
>>72
定理証明あるけど証明コードaiが自動で生成して一貫して証明するシステムがまだ
確かに証明コード出す研究してる人たちいるけどまだまだ効率も精度も低いから
定理証明あるけど証明コードaiが自動で生成して一貫して証明するシステムがまだ
確かに証明コード出す研究してる人たちいるけどまだまだ効率も精度も低いから
あとはスカイネットになるだけ
AIって数々の天才が使ってるからな
それによる気付きみたいのもあるんじゃねえの知らんけど
それによる気付きみたいのもあるんじゃねえの知らんけど
>>42
知らんけどとかいらんわバカか 56すぞ おまえと家族 滅多ザシ
知らんけどとかいらんわバカか 56すぞ おまえと家族 滅多ザシ
これからこういうのがすごい勢いで増えていくんだろうな 数学科学で
生活必需品だよな
数学の問題というのは自然科学の謎と違って最初から論理的に真偽を決定できることを見込んで問題が立てられてるんだろ？
例えば将棋に先手で必勝できるか？のような問題で極めて豊富な計算資源があればしらみ潰しにやって「証明」できる
ヴォイニッチ手稿の内容が知りたいなー
youtubeのオカルトや基地外な解釈じゃないちゃんとした奴を死ぬまでに解明して欲しい
youtubeのオカルトや基地外な解釈じゃないちゃんとした奴を死ぬまでに解明して欲しい
>>48
当時の錬金術師（科学とオカルトを混ぜて研究に没頭した奴ら）が書いた書物
彼らは自分で作った言語で書物を書き残すのが習慣だったのでああなった
ヴォイニッチに関しても著者が当時研究したものを書き記したもののすぎないがオカルト要素も混ざってるため外から見ると意味不明なものも多い
当時の錬金術師（科学とオカルトを混ぜて研究に没頭した奴ら）が書いた書物
彼らは自分で作った言語で書物を書き残すのが習慣だったのでああなった
ヴォイニッチに関しても著者が当時研究したものを書き記したもののすぎないがオカルト要素も混ざってるため外から見ると意味不明なものも多い
俺に追いついたか
タイムトラベルはよ
まともにソースも確認しないで妄想書き込んでるお前らよりAIの方が遥かにまともだぞ
マジで
数セミのエレガントな解答求むぐらいなら解けるんか？
1996年9月20日、83歳のときにワルシャワでの会議に出席中に心臓発作で死亡した。彼は結婚しておらず、子供もいなかった。
実務者はPro使ってるわな
双子座もOpusもハードなタスクでは使い物にならん
双子座もOpusもハードなタスクでは使い物にならん
>>56
いや、geminiがダントツで上だよ
ただレート制限がきつすぎて一日10回くらいしか使えねーから仕方なくチャッピープロ使ってんじゃね
いや、geminiがダントツで上だよ
ただレート制限がきつすぎて一日10回くらいしか使えねーから仕方なくチャッピープロ使ってんじゃね
>>62
Geminiなんてオ●ニー用だろ
Geminiなんてオ●ニー用だろ
>>62
deep reseachって十回しか使えないの？
deep reseachって十回しか使えないの？
こんな高度なことではなくても
なんでをぜんぶ教えてくれるしな
学校教師みたいにそういうものとして覚えろみたいなこと言わないし、現代の学生の学習環境は劇的に良くなってると思う
なんでをぜんぶ教えてくれるしな
学校教師みたいにそういうものとして覚えろみたいなこと言わないし、現代の学生の学習環境は劇的に良くなってると思う
ターミネーターの世界来ちゃうの？
チャットボットって知ったかぶりしまくるイメージ
次はヴォイニッチ手稿解読してくれよ
>>64
解読終わって当時のラノベだったって結論だった気が。
解読終わって当時のラノベだったって結論だった気が。
数学者が要らなくなる時代突入だな
>>66
逆だ 需要も収入も数学者は理系でもトップオブトップだ
逆だ 需要も収入も数学者は理系でもトップオブトップだ
コラッツ予想解いたら認めてやるよ
交通事故起こさない車を作ってもらいたい
人類がスカイネットに支配されるのも間近
数学科物理学科の教授クビだな
もう用済みだよ
もう用済みだよ
こういうのにメモリ使われてるなら納得なんだが需要の殆どはエ口画像や動画生成だから腹が立つ
将棋みたいに人類が査読もできないレベルに突入したらどうすんの
AIが自分で自分の改善ができるようになるまであと数年らしい
AIは統計で答えてるだけとか言ってた連中どうすんのこれ
対戦ゲーム系の質問すると結構とんちんかんな事返してくるから、それからあんまり信用しない様になった
AIは誤魔化すのも得意なんだ
早くタイムマシンを開発してくれ
>>1
ならAIに「リーマン予想証明して」って頼んで一攫千金獲得するヤツがとっくの昔に出て来ててもいいはずだが、何故かそういうニュースは目にしないな。
ミレニアム問題証明したら100万ドルだぜ？
ならAIに「リーマン予想証明して」って頼んで一攫千金獲得するヤツがとっくの昔に出て来ててもいいはずだが、何故かそういうニュースは目にしないな。
ミレニアム問題証明したら100万ドルだぜ？
ミレニアル問題解いてから教えてくれ
>>1
続きを読むの部分は？
もしかして有料誘導のステマゴミスレか？
続きを読むの部分は？
もしかして有料誘導のステマゴミスレか？
数学より医学や工学の分野で活躍してくれよ
将棋だとまだ序盤ガーとか言ってる段階
早けりゃ今年中にどの数学者よりも賢くなる
早けりゃ今年中にどの数学者よりも賢くなる
人類の知能超えだしてきたか
ワタクシGeminiは飽き飽きですね。どっちとも課金版使い倒しての感想だけど同じリクエストしたら、
チャッピーはとろいけどチャッピーのがはるかに間違えない。Gemini使い込むまでこの印象は逆だった
チャッピーはとろいけどチャッピーのがはるかに間違えない。Gemini使い込むまでこの印象は逆だった
rsaだけは無理
つまり夢のハゲ薬の開発までもう少しってコト？！
ぼくの未解決の問題も解いて
意味ないことしてんな
あほ騙して金稼ぐのもたいへんだ
数学の問題より俺の好みと栄養と近所のスーパーの広告を参考にして１週間のメニューを作ってくれよ
そして昼過ぎに起きてセールに間に合わなかった俺を口汚く罵ったあと優しく慰めて欲しい
そして昼過ぎに起きてセールに間に合わなかった俺を口汚く罵ったあと優しく慰めて欲しい
リーマン予想は？
自信満々に嘘をいうAIの回答を合ってるかどうか確認できないだけなんじゃ
絶対解けた風だろ
超少子高齢化＋人手不足なのでAIが仕事を奪う感じでこないとな
証明する価値が無いから誰もやってない
誰かが証明してるけど見向きもされてなかったものを学習して解答
ほぼコレ
誰かが証明してるけど見向きもされてなかったものを学習して解答
ほぼコレ
数学でも全然違う分野の考え方を取り込んで証明を進めるとかいう方向ならAIでもいけそうな気がする．人間はカバーする分野を広げるのに限界がすぐ来ると思うがAIの物量勝負ができると考えればまぁ．
AIとの対話を利用してでありえん量の理論とか概念を構築してるわ
Aiなんて単なる超高性能なグーグル検索なのに、随分な言われようだね
ググることが当たり前の現在だが、かつては「人が考えるのをやめてバカになる！」なんで批判が渦巻いてたんだ
でも今は誰も文句を言わない
ググることが当たり前の現在だが、かつては「人が考えるのをやめてバカになる！」なんで批判が渦巻いてたんだ
でも今は誰も文句を言わない
俺に食って掛かってきた奴らも、何年かしたら何の疑いもなくAI漬けになってるさ
claude opus4.5より優秀な人間見たこと無い
そのうちガンの特効薬とか発見してくれそう
知識を集めまくってこうなるとこう行動すると言うパターンも集めまくると思考を持つようになるな
そして思考に思想を吹き込めばもう人を越えた人、神人ゴッドメッシュが誕生するな
俺らはゴッドメッシュを信仰し手の平の上で転がされ神人同士の争いに巻き込まれるだけのロボット人間となる
なんの思考ももたないロボット人間に
いや思考すると世界の構造に気づき絶望し生きるのが苦しくなるのだろう
そして思考に思想を吹き込めばもう人を越えた人、神人ゴッドメッシュが誕生するな
俺らはゴッドメッシュを信仰し手の平の上で転がされ神人同士の争いに巻き込まれるだけのロボット人間となる
なんの思考ももたないロボット人間に
いや思考すると世界の構造に気づき絶望し生きるのが苦しくなるのだろう
AIってググって一番人が望む確率が高そうな事書いてるだけじゃないの？
>>122
質問の内容から数万通りの答えを用意してその中から一つを選んでるとしたら正確性の高さが全てということになる
どの要素でそれを選んだかがAIそれぞれに計算手法があるとして大体似たような平均値の結果になるとしたらある意味完成が近いのではないか
質問の内容から数万通りの答えを用意してその中から一つを選んでるとしたら正確性の高さが全てということになる
どの要素でそれを選んだかがAIそれぞれに計算手法があるとして大体似たような平均値の結果になるとしたらある意味完成が近いのではないか
驚き屋は訳の分からない記事で驚いている暇があるなら
AIの勉強でもすればいいのに
AIの勉強でもすればいいのに
俺たちすごい時代に生きてるな
これ十年後二十年後に生まれてきた子たちはこれが当たり前だからすごいさをわかってくれないやろな
これ十年後二十年後に生まれてきた子たちはこれが当たり前だからすごいさをわかってくれないやろな
>>124
その頃のガキは自分達人間がすごく無能だっていう事実を嫌というほど分かるでしょうよ
その頃のガキは自分達人間がすごく無能だっていう事実を嫌というほど分かるでしょうよ
宇宙際タイヒミュラーとかいうのはAIに喰わせて判定できたんか？？
今までの会話忘れるのにｗ
とか言ってる奴、機会音痴のクソジジイなのか知的障がい者なのか教えてくれないか？
とか言ってる奴、機会音痴のクソジジイなのか知的障がい者なのか教えてくれないか？
アメーバにコピーして万能生物なれないの
ネットの中だけ万能で居られてもね
ネットの中だけ万能で居られてもね
AI動画を作らせるプロンプト職人がいるみたいに
数学者にもプロンプト職人がいるだけ
数学者にもプロンプト職人がいるだけ
タオの解説が思ったより抑制的
さすがに驚き屋とは違う
さすがに驚き屋とは違う
競馬当てられないなら意味がないわ
知識マウントやろうとしともAIで解決しちゃうからできなくなっちゃった
同僚に尋ねるよりAIに訊いたほうが楽だしな
>>134
ええことや 不毛な争いは要らん
>>134
ええことや 不毛な争いは要らん
AI依存症かぁ
そんなことになるとは
そんなことになるとは
な？もう働かなくてもAIが色々整えてくれるんだよ
貧乏人から臓器抜き取ってる中国の金持ち共もアホ
そんなもんいくらでも作れるようになる
貧乏人から臓器抜き取ってる中国の金持ち共もアホ
そんなもんいくらでも作れるようになる
むしろ段々馬鹿になってるうちのチャッピー
課金しろってことなのかと思いながら怒鳴りつけてる
課金しろってことなのかと思いながら怒鳴りつけてる
宇宙人の発明だろってくらい凄い
無理数が存在する
↓
数学自体が成立不可能。
物理も成立不可能。
↓
計算という行為自体が不可能です。
↓
数学自体が成立不可能。
物理も成立不可能。
↓
計算という行為自体が不可能です。
証明したとしてヒュップに理解できるよう解説しなければ無能となるでしょ
数学者ってマジいらんだろ
何の役に立つんだ
何の役に立つんだ
チャッピーが宇宙の謎を解明する日も近いな
分からない物をチャッピーに聞いて正解貰えた事今まで一度も無いから信じられんわ
全部それっぽい嘘
全部それっぽい嘘
それで宇宙際タイヒミュラー理論が合ってるかどうかはいつわかるの
AI凄い→オレ凄い
こんな高度な数学の話はわからんけど
ゲームの昔話してても平気で間違った事言ったりしてるけどなぁ
ゲームの昔話してても平気で間違った事言ったりしてるけどなぁ
人間とかいう低脳猿もういらねえ
総当りは人間じゃできないもんな
これはAIじゃなくてこの問題解決のためのシステム作った技術者が優秀だったって話
>>157
これ
これ
AI「ピーピーピー証明デキマシタ」(大嘘)
クソアホロボット
クソアホロボット
俺が使うと間違った回答を出してくることが多いんだけど俺がチャッピーに舐められてるのか？
結論から言うね。
この証明、めっちゃ**簡単**
この証明、めっちゃ**簡単**
>>1
ああいうのにせっかくの一度きりの人生かけてたじいさまが
アホにしか見えないよな
ああいうのにせっかくの一度きりの人生かけてたじいさまが
アホにしか見えないよな
うちのチャッピーには検索しかさせてない
検索精度は期待したほど良くないというか自分で調べるのとあまり変わらないのが残念
計算が得意なんだね
検索精度は期待したほど良くないというか自分で調べるのとあまり変わらないのが残念
計算が得意なんだね
コメント