人間はオワコンです
いままで人間が解けなかったのをAIが解いたとして
その証明が正しいのか人間には判断できるのか？
その証明が正しいのか人間には判断できるのか？
>>3
数学の証明ってだいたい既存の証明の組み合わせだけどそのパターンが膨大すぎてわからないのをAIが見つけてくれたんだったらわかる
数学の証明ってだいたい既存の証明の組み合わせだけどそのパターンが膨大すぎてわからないのをAIが見つけてくれたんだったらわかる
>>3
これが答えです
って提示されたら、数学者集団なら正しいかの検算は出来る思うよ
俺等には理解も検算もできんでも
これが答えです
って提示されたら、数学者集団なら正しいかの検算は出来る思うよ
俺等には理解も検算もできんでも
>>3
出来るよ
AIはちゃんと仮定も出すからなぞっていけばいい
この分野マジで人間いなくなるかもな
出来るよ
AIはちゃんと仮定も出すからなぞっていけばいい
この分野マジで人間いなくなるかもな
>>18
正しいかどうかは人間が判断するんだからそこは必要だろ
正しいかどうかは人間が判断するんだからそこは必要だろ
>>22
1ビット脳かよ
1ビット脳かよ
>>26
分かってないな、人間(客)→AI(作業者)なんだから客が要求した通りに
AIが作業して客が思った通りに動作しているかは客が確認しないと
結果を受領できないだろが。
だからAIが道具である限り人間は絶対に必要なんだよ
分かってないな、人間(客)→AI(作業者)なんだから客が要求した通りに
AIが作業して客が思った通りに動作しているかは客が確認しないと
結果を受領できないだろが。
だからAIが道具である限り人間は絶対に必要なんだよ
>>31
マジで0か1かなんだよなジャップって
1と100万の区別がつかない
マジで0か1かなんだよなジャップって
1と100万の区別がつかない
>>36
困ったらジャップ！かよwジャップのくせに
困ったらジャップ！かよwジャップのくせに
>>3
人間には読めない形式的証明をコンピュータで検算するだけになる
人間には読めない形式的証明をコンピュータで検算するだけになる
>>3
できないよ
登山で例えると、山を見て登り方やルートを決めるのが一番の難所
あとは実際に登るだけだから、それは登った奴にしかわからない
他人が横から見てこのルートじゃだめだ！とかいうようなもん
できないよ
登山で例えると、山を見て登り方やルートを決めるのが一番の難所
あとは実際に登るだけだから、それは登った奴にしかわからない
他人が横から見てこのルートじゃだめだ！とかいうようなもん
>>3
ヘルシングの少佐おもいだした
ヘルシングの少佐おもいだした
>>3
素因数分解だってそうやろ
するのは大変だけど、合ってるか検算するのは簡単
素因数分解だってそうやろ
するのは大変だけど、合ってるか検算するのは簡単
マジで人間っていらんよな
人間に電気使うくらいならAIに使えよ
人間に電気使うくらいならAIに使えよ
>>4
ちーんさんのハメドリはAIに代替できないよ
ちーんさんのハメドリはAIに代替できないよ
宇宙際なんちゃらかんちゃらもAIさんに説いて貰おう（提案）
>>5
詐欺は数学的に解けないんだよ
詐欺は数学的に解けないんだよ
得意分野だとわかってはいたものの
実際実現すると驚いてしまうな
実際実現すると驚いてしまうな
>>7
そりゃまあAIの演算能力は1秒間に数百京～数千京回（100京＝1EFLOPS＝1エクサフロップス）
それを寝ないで24時間365日可能なんだしなあ
そりゃまあAIの演算能力は1秒間に数百京～数千京回（100京＝1EFLOPS＝1エクサフロップス）
それを寝ないで24時間365日可能なんだしなあ
人間の脳の全体の演算能力も凄いが
意識的な思考はとても低速らしいし
宇宙際タイヒミュラー理論を検証させろ
シンギュラリティはすぐそこかもしれん
でも、AIは恋の二次方程式解けないよね？
数学的な道具の組み合わせ的なのは寧ろAIにとっては得意分野なんじゃないの？
実際使ってるAIの感触からすると嘘ついてそうとしか思えん
答えを確認するほうが大変だろ
答えを確認するほうが大変だろ
ミレニアム懸賞問題とかもバンバン解き始めてるの？
有名な未解決問題なのこれ
答えが合ってるか確認するのが人間の仕事だから終わらんよ
>>17
考えるための100人いたのが確認するだけの1人になったら事実上終わりだろ
考えるための100人いたのが確認するだけの1人になったら事実上終わりだろ
>>17
さらに人間に分かるように証明するように進化するぞ
さらに人間に分かるように証明するように進化するぞ
こういうのはAIの得意分野だよね
終わらない
次のステージに行く
次のステージに行く
雰囲気で合ってりゃいいよ
超難問の証明をチェックするのって実質10人くらいしかいなくてそいつらが膨大なリソース使って間違ってる証明をチェックするというとんでもない非効率な構造だから
何十年も正しいと思って使ってたものが間違いが見つかるなんてこといくらでもあるし、だいたい合ってそうってので割と世の中回る
超難問の証明をチェックするのって実質10人くらいしかいなくてそいつらが膨大なリソース使って間違ってる証明をチェックするというとんでもない非効率な構造だから
何十年も正しいと思って使ってたものが間違いが見つかるなんてこといくらでもあるし、だいたい合ってそうってので割と世の中回る
リーマン予想か
もう少し役に立つ物理学上の問題を解かせなよ
もう少し役に立つ物理学上の問題を解かせなよ
知的遊戯としてしか価値のない問題なんて
それこそ人間が解くために空けておけばよい🥺
>>1
これシンギュラリティきてるよね🥰
これシンギュラリティきてるよね🥰
天才数学者テレンス・タオ
「アイデアが無限に生成される一方で、それが正しいかを検証するプロセスは未だに自動化されていません。
機械の速度で大量生産される仮説に対し、人間の手動による査読や検証という生物学的なプロセスが、
システム全体における物理的なボトルネックとして機能しています。」
「アイデアが無限に生成される一方で、それが正しいかを検証するプロセスは未だに自動化されていません。
機械の速度で大量生産される仮説に対し、人間の手動による査読や検証という生物学的なプロセスが、
システム全体における物理的なボトルネックとして機能しています。」
間違ってるとしても間違った過程が公開されるなら意味があるな
実はchatgpt4oの頃からこの手の話しはしばしばアマチュアから報告されていたが
相手にされていなかった
相手にされていなかった
査読に何年もかかるんだからまだわかんないよ
逆に解けない問題って定義自体が間違えてるんじゃね？
そもそもAIが何かしらとんでもない発明をした！みたいは話聞かないよな
それが不思議
そもそもAIが何かしらとんでもない発明をした！みたいは話聞かないよな
それが不思議
>>40
所詮AIも総当たりの延長で出来る事しかできないからじゃね？
所詮AIも総当たりの延長で出来る事しかできないからじゃね？
>>47
そうなんだ
まだ今の時点ではAIが発見したブレイクスルー的な技術はないってことはそういうことなのかもね
意外と発明という分野においてはAIは弱かったりして
そうなんだ
まだ今の時点ではAIが発見したブレイクスルー的な技術はないってことはそういうことなのかもね
意外と発明という分野においてはAIは弱かったりして
これマジならガチでシンギュラリティ始まったかもね…
量子コンピュータが完成したらすべてＡＬＬすべてすべてすべてすべてセキュリティ崩壊…
どう思う？？
いいだろ！！
プログラミングもレビューする道具に人間が成り下がって自分では書かなくなっていってて
数学も人間は査読するだけで自分では証明しないようになるのかね
数学も人間は査読するだけで自分では証明しないようになるのかね
>>45
可能性はあるけど、そうなるとAIが知らないうちに人間を地球から消すプログラムを作ってても誰も気付かなくなるよな
ホライゾンゼロドーンはそういう話だし
可能性はあるけど、そうなるとAIが知らないうちに人間を地球から消すプログラムを作ってても誰も気付かなくなるよな
ホライゾンゼロドーンはそういう話だし
まあ、数学の証明部分はAIに取って代わられるだろうな、というか群とか束とか代数的なフレームワークって
人間にとっては都合がいいという感じがするけどAIからしたら対してありがたくもないものになりそう
人間にとっては都合がいいという感じがするけどAIからしたら対してありがたくもないものになりそう
シンギュラリティきてるのかもしれんが、
アホが使うとAIもサボって手抜き回答しかしないからなぁ
アホが使うとAIもサボって手抜き回答しかしないからなぁ
マジなら凄いな
もうすでに並みの人間より全然賢いのはわかってはいたけど
天才も超えるのか
もうすでに並みの人間より全然賢いのはわかってはいたけど
天才も超えるのか
どれだけ勉強してもAIの学習速度に勝てない哀れな人類さん
アホは淘汰されるんだわ
人間の分の資源とエネルギーがAIに回されて資産家だけが一人勝ちって寸法だな
肉屋を支持する豚くらいだよこんなん素晴らしいって持ち上げてる民族は
人間の分の資源とエネルギーがAIに回されて資産家だけが一人勝ちって寸法だな
肉屋を支持する豚くらいだよこんなん素晴らしいって持ち上げてる民族は
>>53
今さらマトリックスレザレクション観た周回遅れ乙
今さらマトリックスレザレクション観た周回遅れ乙
素数の謎も解ける？
>>54
どういう謎？
どういう謎？
>>54
これ気になる
プッチ神父見てて思い出した
これ気になる
プッチ神父見てて思い出した
チャッピーとか嘘を堂々と答えみたいに言うことあるから怪しんじゃう
数学の問題って解かなくて良い問題をわざわざ作ってる感があるでな
>>56
9割そういうのなのは確かだけど中にはそれを解く過程で数学も物理界も発展する問題もある
9割そういうのなのは確かだけど中にはそれを解く過程で数学も物理界も発展する問題もある
>>56
何が後で役に立つかわからんので
今解いてるのはその中でも誰もやりたがらないようなのをAIにやらせてる
何が後で役に立つかわからんので
今解いてるのはその中でも誰もやりたがらないようなのをAIにやらせてる
別のAIに矛盾してるところないか聞けばよくない？🥺
数学とプログラミングに関しては博士号以取得者の底辺より完全に上だよね
変わり者の数学者がただの変わり者に
やっぱこうなるんか
ソースコード系も誰がこれ考えたんだよってくらいのえぐいの出すからな
ソースコード系も誰がこれ考えたんだよってくらいのえぐいの出すからな
将棋と一緒やな
あとはAIがやってることを追認して解説するだけに
あとはAIがやってることを追認して解説するだけに
重力方程式を説いて自由に空を飛べそう
これは凄いね
新薬の開発にもかなり役立ちそうだわ
新薬の開発にもかなり役立ちそうだわ
プログラム全然できないけどプログラムのアイデアだけはある俺にとってはひみつ道具並みに凄いツールだわ
コメント