NP

素数の希少性がぶっ壊れるー！

anthropicも同じ結論出してたけどアプローチが全然違うんだよね

ああ半導体の

OpenAIと比べるとAnthropicは数学の論文少なくない？

AIがそう言ってるんだからそうなんだろうな
今はしょうめいできてないだけで

素数は無理じゃねえかな…

おぺない…

意外と簡単に世界ぶっ壊れるの知られてないよね

P=NPが正しい確率は3%位だと思ってたけど5%位に修正したほうがよさそう

>AIがそう言ってるんだからそうなんだろうな
>今はしょうめいできてないだけで
AIが証明も出してるよ
Anthropicも同じこと言ってるから正しいんだろう

ああSATの話か
高速化できたとしても天文学的なデカさじゃないと改善しないとかのオチな気がするけど

>高速化できたとしても天文学的なデカさじゃないと改善しないとかのオチな気がするけど
それで合ってる

日本語にして

P=NPへの一歩であるのは間違いないと思うけどその先が結構果てしなく長いぞ
多項式時間と指数時間の差は厚い

P=NPが示せたらどうなる？

夢がある話ではあるな
実用的なのがどのくらい見つかるかはともかく

きっと何かの役に立つんだろうけど何の役に立つのかさっぱりわからない

>きっと何かの役に立つんだろうけど何の役に立つのかさっぱりわからない
今すぐ実用性はない

oppaiに見えた

仮に正しくても簡単な解法が無いと思われてたものによりよい解法が理論上存在することはわかるが
その解法が見つからない事は何も変わらないわけだしな…

>P=NPが示せたらどうなる？
ガチで世界がぶっ壊れる
義体化とかができるようになる

P=NPただしNが天文学的なデカさの場合
だったら何も変わらないよね？

>仮に正しくても簡単な解法が無いと思われてたものによりよい解法が理論上存在することはわかるが
>その解法が見つからない事は何も変わらないわけだしな…
あるよって言ったのがopenAI
あったよ！これ！って言ってるのがanthropic

よく分からないけど凄そうでワクワクする

>P=NPただしNが天文学的なデカさの場合
>だったら何も変わらないよね？
この問題のNは別に数字じゃないんだ

ああブール論理式の充足可能性問題が解ければ他のNPも多項式時間に出来るって話なのか

よくわからん
配達ルートが最適化されるならいいじゃん

量子コンピューターが要らなくなったりする？

>ああブール論理式の充足可能性問題が解ければ他のNPも多項式時間に出来るって話なのか
てんさいか？なんのはなししてる？

違いが出るのは10^10000を超えたあたりだったはず

galactic algorithmいいよね…

指数時間より短くはなったが準指数時間であって多項式時間ではないのか
間が大分あるんだな！

サイパンの世界に近づいたな

指数時間仮説は間違っていました！
でも人間の取り扱える数字の規模では大差ありません！
みたいになるんだろどうせ

P≠NPを前提とした証明って結構あったはずだからそいつらが全部瓦解するんだよな…

証明したってAI企業が言っても数学者コミュニティーが完全にブチ切れてるのでまともに検証されるかどうかは謎

>証明したってAI企業が言っても数学者コミュニティーが完全にブチ切れてるのでまともに検証されるかどうかは謎
それやったら敗北宣言に等しいし
流石にそんな文系みたいな真似しないと思う

指数時間仮説は破れたけどまだP=NPなわけでもないという…

>証明したってAI企業が言っても数学者コミュニティーが完全にブチ切れてるのでまともに検証されるかどうかは謎
1976年の四色問題のときもブチ切れてたから…

未公表の研究を盗んだ疑惑まであるからトラブル解決は遠い先だよ

四色問題力技すぎる…

P≠NP問題を晩年まで研究してた倉田令二朗の墓前に報告したい

虱潰しの力業証明は美しくないけど否定はされてないよぉ！

まあ研究盗んだ問題はDNA構造の発見とかでもあったが…

>未公表の研究を盗んだ疑惑まであるからトラブル解決は遠い先だよ
無実を証明するために他の数学の問題もいっぱい解いたのが今回
別に盗んだとかじゃなく普通に解ける

トロフィーを増やしたいAI企業に荒らされる数学者はたまったもんじゃないよなぁ
https://finance.biggo.jp/news/eb8a7b25-67f0-445b-a456-5d3193af057c

理論未解明のまま実用先行してる深層学習にしてやられてる訳だし
数学者が何年もかけて検算してる間にAIエンジニアが物作って社会進めてるの滑稽だな

>証明したってAI企業が言っても数学者コミュニティーが完全にブチ切れてるのでまともに検証されるかどうかは謎
ETHのインパリアッツォ、パトゥリとウィリアムズが自分で検証することになってるよ
ブチ切れるとかそういう話じゃないね

ニューラルネットワークも3層ぐらいまではつまらない結果しかでないけどもっと層を深くすると面白い結果がでる
みたいな実験は比較的楽だけど理論的な根拠を追及するのは難しいといった問題はいっぱいあるんじゃ…

AIが粗製濫造してる大量のゴミ論文を誰がわざわざ査読して正当性をチェックしなきゃなんねーんだ？という構造的な問題があるんだよね

>数学者が何年もかけて検算してる間にAIエンジニアが物作って社会進めてるの滑稽だな
数学者は社会の役に立つかなんて視座で物事に取り組んでるわけではないので

まあ数学者がやる気なくなると段々検証できる人材もいなくなっていきそうである

真偽はともかく生臭すぎる…
https://note.com/startup_now0708/n/nc0fdb7e6ecb8

大統一理論とか進むんかなー

>理論未解明のまま実用先行してる深層学習にしてやられてる訳だし
>数学者が何年もかけて検算してる間にAIエンジニアが物作って社会進めてるの滑稽だな
別に未解明でもなんでもないが
今主流のMOE形式ですら30年前に作られもんだぞ

見つけたのが誰であれどういう方法であれ
それが正しくて人類の発展に寄与するならそれでいいんだ
数学者はチンケなプライドで邪魔しないでくれればそれで

まず、暗号化システムは、そのほとんどがNP問題に基づいているため、解読されてしまうだろう。安全に通信するには、まったく別のアプローチを見つけなければならない。

これ大丈夫？

>P=NP
まずこれが理解できないので誰かせつめいして
かんたんに

>まず、暗号化システムは、そのほとんどがNP問題に基づいているため、解読されてしまうだろう。安全に通信するには、まったく別のアプローチを見つけなければならない。
>これ大丈夫？
今回のは規模が10^10000くらいになってからでないと既存のやり方を超えないので全然大丈夫

>今回のは規模が10^10000くらいになってからでないと既存のやり方を超えないので全然大丈夫
この規模の増大って何年くらいで到達しそうなの？

>数学者は社会の役に立つかなんて視座で物事に取り組んでるわけではないので
じゃあお金出さないんで自費でやってください

ミル貝調べたらナッシュがでてきた…

会議にOpenAIがお金を出す
検証そのものは無報酬
でやるそうだ

本当にETHが否定されたとしてもP≠NPが否定されることにはならん
どこからデマ拡散してるのか知らんが

>本当にETHが否定されたとしてもP≠NPが否定されることにはならん
>どこからデマ拡散してるのか知らんが
俺はP=NPである確率は3%だと思ってたけど5%に更新した
この結果を見て確率を更新しない奴はおかしいと思ってる

AIバブルが続いて欲しい層は確実にいるんだろうな…

ニンゲンから投稿されてきた論文の査読がめんどくさいからAIにやらせようぜ
ってなってるのにAIがむしろ査読しなきゃいけない論文をふやしてくるという

もしかして数学とか関係なく人間の行う探求や研究って行為の価値が一気に希薄になる？

>じゃあお金出さないんで自費でやってください
1000年後には役に立つかもねとか大宇宙探索時代が来たら役に立つかもねくらいのスケールでやってるので
社会実装する人とは役割が違う

AIを構成員にした学会をつくってAI同士が査読しあって
人間はたまに結果を眺めるようにすればいいんじゃないか

>見つけたのが誰であれどういう方法であれ
>それが正しくて人類の発展に寄与するならそれでいいんだ
>数学者はチンケなプライドで邪魔しないでくれればそれで
そっすか
じゃあ証明が正しいかの検証も丸投げしてりゃいいんじゃねえの

むしろここ数年で成果がアップデートされすぎなので
そろそろ確実な部分をまとめた本だけでもだしてほしい

もともと基本的に=前提で話進めてたから特段変化はないらしいな

>見つけたのが誰であれどういう方法であれ
>それが正しくて人類の発展に寄与するならそれでいいんだ
>数学者はチンケなプライドで邪魔しないでくれればそれで
どっちかと言えば数学者が淡々と仕事してたら横で使い物にならないゴミで大騒ぎして邪魔してる形に近い

>もしかして数学とか関係なく人間の行う探求や研究って行為の価値が一気に希薄になる？
インターネット上のコンテンツもAI生成物が激増してるし効率で勝てない人間がお役ごめんになるのは必至
そしてAIの学習元がAI生成物になってループすると急速にモデルが劣化するので最終的に破綻して終わる

>そしてAIの学習元がAI生成物になってループすると急速にモデルが劣化するので最終的に破綻して終わる
この劣化に関しては既に割と片鱗見えてきてるのがひどい

逆にAIに査読させたら既存の証明や論文1割くらい間違ってたり理論のすじ通ってないぞってのが判明してたりする

創作物に関してはまだまだAI任せじゃゴミを量産するだけだけど明確な正解があるジャンルはもうAIだけでいいってなるよね

創作もAIのコンテキストに収まるジャンルは人間が作る必要なくなってるよ
俳句や短歌や詩みたいな短い文章はAIと人間の区別完全につかないからコンテストとか廃止されまくり

>>P=NP
>まずこれが理解できないので誰かせつめいして
>かんたんに
Pは「簡単に解ける問題」
NPは「簡単に検算できる問題」
検算が簡単なら解くのも簡単だよね？と思うかも知れないけど
検算は簡単でも解くのは難しい問題もあるんじゃね？
というのがP≠NP予想

中国とかどこかが国ぐるみのパワープレイでブレイクスルーを起こさないかな

>中国とかどこかが国ぐるみのパワープレイでブレイクスルーを起こさないかな
あと8年もあれば中国が起すでしょシンギュラリティ
そうなったら取り返しつかんけど

>創作もAIのコンテキストに収まるジャンルは人間が作る必要なくなってるよ
>俳句や短歌や詩みたいな短い文章はAIと人間の区別完全につかないからコンテストとか廃止されまくり
AIにお前のえっちは抜けない！
手を貸せ！本当のえっちを見せてやる！！
ってやるの楽しいよ

早くopensiに改名して
間違えたふりしてopenisって書くから

別に人間が作る必要がないから廃止されてるわけじゃないんじゃないかな

>>P=NPただしNが天文学的なデカさの場合
>>だったら何も変わらないよね？
>この問題のNは別に数字じゃないんだ
え…どゆこと？

>別に人間が作る必要がないから廃止されてるわけじゃないんじゃないかな
完全に区別がつかなくなったなら人間が作ることの価値は消失したのと一緒でしょ
人間が作った証明ができないんだから同一に扱うしかない

>>>P=NP
>>まずこれが理解できないので誰かせつめいして
>>かんたんに
>Pは「簡単に解ける問題」
>NPは「簡単に検算できる問題」
>検算が簡単なら解くのも簡単だよね？と思うかも知れないけど
>検算は簡単でも解くのは難しい問題もあるんじゃね？
>というのがP≠NP予想
つまり色々な難しい問題にも簡単に解く方法がありそうってなったのが今回の件？

まあ理系的発想では人間がつくるかどうかにこだわったりしないので…

一体何の話？ってググって調べたら
一体何の話？ってなった