二次元裏＠ふたば
[ホーム]
[掲示板に戻る]
レス送信モード
おなまえ
E-mail
題　　名
コメント
添付File []
削除キー(削除用.英数字で8字以内)
画像ファイル名：1777783021646.jpg-(26366 B)
26366 B無念Nameとしあき26/05/03(日)13:37:01No.1405125547+ 20:33頃消えます
数学の未解決問題 AIが相次ぎ解く
https://news.yahoo.co.jp/articles/5054ebb0f827712825e610d37dfa4028f8c0e226
…1無念Nameとしあき26/05/03(日)13:41:14No.1405126423そうだねx2
シンギュラリティ起きてんじゃん
…2無念Nameとしあき26/05/03(日)13:43:34No.1405126948+
これ実はnが3以上の時だけ証明されてるけど2以下の時は証明されてない
…3無念Nameとしあき26/05/03(日)13:43:42No.1405126972+
テレンスタオ氏がAIやべえと言ってるだけのことはある
…4無念Nameとしあき26/05/03(日)13:48:01No.1405127827+
数学問題を解決しまくるAIをヒルベルトと呼称する
…5無念Nameとしあき26/05/03(日)13:48:57No.1405128020+
検証どうすんのって思ったけどその部分ってとっくに機械化されてんのね
…6無念Nameとしあき26/05/03(日)13:49:01No.1405128037そうだねx1
スレ画解決済みやろ…
…7無念Nameとしあき26/05/03(日)13:52:33No.1405128782+
今んとこ素人でも最先端の証明やれるってわけじゃなくプロが使えばいけるって感じなのかね
…8無念Nameとしあき26/05/03(日)13:54:29No.1405129172+
>今んとこ素人でも最先端の証明やれるってわけじゃなくプロが使えばいけるって感じなのかね
絵とか小説なんかもそうよ
結局素人のポン出しじゃ魅力無くてできる人が補助に使うと効果的
…9無念Nameとしあき26/05/03(日)13:54:51No.1405129246+
未解決問題って出題者は回答知ってるの？
適当こいて数学者を悩ませてるだけなの？
…10無念Nameとしあき26/05/03(日)13:57:47No.1405129826+
>未解決問題って出題者は回答知ってるの？
>適当こいて数学者を悩ませてるだけなの？
しょうがないだろ
余白が少ないのが悪いんだ
…11無念Nameとしあき26/05/03(日)13:58:33No.1405129960+
>未解決問題って出題者は回答知ってるの？
>適当こいて数学者を悩ませてるだけなの？
仮説だよ
こういう結論が導き出せるのではないかと仮説を立ててそれを後世の数学者達が肯定的又は否定的に証明しようとしてる
…12無念Nameとしあき26/05/03(日)13:59:38No.1405130169+
有名な未解決問題は答えこれだろってだいたい共有されてるけど証明はされてないとかなんとか
…13無念Nameとしあき26/05/03(日)14:00:07No.1405130268+
>シンギュラリティ起きてんじゃん
パラメーターにした時に満遍なく人間より上かって言うとそうでもない
そろそろとは思う
…14無念Nameとしあき26/05/03(日)14:03:37No.1405131010+
そのうちAIから人間が解けるギリギリの問題を出されるのかな
…15無念Nameとしあき26/05/03(日)14:03:58No.1405131093+
>これ実はnが3以上の時だけ証明されてるけど2以下の時は証明されてない
n=2だとただの三平方の定理の証明じゃね？
…16無念Nameとしあき26/05/03(日)14:07:21No.1405131810+
>これ実はnが3以上の時だけ証明されてるけど2以下の時は証明されてない
n = -4とかか
…17無念Nameとしあき26/05/03(日)14:07:51No.1405131913+
今はまだ人間が誘導してやる必要あるとはいえ
大学主席合格くらいは余裕なレベルの知識量になってるからな
…18無念Nameとしあき26/05/03(日)14:08:29No.1405132045+
>>これ実はnが3以上の時だけ証明されてるけど2以下の時は証明されてない
>n=2だとただの三平方の定理の証明じゃね？
n=1の時は？
…19無念Nameとしあき26/05/03(日)14:09:22No.1405132224+
>>>これ実はnが3以上の時だけ証明されてるけど2以下の時は証明されてない
>>n=2だとただの三平方の定理の証明じゃね？
>n=1の時は？
元の数やがな
…20無念Nameとしあき26/05/03(日)14:11:07No.1405132562+
AIだから正解かどうかわからんだろ
そして人間もAIが出した答えが正解かわからない
…21無念Nameとしあき26/05/03(日)14:11:40No.1405132671+
たぶんAI関係ないけど
自分自身を通り抜けられない多面体が発見された
…22無念Nameとしあき26/05/03(日)14:12:57No.1405132922+
>未解決問題って出題者は回答知ってるの？
>適当こいて数学者を悩ませてるだけなの？
誰か賢い数学者がこれってこうなるんじゃね？という予想を立てる
それについて他の数学者がそれが正しいか正しくないかの証明をしようとする
賢い数学者が証明せずに予想だけで終わってるものなのでどっちの証明も全然出来ない
未解決問題として残る
…23無念Nameとしあき26/05/03(日)14:14:17No.1405133202+
>自分自身を通り抜けられない多面体が発見された
なんか説明されても意味わからん形状なんだろ？こういうのは
曲率が負とか意味不明な
…24無念Nameとしあき26/05/03(日)14:15:38No.1405133465+
>>シンギュラリティ起きてんじゃん
>パラメーターにした時に満遍なく人間より上かって言うとそうでもない
まんべんなく上でなくても、特定分野で上でじゅーぶんではある
囲碁とか
…25無念Nameとしあき26/05/03(日)14:16:14No.1405133600+
>AIだから正解かどうかわからんだろ
>そして人間もAIが出した答えが正解かわからない
それはAIじゃなくても起きる話
だからちゃんと検証されるよ
…26無念Nameとしあき26/05/03(日)14:16:55No.1405133720+
ボードゲーム系はとっくにプロでも勝つの無理になってるし
数学でも科学でもそうなるのは近いな
…27無念Nameとしあき26/05/03(日)14:19:50No.1405134298+
>ボードゲーム系はとっくにプロでも勝つの無理になってるし
>数学でも科学でもそうなるのは近いな
絵師は滅ぶ
プログラマーは滅ぶ
囲碁将棋さしは滅ぶ
数学者科学者は滅ぶ

そのうちネット掲示板のレスポンチバトルも自動化されてとしあき廃業
…28無念Nameとしあき26/05/03(日)14:20:03No.1405134348+
>テレンスタオ氏がAIやべえと言ってるだけのことはある
イーロンは今年中に人間超えるって言ってる
だからツールとして使いこなせるような人間になれって
…29無念Nameとしあき26/05/03(日)14:21:00No.1405134532+
>そのうちネット掲示板のレスポンチバトルも自動化されてとしあき廃業
つかレスバにAI使うやつはすでに結構いるみたい
本人がその場で種明かししない限り分からんままだけど
…30無念Nameとしあき26/05/03(日)14:25:10No.1405135415+
フェルマーとかいう証明出来たけど余白が無さすぎて書けねえわー（棒）とか宣う謎かけおじさん
本当に証明があったのか疑う奴もめっちゃ多かった
…31無念Nameとしあき26/05/03(日)14:25:21No.1405135461+
>プログラマーは滅ぶ
>囲碁将棋さしは滅ぶ
>数学者科学者は滅ぶ
だから指針示せる人間であれと
ツールとして使える人間になれ
…32無念Nameとしあき26/05/03(日)14:26:42No.1405135714+
数学者が未解決問題に挑むのって本当に人生賭けたギャンブルなんだってさ
…33無念Nameとしあき26/05/03(日)14:27:40No.1405135920+
未解決問題解いた人ってなんかすごいよね
他の誰にも解けなかったもの解いてるし
…34無念Nameとしあき26/05/03(日)14:40:45No.1405138792+
未解決問題を解くために新しい理論を作って
その理論の正しさを証明をして
それで未解決問題を証明したりするからね
解いてる人たち偉いよ
…35無念Nameとしあき26/05/03(日)14:46:17No.1405139922+
記事の最後の一言がいいな
「できることは増えており、何を作っていくかが大事になる。大航海時代が始まったときの、世界の果てに思いをはせる人の気分だ」
…36無念Nameとしあき26/05/03(日)14:47:08No.1405140124+
過疎ったネトゲもPT行動できてチャット相手もできるAIPCが動員されたら生き返るはず
…37無念Nameとしあき26/05/03(日)14:49:25No.1405140615+
計算機が初めて出来た時人間の計算能力では不可能な検討を色々やらせたんだけど
計算力と論理的な矛盾の無さは別の話だから予想の足しにはなっても証明にはならなかったんだよね
範囲を絞らないと無限が邪魔をする
…38無念Nameとしあき26/05/03(日)15:08:26No.1405145202+
>過疎ったネトゲもPT行動できてチャット相手もできるAIPCが動員されたら生き返るはず
コールオブデューティやフォートナイトでbotキャラいるけどあのレベルだと弱くて絶対満足できないしAIが強すぎたらそれはそれで不満出るし
- GazouBBS + futaba-