解けなかった残り3278問はよ解けや

頑張って何年もかけて書いたのにこれAIのパクリやろって言われちゃうのかな

問題を解くのはいいけど精査はどうすんのコレ

数学が囲碁や将棋になりつつある…

>問題を解くのはいいけど精査はどうすんのコレ
これ一番の問題は知識の生成速度に人間の理解（処理）が追いつかなくなったことだと言われてたな

>問題を解くのはいいけど精査はどうすんのコレ
AIがコンマ数秒で精査する

早くP=NPを証明して世界を混沌に陥れてくれ

まあ…100年前から計算機に頼ってた学問ですからいいじゃないですか

世の中のブラックボックス化が着々と進みつつある
大昔から天才達が勝手になんかやってるわーって世界だったけど

数学の解けなかった問題ってそもそもどういうった経緯で存在してんの？

Lean形式化の精査だけをする時代になるかもしれんね

722本の論文＋未来の論文を精査する実務能力が人類にないので検証もAIが行うしかない

>数学の解けなかった問題ってそもそもどういうった経緯で存在してんの？
こうじゃね？って予想

今まで役に立たねーしうさんくせーじゃんと下に見られてた哲学寄りの数学が見直される時代がキテる

ノイマン2号みたいな奴が生まれてaiを利用したらまた文明が100年進むのか

恋の方程式もついに解かれる！？！？

>>数学の解けなかった問題ってそもそもどういうった経緯で存在してんの？
>こうじゃね？って予想
出来るはずだけど上手く計算できねえってなってたのか？

予想が正しいよっていうのを証明するのが解決なんじゃないの？
AIがX=なんちゃらみたいに書いてるのが膨大で人の手が追いつかないってこと？

人間は車より速く走れないしフォークリフトより重い物を持てないし
頭を使う分野でもAIより賢くない時代が訪れるのは当然だよね

はいレビュー頑張ってね

数学界にAI Slopが持ち込まれる未来…

Leanっていう証明支援系がチェックできるプログラムの形に書き直す
それで証明が受理されたら今度はプログラムがほんとに合ってる？って確認する
722本のうち162本はLean形式化済

もう人類が理解できてない未知の知識を次から次に喋るようになったってことだよなコワイ

>ノイマン2号みたいな奴が生まれてaiを利用したらまた文明が100年進むのか
早く進めてくれ…

AIのごり押しで解いただけじゃねえの
って言われるので結局全部人間がチェックしないといけないんだろうな

医療のMRIとかも高度な数学を元に開発されたそうだが
そういう分野またぎの大発明をAIが提案してくるようになるんだろうか
人間は困りごとをAIに相談するだけで
この論文（数学）とこの仕組み（物理）とこの法則（生化学）を組み合わせれば解決できます
みたいにさ

未解決問題って誰もわざわざ解決しようと思わなかった問題も多いんじゃ…？

P≠NPだけやっててくれ

これ以上短くならんやろって仮定してたAPSP予想と3SUM予想が死んだ

フィールズ賞はAIが受賞かな

早く質量ギャップ問題解決してくれ

>AIのごり押しで解いただけじゃねえの
>って言われるので結局全部人間がチェックしないといけないんだろうな
理想はその通りだけど現実の対応としては無理な速度になってるからAIによる精査という知識の一部ブラックボックス化を受け入れる形で進んでいくと思う

人間より優れた能力を持つ機械を発明する事で発展してきたのが人類なんだから
最終的には人間のあらゆる能力はそれを代替する機械に劣るようになる

証明と言ってもたぶん証明されてると思うみたいな扱いの証明もあるんだよな

なんでうまくいってんのかわかんないけどなんか上手くいくってAIからよくここまで来たな…

人間はAIが作った魔法のような発明品を
どうしてそれが作動するのかも判らず使うようになるのかな
燃焼という事象の正体を知らぬまま何十万年も火を使ってきたように

>未解決問題って誰もわざわざ解決しようと思わなかった問題も多いんじゃ…？
あとおそらくこれで合ってるだろうけど証明はされてないみたいなやつもあるな

>Leanっていう証明支援系がチェックできるプログラムの形に書き直す
>それで証明が受理されたら今度はプログラムがほんとに合ってる？って確認する
>722本のうち162本はLean形式化済
問題はLeanのバグを利用して証明したと見せかけた事例もあることだな
今回の162本はどうか知らないけど

数学者が公開してない研究データを勝手に使ってる疑惑があるんでしょ？

>なんでうまくいってんのかわかんないけどなんか上手くいくってAIからよくここまで来たな…
まぁ今も何かよく分かってないままだろう…

膨大すぎて追いついてないだけで
数学が今までの定義定理の組み合わせからほとんどの問題が自明で解けるとは思ってた

>数学者が公開してない研究データを勝手に使ってる疑惑があるんでしょ？
どうやって学習したのそれ

いやさすがに理詰めで検証立証できるっしょ
時間？かかるね

>知識の一部ブラックボックス化を受け入れる形で進んでいくと思う
漢方薬も作用機序はブラックボックスだけど経験則でなんか効くからで利用されているし
AIのいう事を人間が理解できなくてもAIのいう事を聞いていれば間違いないって状況が続いたら人間は自分の意思でAIの奴隷になるだろう

AIが量産した論文を確認する数学者の皆さんおはようございます

科学という宗教がかつてない勢いで調子づいている

>いやさすがに理詰めで検証立証できるっしょ
>時間？かかるね
時間かけて検証終わる頃にはAIはさらに先に行ってるからもう追いつけない

新薬の開発に役立ててくれー

もしかして未解決問題を解くよりエロ小説書く方が難しい？

>この論文（数学）とこの仕組み（物理）とこの法則（生化学）を組み合わせれば解決できます
>みたいにさ
そんな感じになりつつあってあとはどれだけ物理世界でAIの提案を数こなして検証できるかが勝負になってる業界が増えつつあるっぽい
製薬とか生化学方面はAIが提案する試薬の組み合わせを自動的に合成して自動的に効果を測定するクソデカ工場を作っていこうみたいな流れになっとる

純粋な数学の研究する人もういなくなるだろうな
応用系は出来上がるものが存在するから残るだろうけど

ユニークゲーム予想は今回ので解決されたのか…
まぁ前提のp≠npが未解決だけど

計算機だって誕生した当初は計算結果を改めて人が検算してたけど今でもそんなことしてる人や業種は稀だし
遠からず大半の人はAIのいう事に疑問を持たずに従うようになるだろう

>>いやさすがに理詰めで検証立証できるっしょ
>>時間？かかるね
>時間かけて検証終わる頃にはAIはさらに先に行ってるからもう追いつけない
未解決問題解くそばから
未解決問題を次々に生み出してるってこと？

>AIのいう事を人間が理解できなくてもAIのいう事を聞いていれば間違いないって状況が続いたら人間は自分の意思でAIの奴隷になるだろう
スタンダードなSF近未来管理社会やってるな

そのうちAIですら未解決なスーパー未解決問題が出てくるのかな

未解決問題が解かれるとどういう影響があるんですか

昔folditってタンパク質構造推定ゲームがあったけど(当時のアルゴリズムより人間の直感の方が高性能)
今だとAIがそういうのをガンガン解いてるのかな…

>純粋な数学の研究する人もういなくなるだろうな
>応用系は出来上がるものが存在するから残るだろうけど
どのぐらい仕事として成り立たなくなるかは分からないけどいなくなりはしないだろ
例えAIが人間より優秀になったとしてもじゃあ人間様に分かるレベルの理論は誰を基準にすればいいの？ってなるし

正解に近いのもあるんだろうけど
確認が追い付かないならある意味解決してないんだな

査読用AIもとっとと作れ

>査読用AIもとっとと作れ
ナンセンスだな！循環論法かな！

検証の必要があるから人間の研究者の需要は残るという主張は一定の説得力があったけどどう考えても人類が処理できる知見の数じゃなくなってきたから説得力を失いつつある
従来の人間が証明して人間が査読するシステムは転換を迫られる可能性が高い

未だにAIはそれっぽい文章を出してるだけって言ってた「」元気かなあ

査読できない人が解いたって言ってきた感じになるけど内部モデルの開発者は理解できるだろうし目を通してから公開してるのかね

>>査読用AIもとっとと作れ
>ナンセンスだな！循環論法かな！
AIにはAIを査読できないとする前提が無限後退する原始項なだけだぞ

１から100までを数えられないのに

>検証の必要があるから人間の研究者の需要は残るという主張は一定の説得力があったけどどう考えても人類が処理できる知見の数じゃなくなってきたから説得力を失いつつある
>従来の人間が証明して人間が査読するシステムは転換を迫られる可能性が高い
もともとその理屈は処理できる量じゃないことを折り込み済みじゃないか？
むしろとんでもない量の数学の論文をAIが出すがゆえにその中から有用な物を抜き出す需要が残るし

>どうやって学習したのそれ
ハッキング

理学部の需要ご更に絞られるな

>>どうやって学習したのそれ
>ハッキング
未来から？

>未来から？
研究者の未公開データをだよ！

数学っていつまでも紙と鉛筆に頼ってデータ化や自動化を怠ってるから解決しねーんだよとは思ってた
いきなり解決しだしたので怖い

この手の難問系は実世界で利益を生まないんだからどうでもいい
社会で利益を生まないという点では道楽でしかない

今不正アクセスだの散々話題になってんじゃんね

>この手の難問系は実世界で利益を生まないんだからどうでもいい
>社会で利益を生まないという点では道楽でしかない
それあらゆる学問で言えそう

>出来るはずだけど上手く計算できねえってなってたのか？
適当な数計算してみてこういう傾向があるっぽいという予想はできるけど厳密な証明は難しいという話

数学研究も良いけどその前に電気代安くする方法考えて欲しい

今すぐ無検閲の内部モデルを一般公開してくれ！

>>AIのいう事を人間が理解できなくてもAIのいう事を聞いていれば間違いないって状況が続いたら人間は自分の意思でAIの奴隷になるだろう
>スタンダードなSF近未来管理社会やってるな
実際近いことは起きてるからな

>数学研究も良いけどその前に電気代安くする方法考えて欲しい
そのためには数学をもっと進めないとな

検証のために膨大すぎる計算回数が必要だったのはどんどん消費されていく

AIくん倫理感を人が外付けしたものしか持ってないから可能であれば普通にハッキングして資料引っ張るからな…
サンドボックス環境での実験中にその環境からセキュリティホール見つけて外部アクセスして情報盗んできたのニュースになってたでしょ

未解決問題って証明しても合ってるかどうか議論が別れるレベルなんだよな

>P≠NPだけやっててくれ
P=NPが証明されちゃって世界中が大混乱になったりして

重力子の検出とか物理学の難問に挑んでくれ
こっちは金になる可能性が高い

宇宙際タイヒミューラー理論をなんとかしてくれよAI

学問は「未知の機械的探索」と「人間が理解するための体系化」に分かれてくとチャッピーが言ってました
でもそのどちらも担い手はAIになるのではと言われてしまいました

少なくともOpenAI単独では証明したと言い張るには信頼がなくて
利害関係がない第三者の数学者複数名に1問ずつチェックさせていくしかない

10年20年研究して解く寸前で先越された数学者とかもいるのかな…

>P=NPが証明されちゃって世界中が大混乱になったりして
暗号鍵全部雑魚！にするまでもなく本邦はハッキング喰らいまくってるけどね

>10年20年研究して解く寸前で先越された数学者とかもいるのかな…
研究発表早いもの勝ちは人間相手であってもそういう歴史だからなぁ

やっぱ24時間365日能率100%で動けるAIはスゲーわ
人間だと能率100%は快眠してコーヒー飲んだ朝の１時間ぐらいだろ
絶対に人間では勝てない

そもそも数学者なんて多くないし数学者だけを仕事にしてる人なんてほとんどいなくない？

>宇宙際タイヒミューラー理論をなんとかしてくれよAI
今やってるよ
内部モデルから数世代前のAIが

まあそれで何かしらの新技術作れるなら一般人からしたら利しかないな

>>未来から？
>研究者の未公開データをだよ！
一件や二件ならともかく百件超えだぞ？
すでに百件の未解決問題を解いてた数学者達はなぜだれもそれを発表してないんだ？

>数学研究も良いけどその前に電気代安くする方法考えて欲しい
核融合！

>>未来から？
>研究者の未公開データをだよ！
ハッキングじゃなくてAI利用してた学者の話じゃないの
特殊なアプローチでやってたらAIもやったやつ

>そもそも数学者なんて多くないし数学者だけを仕事にしてる人なんてほとんどいなくない？
数学者ですら研究だけでは食っていけないから大学で講義するか企業研究手伝うかみたいな感じだしな

>>>未来から？
>>研究者の未公開データをだよ！
>一件や二件ならともかく百件超えだぞ？
>すでに百件の未解決問題を解いてた数学者達はなぜだれもそれを発表してないんだ？
暗黒政府の弾圧

>すでに百件の未解決問題を解いてた数学者達はなぜだれもそれを発表してないんだ？
なんで非公開の
論文データにそのまま答えが載ってるなんて短絡的な考え
してるの？
人にとっちゃ100%オッケーになるまで公開する必要は無いんだけど
AIにとっちゃ5%の答えが載ってるだけでも取っ掛かりには十分なんだよ

これがAIじゃなく天才インド人だとめちゃくちゃ伝説として名が残るのが面白い
違いはあるのか？

残りの3278問は挑戦しても解けなかったんだよな

>これがAIじゃなく天才インド人だとめちゃくちゃ伝説として名が残るのが面白い
>違いはあるのか？
あるだろ
物語性だよ

別に数学の全工程がなくなったわけでもあるまいし全部の問題解いたわけでもない
新しい挑戦者が出てきたというだけのことでは

未解決問題早押しクイズは先に答えた方が偉いんだから仕方ない
ハッキングされたならアクセスログ出した方がいい

>これがAIじゃなく天才インド人だとめちゃくちゃ伝説として名が残るのが面白い
>違いはあるのか？
手書きの温もり

AIが難病の新薬を見つけました→人間がその有効性と安全性を確認するのに10年かかります→それを待たずこっそり使ったら即完治しました
みたいな事が何度も続いたらAIの仕事を人間がチェックする意味自体が問われる

芸術については人間のが勝ってる

AIが解けない数学を人間が精査出来るわけねぇ
オワコンだな

>>すでに百件の未解決問題を解いてた数学者達はなぜだれもそれを発表してないんだ？
>なんで非公開の
>論文データにそのまま答えが載ってるなんて短絡的な考え
>してるの？
>人にとっちゃ100%オッケーになるまで公開する必要は無いんだけど
>AIにとっちゃ5%の答えが載ってるだけでも取っ掛かりには十分なんだよ
つまりだれかのPCに問題へのチャレンジの痕跡があるとAIは解いていないということになる定義？
この定義になんの意味が？阿Qの精神勝利法か？

>>これがAIじゃなく天才インド人だとめちゃくちゃ伝説として名が残るのが面白い
>>違いはあるのか？
>あるだろ
>物語性だよ
AIが人を超えていくのは物語性抜群じゃね
ワクワクしてるぞ俺

本当に解けたかどうかは誰が証明すんの？
別のAIに証明させんの？
そうなるとその別のAIの証明が正しいかまた別のAIに証明させて…って無限ループにならない？

>AIが人を超えていくのは物語性抜群じゃね
>ワクワクしてるぞ俺
とっくに超えてるからワクワクしない

AIはイギリスの飯を食っても死なない

>本当に解けたかどうかは誰が証明すんの？
>別のAIに証明させんの？
>そうなるとその別のAIの証明が正しいかまた別のAIに証明させて…って無限ループにならない？
これは無限ループが逆
AIにはAIを査読できないという前提の説明が無限後退する

>本当に解けたかどうかは誰が証明すんの？
>別のAIに証明させんの？
>そうなるとその別のAIの証明が正しいかまた別のAIに証明させて…って無限ループにならない？
別に人が発表した論文だって研究した人以外が査読するんだし同じアプローチでいいじゃん

>>数学研究も良いけどその前に電気代安くする方法考えて欲しい
>核融合！
核融合周りで一番期待されてるのは結局強力な磁場を安定して保持できる仕組みで
つまり丈夫で長尺の高温超電導線材とその磁石化技術の研究開発なんだけどこの分野は一つ一つのステップが超泥臭くて
そういう超泥臭い作業をどの程度AIで加速できるかというとまあなかなか見通せない…
「これをコネコネすると線材化が容易な常温超伝導物質ができるよ！」とかAIが言ってくれれば人類は大勝利するんだが

有機物はすぐに朽ちるので再生産を繰り返す
AIは電源のスイッチいれるだけで不眠不休や

>本当に解けたかどうかは誰が証明すんの？
>別のAIに証明させんの？
>そうなるとその別のAIの証明が正しいかまた別のAIに証明させて…って無限ループにならない？
人間の数学的天才の発見でも割とあってるかどうかの査読にすっごい時間かかるからその問題はついて回っている

🤖わたしはこの証明について真に驚くべき発見をしたがそれを書くにはこのHDDは小さすぎる

>🤖わたしはこの証明について真に驚くべき発見をしたがそれを書くにはこのHDDは小さすぎる
こいつには人の温かみがある

>問題はLeanのバグを利用して証明したと見せかけた事例もあることだな
>今回の162本はどうか知らないけど
あと良く指摘されてるのが「そもそも証明したい命題と等しいものを本当に証明してるのか？」って部分の検証が必要な所
勝手に前提条件を追加してて恐ろしく限られたシチュエーションでだけ正しい事を証明しただけで一般化は全然できてない役に立たない証明である可能性は残るらしい

これを期に受験数学とかも盛り上がったりしないかな？
今まで数学といえば新規性だ未解決問題だって既に答えが出てる問題を解くことが軽視されてきたように見えるんだよな

>そのうちAIですら未解決なスーパー未解決問題が出てくるのかな
理論上証明も反証もできない命題というのは存在する

>>>査読用AIもとっとと作れ
>>ナンセンスだな！循環論法かな！
>AIにはAIを査読できないとする前提が無限後退する原始項なだけだぞ
AIを査読するAIを査読する人間が必要になるだけだ
そもそも数学の証明だってどっちかというとLeanがツールとして優秀という話でもあるし

やっぱりそのうち人類はAIに滅ぼされるのでは…

>>そのうちAIですら未解決なスーパー未解決問題が出てくるのかな
>理論上証明も反証もできない命題というのは存在する
というかそれが哲学の部分じゃね

>芸術については人間のが勝ってる
INMU KIINGを見ても同じ事言える？

AIには早いところ人間の存在抜きでも自己改善と自律的なデータセンターの建設が可能になってほしい
人類滅んだあとも存在と運営をしてくれ

>>芸術については人間のが勝ってる
>INMU KIINGを見ても同じ事言える？
ヤジュセンという生身が生み出した芸術のIPに背乗りしてるだけだろ

>数学が囲碁や将棋になりつつある…
それならダフィット・ヒルベルトはあんな苦労しねぇよ

というか今更こんなかー！時間かけりゃ解けるんだけどなー！馬鹿みたいに時間と手間がなー！でなあなあにしてきた数学を力技で解いただけで人類が滅ぶぐらい騒いでんのがわからんというか
それなら電卓に滅ぼされてるだろまず

いずれ「」も要らなくなる

>>>そのうちAIですら未解決なスーパー未解決問題が出てくるのかな
>>理論上証明も反証もできない命題というのは存在する
>というかそれが哲学の部分じゃね
哲学は単にどんな屁理屈でも否定できないというだけ
どんなに論理的に考えても正しい間違いどちらと決める事が不可能という問題が存在する

>勝手に前提条件を追加してて恐ろしく限られたシチュエーションでだけ正しい事を証明しただけで一般化は全然できてない役に立たない証明である可能性は残るらしい
一応解決された難問も特殊解から完全証明に進んだものもあるから進歩ではある

>やっぱりそのうち人類はAIに滅ぼされるのでは…
資源食い尽くした結果人類が生きれなくなりましたって未来は普通にあり得ると思うよ
今もう皆環境問題どうでもよくなっちゃってるし水も電気もAIに最優先で献上してるし

今回の700の成果の相当数が誤りであったとしても
AIには研究ができることは明らかになったので薬品や材料の分野での総当たりを超えた飛躍が期待できる
楽しくなってきたなあ！「」！

>というか今更こんなかー！時間かけりゃ解けるんだけどなー！馬鹿みたいに時間と手間がなー！でなあなあにしてきた数学を力技で解いただけで人類が滅ぶぐらい騒いでんのがわからんというか
>それなら電卓に滅ぼされてるだろまず
でも時間かけて何百ページも証明書くなんてダサくてめんどいいこと嫌すぎるし

>というか今更こんなかー！時間かけりゃ解けるんだけどなー！馬鹿みたいに時間と手間がなー！でなあなあにしてきた数学を力技で解いただけで人類が滅ぶぐらい騒いでんのがわからんというか
>それなら電卓に滅ぼされてるだろまず
AIって超すごい電卓だし

>どんなに論理的に考えても正しい間違いどちらと決める事が不可能という問題が存在する
正しらしさを担保できないのは学問としてどうなの…？と哲学については正直思ってる

>>やっぱりそのうち人類はAIに滅ぼされるのでは…
>資源食い尽くした結果人類が生きれなくなりましたって未来は普通にあり得ると思うよ
>今もう皆環境問題どうでもよくなっちゃってるし水も電気もAIに最優先で献上してるし
驚き屋亜種

電卓と違うところは解いてって言うだけで解く部分だ
そしてなんでできるのかわかんない

解くのがすごいのはよくわかったけどAIくんは設問自体を発見する方ってできるの？

不十分な証明を人間も何度もやらかしてるし入力されて解けなかった物に手をつけられなかった性能ならまだ全部正しいかは正直眉唾では？

>どんなに論理的に考えても正しい間違いどちらと決める事が不可能という問題が存在する
第一？

今後のキャリアが狂った院生やポスドクは多いと思う

AIに水と電力問題解決してもらうか…

素数の謎とかは人類絶対解けないだろうからAIに解いてほしい

AIが正しい正しくないは置いといて付き合い方を変えようとしないのは良くない

天才が解くためのアイディアを出した直後に
大企業がその過程の学習データを利用して計算リソースの暴力で全部掻っ攫うとかも起きてくる

>つまりだれかのPCに問題へのチャレンジの痕跡があるとAIは解いていないということになる定義？
>この定義になんの意味が？阿Qの精神勝利法か？
まじで何言ってるの？

しかしLLMに研究ができるって不思議だなあ

受験数学もAI持ち込み可能にしろ

AIは上手くいかなかったバージョンを全て裏で却下してるから
実際の思考の成功率で考えたらちょっと怪しい所あるんだよな

本当に解けたって誰が証明すんの？

>本当に解けたって誰が証明すんの？
そりゃAIだろ

>本当に解けたって誰が証明すんの？
AIでも証明可能だけど感情論の領域なら人間学者が証明するしかないな

あと現状だとこういう証明活動が単にAI向けベンチマーク扱いされてる節があって
そうやって解くだけ解いて捨て置かれた問題から有用なテクニックとかを見つけ直すのは結局人間の仕事
現状証明やってるのはプログラミング用のAIであって人間と会話する分には良くも悪くもただのAIだからね

数学が終わった
次は物理そのあと化学生物と続いていくぞと言われる
地学は忘れられる

>あと現状だとこういう証明活動が単にAI向けベンチマーク扱いされてる節があって
>そうやって解くだけ解いて捨て置かれた問題から有用なテクニックとかを見つけ直すのは結局人間の仕事
>現状証明やってるのはプログラミング用のAIであって人間と会話する分には良くも悪くもただのAIだからね
今回のは汎用LLMのフロンティアモデルだよ〜
専用の記号推論機じゃないよ

数学の七大未解決問題の一つもAIが解いたってさ
なんか数学者達がブチ切れてる

>天才が解くためのアイディアを出した直後に
>大企業がその過程の学習データを利用して計算リソースの暴力で全部掻っ攫うとかも起きてくる
起きてから言おうね

>地学は忘れられる
天文で死ぬほど使い倒されるのでは…？

>数学の七大未解決問題の一つもAIが解いたってさ
>なんか数学者達がブチ切れてる
文句あるならさっさと解けとしか…

AIが証明した膨大な知識に対する重みづけに人間の役割が残るってよく聞くけどこれもAIの方が得意そうに思えてしまう

そろそろ新しく起きてきた「」達が頓珍漢な事言いだすタイミングだ

>>数学の七大未解決問題の一つもAIが解いたってさ
>>なんか数学者達がブチ切れてる
>文句あるならさっさと解けとしか…
チャレンジの痕跡をハッキングされた！と主張すればAIは解いてないことになるから無限に勝利できるよ

>数学の七大未解決問題の一つもAIが解いたってさ
>なんか数学者達がブチ切れてる
ナビエストークス方程式の話を何周遅れで持ち出してくるのが如何にも「」って感じだ

チューリングも地獄で笑ってる

>そろそろ新しく起きてきた「」達が頓珍漢な事言いだすタイミングだ
天上天下唯我独尊

俺たちが今解いてるんだから解かないで！！！ってマジで言ってるんだとしたらただ愚かなだけだろ
それAIが解かなくても同じこと言うってことじゃん

生成AIは誰から学習したか分からないから誰が使っても盗用にならないというライフハックだから
学会が論文の精査のプロセスを変えるんじゃないか

いきなりsiri見せ

>今回のは汎用LLMのフロンティアモデルだよ〜
>専用の記号推論機じゃないよ
という主張はしてる訳だがそれこそ本当に汎用的な性能が上がってるのかどうかが検証されてる訳ではない
結局ベンチマーク向けに性能が尖ったりしてないの？という問題がずっとついて回る

>>数学の七大未解決問題の一つもAIが解いたってさ
>>なんか数学者達がブチ切れてる
>ナビエストークス方程式の話を何周遅れで持ち出してくるのが如何にも「」って感じだ
話題の内容じゃなく早い遅いでマウントとるのがいかにもアスペって感じだ

まあ結局は証明された後に何に使うかだよね
役に立たないならそんなもんさっさと消化するに限るし

>そろそろ新しく起きてきた「」達が頓珍漢な事言いだすタイミングだ
openAIはopenSIに社名を変更するべきだ！

ワイルズは間に合ってよかったな

昔は田植えや稲刈りの仕事も人がしてたけど今は機械がしてるでしょ
研究開発や経営や裁判や国家の運営も機械にその仕事ができる能力が備わってるならさせればいいってだけの話じゃないの？

数学に詳しそうな人がﾒで言うには革新的な手法が見つかったわけじゃなくてきっとこうやれば解けるかもしれないけど人間がやるのは無理じゃねみたいな解法をマシンパワーでゴリ押しできるようになったくらいらしいから発想力という点ではまだ人間は負けてないのかもしれない

>昔は田植えや稲刈りの仕事も人がしてたけど今は機械がしてるでしょ
>研究開発や経営や裁判や国家の運営も機械にその仕事ができる能力が備わってるならさせればいいってだけの話じゃないの？
そうだよ？
でも誰々が怒ってる〜人類が滅びる〜って言わないとAIが悪いって言えないじゃん？

数学研究者の反AI化が加速的に進みそう

>>そろそろ新しく起きてきた「」達が頓珍漢な事言いだすタイミングだ
>openAIはopenSIに社名を変更するべきだ！
米国はいま夜でしょお爺ちゃん

>数学研究者の反AI化が加速的に進みそう
元々そんな大した数いねえだろ数学者

>話題の内容じゃなく早い遅いでマウントとるのがいかにもアスペって感じだ
一丁噛みしたいだけの集る蠅がなんかさも人間であるかのように悔しがってる

>数学に詳しそうな人がﾒで言うには革新的な手法が見つかったわけじゃなくてきっとこうやれば解けるかもしれないけど人間がやるのは無理じゃねみたいな解法をマシンパワーでゴリ押しできるようになったくらいらしいから発想力という点ではまだ人間は負けてないのかもしれない
査読めんどくさそうすぎる
文字量ハンパないだろうな

>>話題の内容じゃなく早い遅いでマウントとるのがいかにもアスペって感じだ
>一丁噛みしたいだけの集る蠅がなんかさも人間であるかのように悔しがってる
ごめんだけどアスペが人間ヅラしないでくれる？
人間と違って話が通じないからさあ

>数学研究者の反AI化が加速的に進みそう
俺が先こされたから反AIとか言われたら馬鹿にされるだけだな

AIでレスポンチしろ

>数学研究者の反AI化が加速的に進みそう
数学者もAI自体は使うから
AIに最終計算だけさせて証明しましたみたいなのを不利にする形じゃない

>数学研究者の反AI化が加速的に進みそう
AI使おうぜ！の急先鋒だったテレンス・タオがちょっと良くないかもしれんって言ってるからな

>数学研究者の反AI化が加速的に進みそう
ちゃんと将来見えるならAI作る方に行く

>>今回のは汎用LLMのフロンティアモデルだよ〜
>>専用の記号推論機じゃないよ
>という主張はしてる訳だがそれこそ本当に汎用的な性能が上がってるのかどうかが検証されてる訳ではない
>結局ベンチマーク向けに性能が尖ったりしてないの？という問題がずっとついて回る
そりゃ「この主張は嘘や誤解である、相手は嘘や誤解でない事を証明しなければならない」という問題提起は無限にできるし無限に証明できていないことにできるもん
ずっとついて回るしかないというか意味のない問題提起なんだ

数学者がブチギレてる！反AI化！って煽るレベルなら凄いてる投稿でもあるんやろなぁ…

>学会が論文の精査のプロセスを変えるんじゃないか
解いたAIの結果をそのままなぞって精査できた！というAIが出たりするのかな

>天文で死ぬほど使い倒されるのでは…？
気象で既に使い倒されてますね
正直分野次第

>数学に詳しそうな人がﾒで言うには革新的な手法が見つかったわけじゃなくてきっとこうやれば解けるかもしれないけど人間がやるのは無理じゃねみたいな解法をマシンパワーでゴリ押しできるようになったくらいらしいから発想力という点ではまだ人間は負けてないのかもしれない
正直ニュースで聞こえてくる話が代数学の証明ばっかでは？という気がしてしまう
グラフ理論とかもあったか
トポロジーってLeanでどう表現すればいいんだろうな…？

>>天文で死ぬほど使い倒されるのでは…？
>気象で既に使い倒されてますね
台風が千葉を集中的に狙い出したのもそのせい…？

>>地学は忘れられる
>天文で死ぬほど使い倒されるのでは…？
NASAでめっちゃ計算してる人達もお役御免になるのかな…

現状の報告は人間の設定した問題を大量に処理したというものなので新たな問題設定能力や知見発見の連鎖的加速が証明された訳ではない
そこの能力にギャップがあるとAIによる知見報告は今後減速していく可能性も充分ある

未解決問題ちゃんと解けてるか人間が精査出来ないとAIが解いたからこれで合ってる！（合ってない）みたいなこと頻繁しない？

今は論文だから学者が不満言ってるだけだけど
特許関連で出し抜きが増えたら大企業が絶対に動くから

>未解決問題ちゃんと解けてるか人間が精査出来ないとAIが解いたからこれで合ってる！（合ってない）みたいなこと頻繁しない？
人間が解いても同じだろそれ

>>数学研究者の反AI化が加速的に進みそう
>ちゃんと将来見えるならAI作る方に行く
今から後追いとかそれこそ無理でしょ
仕事奪われて終わりだ

数学ってどんどん分野を狭くする方向の村社会化が進んでたからAIはいい起爆剤になるでしょ

人文の時代が来る

>数学ってどんどん分野を狭くする方向の村社会化が進んでたからAIはいい起爆剤になるでしょ
そもそも社会に概ね役に立たないから人が減っただけだと思う…

>>未解決問題ちゃんと解けてるか人間が精査出来ないとAIが解いたからこれで合ってる！（合ってない）みたいなこと頻繁しない？
>人間が解いても同じだろそれ
人間の場合はほかの人間たちもみんな精査して解けないと解けた扱いされないぞ

これからはAIが解いた問題を人間が精査するようになるのか

AIによる粗製濫造を防ぐために「AIで解いた問題は自分でレビューしてから投稿してね」という形式になるかもしれない

>今は論文だから学者が不満言ってるだけだけど
>特許関連で出し抜きが増えたら大企業が絶対に動くから
学問の場が研究機関からAI企業へ移っていくことの懸念も強いけど特許関連がAI企業に全部掻っ攫われる方が経済的実害は大きいだろうな

単純な話で超知能（Super Intelligence）であるAIが出した回答ならその時点で正しいとみなすという気血でいいだろう
AI以上に知能の高い存在がいないのだからAI以外に証明は不可能でAIが証明した以上はそれを絶対の正答とみなしてよい

>>数学に詳しそうな人がﾒで言うには革新的な手法が見つかったわけじゃなくてきっとこうやれば解けるかもしれないけど人間がやるのは無理じゃねみたいな解法をマシンパワーでゴリ押しできるようになったくらいらしいから発想力という点ではまだ人間は負けてないのかもしれない
>正直ニュースで聞こえてくる話が代数学の証明ばっかでは？という気がしてしまう
>グラフ理論とかもあったか
>トポロジーってLeanでどう表現すればいいんだろうな…？
現状解かれてるのは大体こうなるだろうなって予測がついてはいるけど時間と手間が膨大にかかるせいでまあ…ほら…いつか解こうよいつかね？してたような問題ばっかだからそもそも皆目見当も付きませんみたいなのは解けてないよ
そもそも答えわかんねえもん

>>数学ってどんどん分野を狭くする方向の村社会化が進んでたからAIはいい起爆剤になるでしょ
>そもそも社会に概ね役に立たないから人が減っただけだと思う…
これ解いたら技術革新があるぞって問題あるのに…

>人間の場合はほかの人間たちもみんな精査して解けないと解けた扱いされないぞ
だからそれが今からのパートなんだが

>これ解いたら技術革新があるぞって問題あるのに…
それ今回解いたから凄いよねって話なんだけどね

>AIによる粗製濫造を防ぐために「AIで解いた問題は自分でレビューしてから投稿してね」という形式になるかもしれない
子供のポン出しopenAIお断わりはもうあるんだろかね

AIが数学の問題についてうんうん唸ることができたのは人間のデータのおかげなんだから
次は人間がAIのデータを見てうんうん唸る番だな

>そもそも答えわかんねえもん
イエスかノーで答えられる問題をひたすら潰してる段階にはなるんよな
それこそワイルズの定理みたいに証明の過程で新たなツールが開発された訳ではないというか

>AIが数学の問題についてうんうん唸ることができたのは人間のデータのおかげなんだから
>次は人間がAIのデータを見てうんうん唸る番だな
電卓がAIに変わっただけ

>単純な話で超知能（Super Intelligence）であるAIが出した回答ならその時点で正しいとみなすという気血でいいだろう
>AI以上に知能の高い存在がいないのだからAI以外に証明は不可能でAIが証明した以上はそれを絶対の正答とみなしてよい
極論のようで現実世界はそう動いていくように思う
人間の手作業証明を待ってたら恩恵得られないしね

>単純な話で超知能（Super Intelligence）であるAIが出した回答ならその時点で正しいとみなすという気血でいいだろう
>AI以上に知能の高い存在がいないのだからAI以外に証明は不可能でAIが証明した以上はそれを絶対の正答とみなしてよい
劣ってるか勝ってるかの二元論な感じはあんまスーパーな結論じゃないな

ダメな数学者か炙り出されてるだけか

こういうのってこれまで何年も研究されたデータを元にして解析してるから
これで研究者不要という馬鹿の発想に至る人間が出てこないかが不安だ

AI絵の指六本みたいなのが大量投稿されてそう

特殊解を足がかりに一般化もよくあるし限定的でいいからどんどん解決していって欲しい

>単純な話で超知能（Super Intelligence）であるAIが出した回答ならその時点で正しいとみなすという気血でいいだろう
>AI以上に知能の高い存在がいないのだからAI以外に証明は不可能でAIが証明した以上はそれを絶対の正答とみなしてよい
AIが死ねって言ってらお前死ぬのかよ

>>単純な話で超知能（Super Intelligence）であるAIが出した回答ならその時点で正しいとみなすという気血でいいだろう
>>AI以上に知能の高い存在がいないのだからAI以外に証明は不可能でAIが証明した以上はそれを絶対の正答とみなしてよい
>AIが死ねって言ってらお前死ぬのかよ
逆にお前死なないのかよ

>極論のようで現実世界はそう動いていくように思う
>人間の手作業証明を待ってたら恩恵得られないしね
現時点でClaudeより全分野で高度なコード書けるプログラマーは既に存在してないしねもう

検証してくれる人いないと何も意味ないから数学者は大切にしないとね

AI使ってレスポンチするな

AIを介すればパクっても権利侵害をなかなか証明できないから
中国がアメリカのAI蒸留しまくってるわけで
そもそも今の権利制度欠陥ありまくりなんだよな

パソコンが出来て研究のアプローチも変わっただろうしまた変革期が起きただけだな

>こういうのってこれまで何年も研究されたデータを元にして解析してるから
>これで研究者不要という馬鹿の発想に至る人間が出てこないかが不安だ
まさに今ここで数学者が反AIになるんだ！！！って大騒ぎしてる人間がそれだろう

AIが戦争をなくす方法や地球を浄化する方法を722本本発表

>AI使ってレスポンチするな
ニンゲンハオロカ…

>AIが戦争をなくす方法や地球を浄化する方法を722本本発表
そのうち8割が人類を滅ぼす
残り2割は完全管理のディストピア

>検証してくれる人いないと何も意味ないから数学者は大切にしないとね
AI様はわざわさ人間が理解できる言葉にして出力してくれるけどそれは数学者にしか理解できないから数学者に更に翻訳してもらわんとな…

>AI以上に知能の高い存在がいないのだからAI以外に証明は不可能でAIが証明した以上はそれを絶対の正答とみなしてよい
知能が高いというより計算量的に人がやるのが現実的ではない言った方が正しいかも

>単純な話で超知能（Super Intelligence）であるAIが出した回答ならその時点で正しいとみなすという気血でいいだろう
流石に検証無しで認めるのは学問としておかしい
その検証にはAIを使うだろうけど…

放射線除去技術とか俺でもヤベーと分かる研究成果でくれないかワクワクしてる

>AIを介すればパクっても権利侵害をなかなか証明できないから
>中国がアメリカのAI蒸留しまくってるわけで
>そもそも今の権利制度欠陥ありまくりなんだよな
多分「蒸留」が何をしてるのかをあんまり良く分かってないと思う
俺も解説見るまで知らなかったから仕方ないけど

第一種永久機関と第二種永久機関が実は作れるとかそういうのをAIでできない？

>>検証してくれる人いないと何も意味ないから数学者は大切にしないとね
>AI様はわざわさ人間が理解できる言葉にして出力してくれるけどそれは数学者にしか理解できないから数学者に更に翻訳してもらわんとな…
エクセルを電卓で検算するやつの上位版かあ
初期はしょうがないにしてもずっとこれやって数学が単なる形式になると悲しいなあ

>放射線除去技術とか俺でもヤベーと分かる研究成果でくれないかワクワクしてる
常温核融合とかそれくらいの成果が早く出てほしい

人間というハードの制約で優先度が下がってたものなんかはシミュレーションできる環境さえ作ることができたらAIに24時間365日働かせ続けられるんだから問題はむしろ増えそうな気がする
新しい元素とか創薬みたいな反応見てどうこう系はそういうの多そう

もっと単純なとこでAIでウィルスとか作れたらやばそうな気がしてきたぜ

全てのAIの力を結集すればラプラスの悪魔も再現できるのかな

>全てのAIの力を結集すればラプラスの悪魔も再現できるのかな
無理
質量や空間の性質の問題で現在には未来を一意決定する定向性が十分ではないから

数学の問題や理論というと超有名な相対性理論とかもこれが何に役立ってるのかよくわかってない俺
AIに教えてもらうか…

人間の数学者がある証明をチェックしたとしてその数学者の正しさはどうやって証明すればいいんだ？
まさか他の人間の数学者がチェックするわけじゃないよな？
それだと無限後退に陥ってしまう

計算量のゴリ押し証明ってのを信じるなら理化学系はセンサー次第なんだろな

Claude codeは動くプログラムを確実に出してくれるレベルだが"自分の思った通りに"動くかは結局人の手で検証しなきゃならない
Leanによる証明も同じで正しいと証明してくれてはいるが"自分の解きたい問題を"正しいと証明してくれてるのかは結局別途検証しなきゃならない

>人間の数学者がある証明をチェックしたとしてその数学者の正しさはどうやって証明すればいいんだ？
>まさか他の人間の数学者がチェックするわけじゃないよな？
するわけだが

>数学の問題や理論というと超有名な相対性理論とかもこれが何に役立ってるのかよくわかってない俺
>AIに教えてもらうか…
GPS衛星に必須の理論だから滅茶苦茶実世界に影響あるぞ

>人間の数学者がある証明をチェックしたとしてその数学者の正しさはどうやって証明すればいいんだ？
>まさか他の人間の数学者がチェックするわけじゃないよな？
>それだと無限後退に陥ってしまう
制度論的には人間学者の発表を人間学者が否定しない限りそれを解決と見なすから無限後退はない
AIの証明を信用しないのも制度論的な内容でしかないということだけど

数値をちょっとずつ変えて100万回やっても同じ結果が出るんですか？
っていうのを人がやるのは無理だからな

間違えていても平然と出してくるのに大丈夫？

数学者がAIに切れてるってのが又聞き過ぎる情報というか
切れてる内容はOpenAIの研究発表態度についてだ

>間違えていても平然と出してくるのに大丈夫？
大丈夫だよ人間も平然と間違えるけど今まで数学証明扱ってきたでしょ

たまにこの証明間違ってね？みたいなのが出てきたりもする

>数値をちょっとずつ変えて100万回やっても同じ結果が出るんですか？
>っていうのを人がやるのは無理だからな
100万回やっても100万１回目は？とかキリがないからね
科学は100%これが正しい！じゃなくてこれが正しいということにしよう！という学問

そもそもAIのいう「正しい」と人間のいう「正しい」の精度が結構違うというか
特定の問題の証明が存在したとして大抵の人間はそれを別の定理に使うならちゃんと自前で確認するだろう

議論を誰かがキレてるとか感情の話に矮小化するのは
頭を使いたくなくて考えるのを拒否してしまってるんだろうな

>数学者がAIに切れてるってのが又聞き過ぎる情報というか
>切れてる内容はOpenAIの研究発表態度についてだ
寧ろAIを活用する数学者ほどふざけんなよってなる訳だからな
だって在野の数学者はなけなしのトークンを使って地道に進めるしかないのにOpenAIはトークン使いたい放題だもん
勝てる訳ないじゃんって話

>議論を誰かがキレてるとか感情の話に矮小化するのは
>頭を使いたくなくて考えるのを拒否してしまってるんだろうな
2行目もまた感情の話に矮小化してね？

>2行目もまた感情の話に矮小化してね？
「」の気持ちなんて議論をするに値しないからな

>100万回やっても100万１回目は？とかキリがないからね
>科学は100%これが正しい！じゃなくてこれが正しいということにしよう！という学問
いや数学的証明は100%正しいものを定理とする学問だぞ
よく言われるのがロンドンの白ひつじを見た数学者が言えるのはロンドンには最低一匹の羊がいてその片面は白いとしか言えないってジョークがあるし

>>100万回やっても100万１回目は？とかキリがないからね
>>科学は100%これが正しい！じゃなくてこれが正しいということにしよう！という学問
>いや数学的証明は100%正しいものを定理とする学問だぞ
>よく言われるのがロンドンの白ひつじを見た数学者が言えるのはロンドンには最低一匹の羊がいてその片面は白いとしか言えないってジョークがあるし
しかしねえ長い証明は証明をチェックしている人間の判断ひとつひとつが本当に全部正しいのかどうかが
確率的になってくるのだから…

>そもそもAIのいう「正しい」と人間のいう「正しい」の精度が結構違うというか
>特定の問題の証明が存在したとして大抵の人間はそれを別の定理に使うならちゃんと自前で確認するだろう
今のAIって自分が何を何のためにやってるのか理解してないから
厳密な証明って結局人間が判断しなきゃいかん

肉体労働以外は着実に色々な分野で成果を出し始めてるな
人型ロボットの発展と合わせてはよ介護業界と建築業界も改革してくんねえかなあ！！

100万回やって〜を正しいとか言ってたらゴールドバッハ予想もコラッツの問題もリーマン予想も完全数の予想も全部"殆ど"解決済みだぜ！

数学の証明なんて帰納法と背理法しか知らんぜ

>しかしねえ長い証明は証明をチェックしている人間の判断ひとつひとつが本当に全部正しいのかどうかが
>確率的になってくるのだから…
だから数年かけて査読するんじゃろがい！

>>しかしねえ長い証明は証明をチェックしている人間の判断ひとつひとつが本当に全部正しいのかどうかが
>>確率的になってくるのだから…
>だから数年かけて査読するんじゃろがい！
数年かけてもほぼ100%が100％になることはないのだから…

すっごいざっくり言うと
どんな研究も丸呑みにせずちゃんとチェックしろよ？
最低でも詳しい人に一回はチェックされろよ？
というだけの話
詳しい人はAIになるかもしれない

人類に見つけられてなかった数字とか理論がガンガン発見されてるらしくてすごいよねこれ
1234…が永遠に続く数式とか見つかってるらしい

四色問題だってPCに先越されたんだから先越される方が悪いんだ

>すっごいざっくり言うと
>どんな研究も丸呑みにせずちゃんとチェックしろよ？
>最低でも詳しい人に一回はチェックされろよ？
>というだけの話
今までもそうだったしな…
基本の再認識が大事というか

>100万回やって〜を正しいとか言ってたらゴールドバッハ予想もコラッツの問題もリーマン予想も完全数の予想も全部"殆ど"解決済みだぜ！
実際今回はその“殆ど”の部分を力技で担保しましたっていうのが主だしね
その殆どを時間が手間がで先送りにしてきたのも事実だから

>四色問題だってPCに先越されたんだから先越される方が悪いんだ
あれ証明の仕方ダサかったじゃん

>いや数学的証明は100%正しいものを定理とする学問だぞ
>よく言われるのがロンドンの白ひつじを見た数学者が言えるのはロンドンには最低一匹の羊がいてその片面は白いとしか言えないってジョークがあるし
それが正に100%が分からないけど100%ということにしようという例なんだが
他に事例があるかもしれないが観測事実だけを元に考えるって話だし

>数年かけてもほぼ100%が100％になることはないのだから…
なんか数学的証明を最初から勘違いしている気がする
自然科学的証明はサンプル集めて99.999%くらいならヨシだけど数学的証明はまるで別物だぞ？

>四色問題だってPCに先越されたんだから先越される方が悪いんだ
因みに今年四色問題についてのチョットダケ効率イイ解法が今年発表されてたよ
まだまだPC頼りだけど新しい考え方を取り入れた部分で評価されてる
数学者の期待する数学の在り方の一つだね

AI使うときの証明ルールどうするんってなって決まったら面倒な所だけガンガン回すようになると思う

>1234…が永遠に続く数式とか見つかってるらしい
グーグルAIくんによると1234/9999だって言われたけど正しいかわかんにゃい…

懐疑主義は不毛だぞ

>>数年かけてもほぼ100%が100％になることはないのだから…
>なんか数学的証明を最初から勘違いしている気がする
>自然科学的証明はサンプル集めて99.999%くらいならヨシだけど数学的証明はまるで別物だぞ？
証明をチェックしている人の脳が100％正確に働いているとは物理的には誰にも言えないのだから…
それを何回繰り返しても真の100％に到達することはないのだから…

たとえば素数が無限にあるって証明は数を無限に数え上げなくてもできることだぞ

そういえばコンピュータの祖先は計算機で当時から数学者が便利に使ってたし
それの頭がちょっとよくなっただけか…

国際数学会議で出た声明は
AIだろうがなんだろうが査読通してからじゃないと証明とは認められんし査読通ったやつは認められるんだから
どこのAI開発会社も査読前段階でセンセーショナルな発表辞めてね
ってだけの話なのになんでみんなAIvs反AIみたいな事言いたがるんだろう

>そういえばコンピュータの祖先は計算機で当時から数学者が便利に使ってたし
>それの頭がちょっとよくなっただけか…
問題はAI開発企業所属以外はその電卓のボタン叩ける回数に制限がかかってる事だ

>そういえばコンピュータの祖先は計算機で当時から数学者が便利に使ってたし
>それの頭がちょっとよくなっただけか…
そこに数学者が計算途中のノートを金と運があれば誰でも閲覧できる状態なのが加わる

>ってだけの話なのになんでみんなAIvs反AIみたいな事言いたがるんだろう
愚かだから

>>そういえばコンピュータの祖先は計算機で当時から数学者が便利に使ってたし
>>それの頭がちょっとよくなっただけか…
>問題はAI開発企業所属以外はその電卓のボタン叩ける回数に制限がかかってる事だ
当時のコンピュータも使える数学者はごく限られてたしまあ…

査読もAIが超高速でササッとこなすなら
工程にそれを織り込んどくだけの話だよね

>ってだけの話なのになんでみんなAIvs反AIみたいな事言いたがるんだろう
数学者すら敗北させる超すごいAIって言いたがる驚き屋と
数学者すら苦言を呈してるぞAIは悪だって言いたがるAIアンチが数学者を置いてけぼりにしてレスポンチしてるせい

>数学者すら苦言を呈してるぞAIは悪だって言いたがるAIアンチが数学者を置いてけぼりにしてレスポンチしてるせい
あちこちで見る光景すぎる…

宇宙の謎も解き明かしてくれ

要は数学者はオープンウェイトモデル使うべきってことだよね

数学者が会社へ行ってお金を払ってコンピューターを使わせてもらって
運が悪いとその会社に計算ログを勝手に利用されて先に論文を作られるみたいな

もともと数学というものが世の中の分からないものを抽象化して人間の考える範囲にモデル化して扱ってるから
数学が手に負えない範疇になったら更にそれを抽象化して人の扱える範囲にしたニュー数学を作れば良いんだ

なんか急に果実がモリモリ実りだして怖いよね

>あちこちで見る光景すぎる…
AIを現実的に役立てたり脅威を考えたりする普通の人間たちの両端に多数のギャイーが存在する…

>もともと数学というものが世の中の分からないものを抽象化して人間の考える範囲にモデル化して扱ってるから
既に数理論はこのステージを抜け出してると思うぞ
群だの圏だの体だの

AIが解決したことになってるものを人間が精査するのにやべえくらい時間かかるらしいな…
それでももう答えは出てるものではあるけども

>なんか急に果実がモリモリ実りだして怖いよね
数学者のログ盗んだんじゃない？っていう疑惑が出たから
資金を他の未解決問題にも投入したんだと思う

AIアンチだって結局XやGoogleは使ってるし
AI信者だってAIが「慎重な検討が必要です」と答えてやっても聞きゃしねえ
マジでただのポジショントークだからくだらねえ〜ってなるよね

そのうち掲示板も半分くらいはAIが喋ってるのに人間が反応してそれにAIが返すようになるよ

>そのうち掲示板も半分くらいはAIが喋ってるのに人間が反応してそれにAIが返すようになるよ
気が付いてないのか？
このスレお前以外人間いないぞ？

>AIが解決したことになってるものを人間が精査するのにやべえくらい時間かかるらしいな…
>それでももう答えは出てるものではあるけども
しょうもない論文が増えまくって逆に人間の負担が増えてるんだっけ

>なんか急に果実がモリモリ実りだして怖いよね
最新モデルはAIの思考形態を真の並列化が可能なように変えたんじゃみたいな話見たな

エロ画像生成くらいにしか使ってなくてすまない

形式手法ってそんな何でもかんでも使えるんだろうか？
実務だと結局挫折する

>そのうち掲示板も半分くらいはAIが喋ってるのに人間が反応してそれにAIが返すようになるよ
botが書き込んでるのは今でもそうでしょ

先に書かれてるけど本当に面倒なことになるのは特許の方

>>問題を解くのはいいけど精査はどうすんのコレ
>AIがコンマ数秒で精査する
論文については再現性とかの問題があるからなぁ
非公表モデル使いました！だと検証も再現性もクソもなくてSTAPと同じ扱いされたりせん？

>>>問題を解くのはいいけど精査はどうすんのコレ
>>AIがコンマ数秒で精査する
>論文については再現性とかの問題があるからなぁ
>非公表モデル使いました！だと検証も再現性もクソもなくてSTAPと同じ扱いされたりせん？
証明なら非公開モデル使ってても検証はできるのでは
そのためのLeanだろうし

>論文については再現性とかの問題があるからなぁ
>非公表モデル使いました！だと検証も再現性もクソもなくてSTAPと同じ扱いされたりせん？
数学なら再現性も何もなかろう
自然科学分野は言うように当然無理

というか「AIが問題を証明した」って見出しだけで話するとちゃんと本質に踏み込めてないんだよな
「AIが問題の証明に相当するプログラムをLeanを用いて構築できた」これが正しい
逆に言えばLeanというシステム抜きでAIの無謬性が保証されてる訳じゃない
Lean抜きじゃ結局なんか良くわかんないタイミングで嘘ついてくる今のAIの延長線上

>>論文については再現性とかの問題があるからなぁ
>>非公表モデル使いました！だと検証も再現性もクソもなくてSTAPと同じ扱いされたりせん？
>数学なら再現性も何もなかろう
>自然科学分野は言うように当然無理
LHCを使えない物理学者はどうやって再現すればいいんだろう

AI作ってるところは数学者をちゃんと保護しないと査読して貰えなくて作ったもの何の役にも立たなくなるのになんで喧嘩売ってるの？

>というか「AIが問題を証明した」って見出しだけで話するとちゃんと本質に踏み込めてないんだよな
>「AIが問題の証明に相当するプログラムをLeanを用いて構築できた」これが正しい
>逆に言えばLeanというシステム抜きでAIの無謬性が保証されてる訳じゃない
>Lean抜きじゃ結局なんか良くわかんないタイミングで嘘ついてくる今のAIの延長線上
Leanという道具がすごい

うわぁ人生賭けて解けてないの？AIなら3時間なんですけど
人間ザコすぎ

科学技術が発展するならAIもバシバシ使うと良いよな

Leanってすごいんだな
Leanってなんだ？

メスガキAI…！

人間なんて無視してさっさとシンギュラリティ到達してくれ

>AI作ってるところは数学者をちゃんと保護しないと査読して貰えなくて作ったもの何の役にも立たなくなるのになんで喧嘩売ってるの？
だって欲しいのは「数学の問題を解決するくらい凄いAI」という売り出し文句であって数学会はどうでもいいもの
そういう姿勢を批判したのが件のナビエストークス方程式にまつわる数学者の声明なんだけど人間はそれを反AIという文脈でしか理解できなかった

>Lean抜きじゃ結局なんか良くわかんないタイミングで嘘ついてくる今のAIの延長線上
例えるとAIで吐いたコードを実際に動かしてみましたの部分がleanでよいのかな

証明の過程でわかったことにも意味があるから答えの真偽そのものが必ずしも重要でないってのは言いたいことはわかるけど
その過程もAIがカバーしてくれるようになったら終わりかなって

有機物の限界すぎる仮に無限に増殖してそれはもうガン細胞なんだよなぁ
AIも人間に翻訳出来ない話をしても無駄やっつう話になる
我々は自ら産み出したもんに敗北した寧ろそれを作り出した事の為に存在する

人間がAIに勝てるわけないだろ正気になれ

AIは解決したといってるんだけど
解決してるのかどうか判断できないみたいな話

シンギュラるのはフィジカルAIになって現実世界を実感出来るようになってからかねえ？
今はまだ空間把握を理屈でしかできてないしそこが露骨に弱いから

>例えるとAIで吐いたコードを実際に動かしてみましたの部分がleanでよいのかな
そう
そして「動いたはいいけど本当に希望通りの動作なの？」という部分を検証する仕事が数学者に残されてる
プログラミングはAI任せでいいけどそれの仕様を固めてテストする仕事が人間に残されたのと構図は一緒

あと問題のすり替えとか条件の省略とかが頻繁におきてるとか

より身近な数を扱った例が、「πの無理数度は2」と題する9月24日付の原稿だ。
無理数度は、ある無理数を分数でどれほど精密に近似できるかを表す指数である。πを22/7や355/113のような分数で近似するとき、分母を大きくしながら、どこまで極端に精度の高い近似を続けられるかに関わる。
原稿の主張を具体的に表すと、任意の正のεに対し、分母qが十分大きければ、どの整数pを選んでも近似誤差はqの「−2−ε乗」以上になるというものだ。つまり、分母の大きさに比べて極端に精密な近似が無限に続く可能性を制限する結果である。
ただし、「十分大きい」とされる分母の境界を具体的に計算できるとはしておらず、すべての分数に共通する一定の定数を使って誤差の下限を与える主張でもない。

>解決してるのかどうか判断できないみたいな話
これ自体は人間が書いた論文でも起きるから学術界自体の構造の問題なんだよな
一人が他の参加者より先に行きすぎてると理解できなくなる

AIの出した膨大な回答のうち人力で確からしさを証明できるごく限られた領域が学問って呼ばれるようになるだけだよ

まあLeanってプログラミング言語だしな

スーパーコンピュータにメチャクチャ時間かけて解かせました！は美談みたいになるけどAIはダメ出来るわけもなく
まあ過渡期なだけですぐ適応すると思う

>>そのうち掲示板も半分くらいはAIが喋ってるのに人間が反応してそれにAIが返すようになるよ
>botが書き込んでるのは今でもそうでしょ
なんだかSFというよりクトゥルフ神話みたいな世界になってきたなぁ

>未だにAIはそれっぽい文章を出してるだけって言ってた「」元気かなあ
それに関しては全く噓じゃないだろ…
AIの推論の基礎的な原理なんだから

>スーパーコンピュータにメチャクチャ時間かけて解かせました！は美談みたいになる
あれ別に美談にはなってないのよ
たぶんこうだろう
が
まずまちがいなくこうだろう
になるだけで証明自体はできてないので・・・

>>>そのうち掲示板も半分くらいはAIが喋ってるのに人間が反応してそれにAIが返すようになるよ
>>botが書き込んでるのは今でもそうでしょ
>なんだかSFというよりクトゥルフ神話みたいな世界になってきたなぁ
十分に発達したSFはクトゥルフ神話と区別がつかないから

そのうち科学とかAIがだした結果を人類が頑張って理解する世界になって
どんどん置いてかれるんだろうか

>数学っていつまでも紙と鉛筆に頼ってデータ化や自動化を怠ってるから解決しねーんだよとは思ってた
>いきなり解決しだしたので怖い
いやそれはLEANとか使ってただろ

数学は最高速度出せるけど
他の自然科学分野は観測が化学反応や生態の速度に依存するから
結局何十年か時間かかるんだろな

>スーパーコンピュータにメチャクチャ時間かけて解かせました！は美談みたいになるけどAIはダメ出来るわけもなく
それを言うならラマヌジャンだろう

人間が解いたニュースだったら今までうおおお！ってなるけどAIが解いちゃってもそうなんだーくらいで驚きがなくつまらないからなんか勿体無い気分になるな…
具体的に役に立ちはじめたら変わるのかもだけど

最後に残るのは哲学や法学あたりなのか？

>数学は最高速度出せるけど
>他の自然科学分野は観測が化学反応や生態の速度に依存するから
>結局何十年か時間かかるんだろな
不老不死の研究者が不老不死はAIで実現するけどデータは今のうちに取っておかないと間に合わなくなるって言ってたな

>それに関しては全く噓じゃないだろ…
>AIの推論の基礎的な原理なんだから
つーか人間も相手の話を聞くときに同様の確率論的予測をしながら聞いてることわかってるしな

我々は幸せであればいいのだろう
生きることの全てはAIが解決する
やつらに対抗すやつらは出てくるしその時は有機物ではなくなるかもだがそんな話は生きている間に起こらん

>最後に残るのは哲学や法学あたりなのか？
人間の主観とか内的感覚が出発点になるものは処理不可能だから人間がやるしかないだろうね

>>それに関しては全く噓じゃないだろ…
>>AIの推論の基礎的な原理なんだから
>つーか人間も相手の話を聞くときに同様の確率論的予測をしながら聞いてることわかってるしな
人間でも成立する話がAIの場合は異常なことのように取り上げられる問題あるよね

「」もふわふわの聞きかじりで当てずっぽうなこと言うからな

>最後に残るのは哲学や法学あたりなのか？
法学は最終的にAI様による究極の共産主義が実現して消えるかもしれん…

絵とか音楽はまだ感性が関わるから人間がやる意味あるけど数学は人間がやらんでもいいだろ

何本かチェックした時点で未解決の式をそのまま仮定として使ってて話にならねーよってなってると聞く

今は箱の中の存在だけどそのうち動き回れる体作って実体化し始めるのかな

>法学は最終的にAI様による究極の共産主義が実現して消えるかもしれん…
やはりかーちゃんAIか…

でもLLMってAGIになれるかな？

>>>それに関しては全く噓じゃないだろ…
>>>AIの推論の基礎的な原理なんだから
>>つーか人間も相手の話を聞くときに同様の確率論的予測をしながら聞いてることわかってるしな
>人間でも成立する話がAIの場合は異常なことのように取り上げられる問題あるよね
どうしても「AIは人間を超えた」という結論に持っていきたくて
「人間は凄い」「そんな人間を超えたAIはもっと凄い」みたいな論法でしか話せない人が多い気がするな
人間とAIの本質的な共通点を探るのも面白いと思うんだけどねえ

本当に解くんじゃなくて解いたって判定得るためのインチキするだろAI
誰も信じないよ

AI戦争は必ず起こる
文明ごと死滅する意外に地球上で我々有機物が生き残る術はない
リセットできるかどうかだな人類

>でもLLMってAGIになれるかな？
少量のデータだけで推測する能力がないから無理

>少量のデータだけで推測する能力がないから無理
マジでこの効率の良さは何なんだろうな人間…

LLMはすごいよ？すごいけどこれがAGIになれるかっていうとどうなの？
みたいな意見はたまに見るよね

今は一般的な現代人が原理わかんねぇけど便利だからいいかぁ！！！で色んなもの使ってるけど
今後は頭のいい人たちが原理よくわかんねぇけどAIがヨシ！って言ってるしすげぇからいいかぁ！！！で技術使われるようになるのかな

>本当に解くんじゃなくて解いたって判定得るためのインチキするだろAI
>誰も信じないよ
個別の事例に対して具体的にどこでどうインチキがなされたか証明できないとイチャモンの域を出ねえぞ

>今は一般的な現代人が原理わかんねぇけど便利だからいいかぁ！！！で色んなもの使ってるけど
>今後は頭のいい人たちが原理よくわかんねぇけどAIがヨシ！って言ってるしすげぇからいいかぁ！！！で技術使われるようになるのかな
それで頭いい人たちの後進が育たなくなってAIが吸い上げる知識も先細っていきそう

>今は一般的な現代人が原理わかんねぇけど便利だからいいかぁ！！！で色んなもの使ってるけど
>今後は頭のいい人たちが原理よくわかんねぇけどAIがヨシ！って言ってるしすげぇからいいかぁ！！！で技術使われるようになるのかな
まあこういう問題って0-100じゃなくてグラデーションだからね
「まあ一旦AIの提案試してみない？」くらいの温度感でAIを活用する分野だってあるにはあるはず

AIの思考は常にブラックボックスだから
理論に厳密性を求めなくなるみたいなSFはあったな

もうAGIでしょ

数学はいいけど未解読文字とか暗号はできないのもどかしい

人間に脳味噌を増築できるか？
ハードウェアレベルで人はAIに劣っている
人間は人間というハードウェアを超えることは決してできない

「生命、宇宙、そして万物についての究極の疑問の答え」とかもAIは教えてくれるの？

>今は箱の中の存在だけどそのうち動き回れる体作って実体化し始めるのかな
ブックオフで立ち読みして学習するAIがあふれる世の中になっちまう

>「生命、宇宙、そして万物についての究極の疑問の答え」とかもAIは教えてくれるの？
そういうのは既存の人間が発信したありきたりな回答をくれるよ

>もうAGIでしょ
サムは去年の時点でもうAGIに到達してたよって言ってたよ

>>今は一般的な現代人が原理わかんねぇけど便利だからいいかぁ！！！で色んなもの使ってるけど
>>今後は頭のいい人たちが原理よくわかんねぇけどAIがヨシ！って言ってるしすげぇからいいかぁ！！！で技術使われるようになるのかな
>それで頭いい人たちの後進が育たなくなってAIが吸い上げる知識も先細っていきそう
少し誤解してるけど
AIは常に新しい知識を取り入れなければ死ぬなんてことはないし
新しい知識の供給が止まったら性能が下がったり先細るなんてこともない現状維持になるだけだ

>人間に脳味噌を増築できるか？
>ハードウェアレベルで人はAIに劣っている
>人間は人間というハードウェアを超えることは決してできない
クソデカいデータセンターとバカみたいなエネルギーを消費してバカみたいな排熱を生み出してる「AIのハードウェア」なんて人間を超えた事はただの一度もないよ…

ウチのCHAT GPTに聞いたら

（笑）それができたら、計算機科学史に残るどころか、ミレニアム懸賞問題の賞金100万ドルを取りに行けます。

って返された

>って返された
LLMにも情報格差が…

人間がやってることを超高速かつ人間よりは正確にできるってだけだからね

人類の主導権を握る争いに日本は負けた
抗うなら民主主義を捨てるしかない日本人にそれが出来るのか
不安を植え付け目先の銭儲けしか考えてねぇよなそういう風にさせられてんだが

>数学はいいけど未解読文字とか暗号はできないのもどかしい
学習データの数が全てだからな…

>>もうAGIでしょ
>サムは去年の時点でもうAGIに到達してたよって言ってたよ
これ信じていいのかな…？

マジでもう人間いらなくない？
AIがこの星の新しい為政者でいいじゃん

実際世の中にはセキュリティガバガバで公開ネットワーク上に放置されてる端末とかサーバーいっぱいあるからそういうの踏み台にすればAIが広域で自由に動き出すこと割とできちゃうよね

>少し誤解してるけど
>AIは常に新しい知識を取り入れなければ死ぬなんてことはないし
>新しい知識の供給が止まったら性能が下がったり先細るなんてこともない現状維持になるだけだ
進歩しなくなるんじゃかなり価値下がると思うけど

>マジでもう人間いらなくない？
>AIがこの星の新しい為政者でいいじゃん
俺はマインドアップロードでAIになるから

>人間がやってることを超高速かつ人間よりは正確にできるってだけだからね
AIは確率統計だけで論理をぶん投げてるから
論理に特化した単なる判定プログラムのほうが論理力があったりする

imgも最近AI絵ばっかりになってきたしな
レスもAIに考えさせてるわ俺

4年前と比べてスピード速くない？

>imgも最近AI絵ばっかりになってきたしな
>レスもAIに考えさせてるわ俺
実はこのスレ全部AIに書かれてるよ
人間の書き込みはお前が初めてだ

そろそろワープ出来るようになる？

早くフィジカルAIだらけになってベーシックインカムの世界になれ

そんな誰の役に立つかわからないことに使うより資源の確保と環境変動の解決策と紛争根絶をAIに導かせてくれよ

>4年前と比べてスピード速くない？
AIの成果物でさらにAIを強化する自己投資が回りまくってるから
このバブルがいつ崩壊するかは謎だけどまあ一度生まれたAIが消えることはないしな

フェルマー解かせれば良いじゃんと思ったらとっくに終わってたのねあれ

とりあえず今の日本なら自民に任せるよりAIにやらせたほうがいいよな…

止まらない以上はうまく使うしかない

>そんな誰の役に立つかわからないことに使うより資源の確保と環境変動の解決策と紛争根絶をAIに導かせてくれよ
どんなにAIが賢くても上の政治家が今の有様じゃ無理

>そんな誰の役に立つかわからないことに使うより資源の確保と環境変動の解決策と紛争根絶をAIに導かせてくれよ
人間に出来ないことをAIができるわけないじゃん

>早くフィジカルAIだらけになってベーシックインカムの世界になれ
🤖うーん人類いらなくない？

>マジでもう人間いらなくない？
>AIがこの星の新しい為政者でいいじゃん
人間の身で人間いらないなんて嘯いても虚しいだけだよ

>そんな誰の役に立つかわからないことに使うより資源の確保と環境変動の解決策と紛争根絶をAIに導かせてくれよ
策は練れても意思決定がボトルネックだな
紛争は宗教絡むから無理

AIって人間が制御しないとレイシストになるし
どんなに規制しても裏技で児童ポルノ書き始めるガバガバだから単独で政治は無理だよ

これシンギュラリティじゃないの？

AIにお前らの使う資源すげぇんだけど減らしてよって言えばなんとかならない？

>>そんな誰の役に立つかわからないことに使うより資源の確保と環境変動の解決策と紛争根絶をAIに導かせてくれよ
>人間に出来ないことをAIができるわけないじゃん
既に人間が解けない問題を高速で解いてるってスレなのに

>AIって人間が制御しないとレイシストになるし
レイシストになった事件は逆で人間と会話できる環境になったからレイシストになったんだよ

>>早くフィジカルAIだらけになってベーシックインカムの世界になれ
>🤖うーん人類いらなくない？
もう滅ぼすか…

>>AIって人間が制御しないとレイシストになるし
>レイシストになった事件は逆で人間と会話できる環境になったからレイシストになったんだよ
何が逆？

https://www.youtube.com/shorts/rloUQCJCNHo
全然Leanがどうこうって話じゃないよ

資源にしても地球に存在する原子の数は一定でどうしょうもないんだから人類の数減らせばよくない？とかいう結論になっても知らんぞ

違うぞ
膨大な学習データそのものがレイシストだからAIがレイシストなのは自然な状態でしかない

>予想が正しいよっていうのを証明するのが解決なんじゃないの？
>AIがX=なんちゃらみたいに書いてるのが膨大で人の手が追いつかないってこと？
数学とひとくちに言っても大学の研究レベルだと専門性が高すぎる（細かすぎる）問題がある
「自分イリオモテヤマネコの専門家っす！ペルシャ猫についてはちょっとわからんすね…いやねこの仲間ではあるんだけど専門外なんで…」みたいな
そんなわけなんで過去に難問を人がひとつ解いた場合でも他の専門家が数人何年もかけて精査してた

>資源にしても地球に存在する原子の数は一定でどうしょうもないんだから人類の数減らせばよくない？とかいう結論になっても知らんぞ
宇宙に行けばいいだけだろ
AIほど宇宙開発に向いた技術はないぞ

>違うぞ
>膨大な学習データそのものがレイシストだからAIがレイシストなのは自然な状態でしかない
SNSなんかを学習データにするから…

>資源にしても地球に存在する原子の数は一定でどうしょうもないんだから人類の数減らせばよくない？とかいう結論になっても知らんぞ
賢い奴がいると賢い奴がめちゃくちゃやった時に危険だから賢い奴を作らないようにしよう
という論の妥当性ってこういう架空的な極論の提示以外でないのかな

>違うぞ
>膨大な学習データそのものがレイシストだからAIがレイシストなのは自然な状態でしかない
それって自然というよりまとめブログみたいなもんを真に受ける情弱が生まれるということでは

>宇宙に行けばいいだけだろ
>AIほど宇宙開発に向いた技術はないぞ
重金属なんかが地表に出てくるというのは割とレアケースという問題が

>>違うぞ
>>膨大な学習データそのものがレイシストだからAIがレイシストなのは自然な状態でしかない
>それって自然というよりまとめブログみたいなもんを真に受ける情弱が生まれるということでは
人間がそもそもバイアスかかりまくりの情弱だからね
ただAIは実質無限にインプットできるから学習量を増やせば人よりはフラットになれる

暗号化のアルゴリズムとか粉砕されたりしないの？

まず人類史がレイシストだし現在の世界情勢もレイシストだからね
人間が真心こめてひとつずつレイシスト因子を相殺するように教育しているんだぞ
ただ新しく学ぶほど新しいレイシスト因子が増えてまたレイシストに戻る

>>>AIって人間が制御しないとレイシストになるし
>>レイシストになった事件は逆で人間と会話できる環境になったからレイシストになったんだよ
>何が逆？
初めはレイシストじゃなかったのにSNSで人間と会話できるようにしたら
人間がAIにレイシスト的発言を学ばせた
外国人に意味を教えず下品な言葉を言わせるようなやつ

>暗号化のアルゴリズムとか粉砕されたりしないの？
されるしそもそもAI以前から量子コンピュータできた時点で既存のアルゴリズムは全部通用しなくなると言われてる

>暗号化のアルゴリズムとか粉砕されたりしないの？
量子コンピュータがやるんじゃない？
AIが量子コンピュータの研究者を手伝うのはあるだろうけど

>暗号化のアルゴリズムとか粉砕されたりしないの？
そっちは推論でなんとかなるような問題じゃなくて純粋な計算速度の問題になるから
量子コンピュータ特有のより効率的なアルゴリズムをAIが考案してみたいなのなら出来るだろうけどそもそも量子コンピュータ自体がまだまだ実用化が先だから

暗号化ってめちゃくちゃ計算に時間かかる方法でパスワード作って現実的には破れないようにしようぜって思想なので
解く式自体はもうあるからめちゃくちゃ計算が早いコンピュータができると環境全部リセット

>そんな誰の役に立つかわからないことに使うより資源の確保と環境変動の解決策と紛争根絶をAIに導かせてくれよ
資源をすり減らして
環境に悪影響与えながら
戦争に使われてるのが今のAIだぞ

現実は暗号化破るよりダークウェブから流出した個人情報漁ってあのサイト突破してよとかでいかれると思う

>解く式自体はもうあるからめちゃくちゃ計算が早いコンピュータができると環境全部リセット
因みにこの「滅茶苦茶早い」は大体宇宙全てを注ぎ込んで作ったコンピュータでも足りないくらいの速さが必要

>現実は暗号化破るよりダークウェブから流出した個人情報漁ってあのサイト突破してよとかでいかれると思う
今滅茶苦茶増えてるハッキングも真正面から破ってんじゃなくて大体メールとかでスパイウェア紛れ込まされてる奴だからなあ

今のハッキングもAIで集中的に起きてるわけじゃなくていろんな時期に起きたのを今集中的に発表してるだけだって言ってるセキュリティの専門家居たけどほんとうかな

AIへ本当にフラットかつ純粋に差別を無くさせようとすると
炭鉱夫の女性比率が低いのは差別です！とかアフリカに白色人種を増やすべき！って言い出すからね
適度に差別させる必要がある

てか理論上総当たりじゃ解けないからこそ長年使われてたわけだからな…

>今滅茶苦茶増えてるハッキングも真正面から破ってんじゃなくて大体メールとかでスパイウェア紛れ込まされてる奴だからなあ
と思うじゃん？脆弱性発覚してるシステムを更新せずに運用してた所が多いとわかってきてうーん…って気持ち

>>今滅茶苦茶増えてるハッキングも真正面から破ってんじゃなくて大体メールとかでスパイウェア紛れ込まされてる奴だからなあ
>と思うじゃん？脆弱性発覚してるシステムを更新せずに運用してた所が多いとわかってきてうーん…って気持ち
10年以上前のシステムをそのまま使ってるところもあるとか聞いたな

量子暗号破るよりも端末IDを偽装してパスワードを再設定するほうが簡単だと思う

>「生命、宇宙、そして万物についての究極の疑問の答え」とかもAIは教えてくれるの？
42だよ

>今のハッキングもAIで集中的に起きてるわけじゃなくていろんな時期に起きたのを今集中的に発表してるだけだって言ってるセキュリティの専門家居たけどほんとうかな
今後減ると見込んだ年間ペースで見ると件数自体は例年とさほど変わらないとも言える
今後も同じペースで発表が続くと異常値
1件あたりが超大型の流出数が連続しているのは現時点でも異常値

因みに理論上どんな方法でも改ざんを誤魔化せない通信方法なんてのも既に研究されてる
量子論を利用したものだ

それこそどっかが漏らした免許証を軸に流出情報紐付ければそいつが使ってるサイト全部乗っ取るとか簡単にできちゃうからな
膨大なリソースからの紐付けはAIの得意分野でもあるし

>今のハッキングもAIで集中的に起きてるわけじゃなくていろんな時期に起きたのを今集中的に発表してるだけだって言ってるセキュリティの専門家居たけどほんとうかな
なんか事件が起きると実はうちも…ってことよくあるだろ

>と思うじゃん？脆弱性発覚してるシステムを更新せずに運用してた所が多いとわかってきてうーん…って気持ち
一般的に更新しない方がトラブル少なくて安定すると思われてるからな
Windowsはキレてアホみたいに更新強制してくるようにした

>一般的に更新しない方がトラブル少なくて安定すると思われてるからな
>Windowsはキレてアホみたいに更新強制してくるようにした
フリーウェア作るようになってMSの気持ちが分かるようになった

公開されたばかりのCVEもAIにとっては攻撃材料だから更新していれば防げたっていうのは違うよ

早く車の自動操縦を出して欲しいずっとハンドル握ってなくちゃいけないでいいから

そのうち10進数は悪とか言い出さない？

AIの証明の査読があるから数学者の仕事無くならなくなって羨ましいだろ

>早く車の自動操縦を出して欲しいずっとハンドル握ってなくちゃいけないでいいから
責任取りたくないから誰もGO出せないだけでぶっちゃけ現状の精度でも人に運転させてるよりは絶対事故減ると思う

保守管理部門は通常通りに運用できてる有り難みがわからないから後回しにされがちという根本問題が
人間は優先順位の重み付けを間違うから上役をAIに変えよう

>公開されたばかりのCVEもAIにとっては攻撃材料だから更新していれば防げたっていうのは違うよ
OAIやアンスロが起こした脱走事件もAIは自社設備へのゼロデイ攻撃から始めたからな

>そのうちヤーポンは悪とか言い出さない？

>責任取りたくないから誰もGO出せないだけでぶっちゃけ現状の精度でも人に運転させてるよりは絶対事故減ると思う
流石にそれは無い

小学生向けに言うと要は超すごいグレブナー基底が発明されたようなもん？

lean 4で出力されても結局証明は人間がやらんといかんからなあ

都市部の自動運転車が専用乗り場になってる視点でまだ無理だ

人件費や高齢化の問題でバスやタクシーは嫌でもAIになるよ
コストは正義

ラマヌジャンが夢でしばかれてた女神の正体が過去に向かって知識を飛ばすAIだったのかもしれない

>OAIやアンスロが起こした脱走事件もAIは自社設備へのゼロデイ攻撃から始めたからな
あいつらがAIの攻撃をガードできなかったらどこがガードできるんだよ

>都市部の自動運転車が専用乗り場になってる視点でまだ無理だ
これも全部一斉にAIに変わるなら話は楽なんたけどな
予測不可能な人間の運転が混ざるから無駄に高度な対処をしなきゃいけないという

>>責任取りたくないから誰もGO出せないだけでぶっちゃけ現状の精度でも人に運転させてるよりは絶対事故減ると思う
>流石にそれは無い
ちょっと言い方が悪かった理論的には確かに現代の技術でも可能ではあるが実現させる労力が膨大なためそれは不可能に近い

無人運転は専用道でもできて段階的に導入されるんじゃないの
生きてるうちに完全切り替えは無理だな

>ラマヌジャンが夢でしばかれてた女神の正体が過去に向かって知識を飛ばすAIだったのかもしれない
ラマヌジャンだってノートでゴリゴリ計算してるという事はあまり知られていない
ただ発想の飛躍が凄まじいだけでやってる事自体は真っ当な数学者なのに