そっちの分野でも勝てなさそう

ロマンス小説もAIの方が得意だよ

だがフィールズ賞という栄光からの絶望からしか描けないロマンス小説はちょっと見てみたいぞ

右の問題をとうとう証明したかと思ったら違った

ロマンス小説のがギリ簡単そう

そうかAIが解くかもしれないのか

素人考えだとAIの方が数学分野は得意そうだけど現状どうなん？

そのロマンス小説数式でできてるんでしょ

AIは今あるものを見つけてくるだけじゃないの？
解法の出てないものは無理じゃない？

>素人考えだとAIの方が数学分野は得意そうだけど現状どうなん？
小説書くのに比べたら数学の方が目覚ましい成果出してるよ
まだAIによる出版社が取り合うようなベストセラー小説は出てないけど研究者が目を見張る論文は出てるわけだから

>AIは今あるものを見つけてくるだけじゃないの？
>解法の出てないものは無理じゃない？
スレ画のナビエストークス問題を解決した話はまだ怪しいけど
それ以前に数学の未解決問題をAIで解いた例はそれなりの数ある

On Tuesday, he wrote on social media that "if AI can solve all maths problems, I'll go home and write my yuri novel".
百合かよ!?

>AIは今あるものを見つけてくるだけじゃないの？
>解法の出てないものは無理じゃない？
なのでスレ画をAIが証明したのもcodexの他人の研究データを盗み見たんじゃないかって騒ぎになってる

>>素人考えだとAIの方が数学分野は得意そうだけど現状どうなん？
>小説書くのに比べたら数学の方が目覚ましい成果出してるよ
>まだAIによる出版社が取り合うようなベストセラー小説は出てないけど研究者が目を見張る論文は出てるわけだから
ロマンス小説の日は近い

あなた方が数学から引退してしまったら
誰が新しい数学問題を作るんだよ！

有理かもしれん

AIで解いたって言われてる解き方ってどんな感じなんだろうか
計算でゴリ押しなのか数多の論文を統合したのか全く新しい解き方なのか

調べたらWeChatのアイコンをやが君の佐伯にするぐらいには百合好きで有名だしフィールズ賞受賞時にネット上でめちゃくちゃおすすめ百合作品が寄せられてるじゃねーかなんだこのおっさん

AIはもっと賢くなるだろうけど
全ての数学の問題ではなく99%ぐらい解いて1%ぐらい失敗しそうなのが憎いところ
今も1%ぐらいで信じられないアホな回答してくるし

マジかよすげえ転落人生だな

>AIは今あるものを見つけてくるだけじゃないの？
>解法の出てないものは無理じゃない？
出来るかどうかでいえばもうすでに出来てる
どれくらい進んでくかは分からんけど

未発表の証明問題作れるようになって勝手に解くの繰り返すようになったらAIの方が何百年も先の宇宙の真理に近付いちゃったりするんかねえ

>未発表の証明問題作れるようになって勝手に解くの繰り返すようになったらAIの方が何百年も先の宇宙の真理に近付いちゃったりするんかねえ
人間側が追って証明するのも大変そうだな…

内心半分くらい百合小説書きたいだけなのでは？

>フィールズ賞に受賞した鄧煜（デン・ユー）：百合と数学のあいだで、自分自身になるということ
https://note.com/constance_2014/n/nc9a000678059
>鄧煜は1989年、深圳生まれ。中学時代にはすでに独学で高校数学のカリキュラムを終え、2006年、17歳で国際数学オリンピックに出場し世界6位で金メダルを獲得しました。その後推薦で北京大学数学科学学院に進学、2年後にマサチューセッツ工科大学（MIT）へ編入、2015年にプリンストン大学で博士号を取得しています。絵に描いたような「早熟の天才」の経歴です。
[…]
> 彼が好きだと公言している作品には、以下のようなものがあります。
>- 『やがて君になる』（仲谷鳰）── 知乎で百合漫画・小説を推薦する回答を多数投稿しており、この作品もその一つです
>- 『咲-Saki-』── 知乎のプロフィール欄には「龍門渕龍華と園城寺怜の結婚を願う」という一文があり、作中の百合カップリングへの愛が滲んでいます
>- 東方Project── 受賞紹介動画では、彼のデスクに東方Project関連のグッズが写り込んでいました

数式しか興味ないカレが解けない恋の魅力とかそういうやつだ…！

今後AIが未解決問題の類を一気に解いていくのかも知れんがAIの出した証明を検証するのはやる気出る人と出ない人はっきり分かれる気がする

>> 彼が好きだと公言している作品には、以下のようなものがあります。
>>- 『やがて君になる』（仲谷鳰）── 知乎で百合漫画・小説を推薦する回答を多数投稿しており、この作品もその一つです
>>- 『咲-Saki-』── 知乎のプロフィール欄には「龍門渕龍華と園城寺怜の結婚を願う」という一文があり、作中の百合カップリングへの愛が滲んでいます
>>- 東方Project── 受賞紹介動画では、彼のデスクに東方Project関連のグッズが写り込んでいました
しっかりしょうもない百合オタクで好感が持てる

>『やがて君になる』（仲谷鳰）── 知乎で百合漫画・小説を推薦する回答を多数投稿しており、この作品もその一つです
そっち系かぁ

咲が出てくるのは正直すぎる

優秀な人でもちゃんと性欲や好みはあるって人間味あるね
それにくらべてAIは

古代ローマでは奴隷に労働させて文学と哲学が栄えた
AI時代ではAIに労働させて百合が栄える

補足情報が増えるほど趣味に生きる為の体の良い言い訳に見えてきたぜ

つまり人類がAIに敗北したら百合の花が咲くのか

これ部屋に東方グッズ置いてた数学者の人か

数学者が失業したらおもんねえ世の中になりそうだなぁ…
全体的におもんねえ事多いわAI

むしろロマンス小説ばっかり書かされてないか？いもげのAI利用見てると

AIの査読には人間もぜったいいるから頑張って欲しい

三体みたいなのが出力されるならいいぞ

Aは創作アイデア出しが苦手だからそこはまだ人間は追われないと思う

>>フィールズ賞に受賞した鄧煜（デン・ユー）：百合と数学のあいだで、自分自身になるということ
>https://note.com/constance_2014/n/nc9a000678059
>彼はまた根っからのSFファンでもあり、オーストラリアの作家グレッグ・イーガンの「直交」三部作をもっとも好きな作品に挙げています。「数学者にならなかったら、SF作家になっていたと思う」と語ったこともあり、その理由として、SFと数学には共通点がある、と説明しています。どちらも、現実には存在しない前提をまず設定し、そこから極めて厳密な論理で世界を組み立てていく作業だからだ、というのです。
理論物理学者のマックス・テグマークが『順列都市』を好きな作品だと挙げてたり、イーガン作品がその手の人にちゃんと読まれてるんだな…となんか変な感動がある

>Aは創作アイデア出しが苦手だからそこはまだ人間は追われないと思う
スレ画の人が言ってるのは解く意義がある問題は大企業がAIぶん回しで食い荒らして解く意義が薄い問題ばかり残される様になるってのは言ってるね
アイデア出しが得意な奴がいて良い問題が考えられたとしてもそれらは即解かれてつまらない問題ばかり残る

>- 『咲-Saki-』── 知乎のプロフィール欄には「龍門渕龍華と園城寺怜の結婚を願う」という一文があり、作中の百合カップリングへの愛が滲んでいます
これ清水谷竜華の誤訳だよね？
AI殺すぞ

数学知識を活かしてSF百合書けるならまあまあウケそう AIロマンス小説って定番からズラすの下手だし

>数学者が失業したらおもんねえ世の中になりそうだなぁ…
>全体的におもんねえ事多いわAI
AIによってより多くの人が高度な数学に触れられるから数学者の価値が上がるとも考えられるんだけどね
AIによって解けてしまうからしょーもねーとなる感情が厄介…

トリスタン・バックマスターの問題どうなるんだろ

AIがただの検索機能だろとか言われてたとこからたった3年で次々数学の未解決問題解決したり逆に解決済みとされてた問題を反証したり面白いことなってるからな

コイツか〜数学者の百合厨

解く意義が薄い（と思われてた）問題というとフェルマーの最終予想みたいな感じなのかな
AIが未解決問題解くのってちゃんと証明過程も出力してくれるのかしら

>解く意義が薄い（と思われてた）問題というとフェルマーの最終予想みたいな感じなのかな
>AIが未解決問題解くのってちゃんと証明過程も出力してくれるのかしら
つっても証明過程ロクに残さずに解きまくった天才もいるからなぁ…ラマヌジャンお前のことだよ

>解く意義が薄い（と思われてた）問題というとフェルマーの最終予想みたいな感じなのかな
>AIが未解決問題解くのってちゃんと証明過程も出力してくれるのかしら
いやあれは賞金めちゃくちゃにかかってたから意義はあるでしょ

これに関しては未公表でCodex使って研究進めていた数学者の解法を使った疑惑があって
ユーザーが入力した情報の取り扱いとかに関する倫理的な問題が指摘されてる

ロマンスと言わずエロ小説なら最新AIは入ってこれないから戦える

フィールズ賞受賞した25人がAIによって数学界の土壌が破壊されて新しい芽が出なくなるのは良くないねって提言を出したけどまんま絵描きと同じ事言ってんな

AIに解かれたらしょーもねーも意味わからんな
解けりゃいいじゃん

>AIに解かれたらしょーもねーも意味わからんな
>解けりゃいいじゃん
解く過程で得られる知見も重要なのと
AIパワーはどう足掻いても数学者<<<<<<<開発企業なので数学者が数学を頑張っても実績上げられずに食っていけなくなる

>AIに解かれたらしょーもねーも意味わからんな
>解けりゃいいじゃん
お前は数学者なの？

あとこのまんま行くと数学者を目指す奴がそもそも居なくなるってのもある
AIで解かせりゃいいじゃんとなるから
そうやって人間による数学への理解が足元から壊れていくのは良くないって危惧がさっきフィールズ賞受賞者たちから出たね

>>AIに解かれたらしょーもねーも意味わからんな
>>解けりゃいいじゃん
>お前は数学者なの？
お前は数学者じゃないのにしょーもねって言ったの？

>フィールズ賞受賞した25人がAIによって数学界の土壌が破壊されて新しい芽が出なくなるのは良くないねって提言を出したけどまんま絵描きと同じ事言ってんな
fu7251832.jpg
https://x.com/itnavi2022/status/2098497942655295515
>現在、数学コミュニティが直面している問題は、他の科学分野や創造的職業が直面している問題とよく似ている。
>そしてそれは、人類全体が将来直面する可能性のある問題を示している。
>すなわち、AIによって仕事のやり方が変わっていく中で、そもそもその仕事が何を達成するために存在していたのかを、どうすれば見失わずに済むのか、という問題である。
まあその提言でも認めてるしね

そんな…AIに文句を言うのは愚かなる反AIや絵師だけではないのか…？

そもそも数学者なんてそんな食っていける職業では無かったろ元より

分かったよ…OpenAIもAnthropicもGoogleもMetaも皆せーのでAI開発やめて数学者たちの時代を取り戻そうぜ！

>そんな…AIに文句を言うのは愚かなる反AIや絵師だけではないのか…？
色んなとこで同じ問題起きるよって言われてたけど本当に起きてるの酷い

>そんな…AIに文句を言うのは愚かなる反AIや絵師だけではないのか…？
これを「AIに文句言ってる」と捉える脳みそにはちょっとむつかしい問題かもね

数学者だって電卓使うしPC使うだろ
それがAIになるだけでは？

>そうやって人間による数学への理解が足元から壊れていくのは良くないって危惧がさっきフィールズ賞受賞者たちから出たね
全くもってその通りなんだけど正直どうしようもないよね
研究職としての学者は廃れて教育職としての学者が残ると思う…いや教育すらAIに聞けってなるのかな？

数学でも人間の温かみがみたいな話が出るとはな

反AI的提言ってよりはAIが何でも解いちゃうけどそれとは別に数学という学問の中の道を俺たちちゃんと考えなきゃだよね
みたいな感じの内容に見えるな…いや俺も人の訳見ただけなんだけど

>数学者だって電卓使うしPC使うだろ
>それがAIになるだけでは？
ただしAIの性能はせこせこトークンを使ってやってる在野の人間より無尽蔵に計算資源を使いたい放題の企業の方が圧倒的に上

AIを批判してるんじゃなくて学ぶという事への向き合い方の話じゃねえのこれ

>反AI的提言ってよりはAIが何でも解いちゃうけどそれとは別に数学という学問の中の道を俺たちちゃんと考えなきゃだよね
>みたいな感じの内容に見えるな…いや俺も人の訳見ただけなんだけど
AIは数学界を蝕むって言ってるのを反AIでないとするのは極めて恣意的な見方をしてると思います

自分の願望を他人の発言に投影したらダメだよ

>AIは数学界を蝕むって言ってるのを反AIでないとするのは極めて恣意的な見方をしてると思います
英文読めないならちゃんとAIに翻訳してもらいなさいよ

これを見て数学者様も我々反AIの仲間だ！うおおおおお！！！されても困るだろ
絵描きなんかより遥かに数少ねえのに

AIに勝てないようなら数学やる意味ないってことだよ

なんかずっと人間vsAIだと思ってレスしてる「」居るよね

>AIは数学界を蝕むって言ってるのを反AIでないとするのは極めて恣意的な見方をしてると思います
>AIには、本物の数学研究と数学的理解を強化し、加速させる大きな可能性がある。
>数学という専門分野も、こうした変化にさまざまな形で適応していく必要があるだろう。
とも言ってるから是々非々で付き合わなあかんねくらいじゃない？

>これを見て数学者様も我々反AIの仲間だ！うおおおおお！！！されても困るだろ
>絵描きなんかより遥かに数少ねえのに
そんなレスある？

右のうずしおキングは何？

>なんかずっと人間vsAIだと思ってレスしてる「」居るよね
記事には初めからこれから数学者としてAIと向き合っていくにはって話なのにな

>>AIは数学界を蝕むって言ってるのを反AIでないとするのは極めて恣意的な見方をしてると思います
>>AIには、本物の数学研究と数学的理解を強化し、加速させる大きな可能性がある。
>>数学という専門分野も、こうした変化にさまざまな形で適応していく必要があるだろう。
>とも言ってるから是々非々で付き合わなあかんねくらいじゃない？
翻訳したならそれ以前の文章も読んでると思うけどそれ踏まえて反AIでないとするなら俺から言うことは特にないかな

ロマンス作家に憧れていたが有り余る数学の才能がそれを許さなかった
これでようやく自由になれる
みたいな話かもしれないだろ

>右のうずしおキングは何？
openaiが最初に手を掛けたミレニアム懸賞問題の一つ
流体に関するなんからしい

>とも言ってるから是々非々で付き合わなあかんねくらいじゃない？
上であるﾒのリンク見りゃ分かるけど「企業がベンチマーク代わりに未解決問題を解いてる姿勢」が有害って言ってるだけだからな

>翻訳したならそれ以前の文章も読んでると思うけどそれ踏まえて反AIでないとするなら俺から言うことは特にないかな
勿論そういう話じゃないからもう何も喋らなくていいぞ

>要は手書きの技術が失われるから良くないって言ってた絵描きの数学者バージョンそのもの(提言の中でも同じと自分で指定してる)だから
>絵描きのそういう言論を反AIとしていた人たちからすると反AIと認定しないとダブスタだね
AIは便利だけど手描きサボったらあかんでと絵を盗むな！AI氏ね！がどっちも同じ反AIの括りになる読解力だと困るね…

愚かな絵描きと数学者は違う！としたい子が居るみたいだけどそもそも提言に芸術家たちの状況に近い〜的な文言あるから…

>要は手書きの技術が失われるから良くないって言ってた絵描きの数学者バージョンそのもの(提言の中でも同じと自分で指定してる)だから
小さめの頭で無理せずAIに要約してもらった方がいいと思う…
数学者の方もいまバリバリAI活用してるって知らんだろお前

数学は問題を解いたらハイ終わりってものじゃねぇよって話だよね
特にAIは知識の転用が弱いことが言われててこの内容を理解してるならこれができるはずみたいなものがダメダメなので人間が理解をサボって良いわけではないという

>>要は手書きの技術が失われるから良くないって言ってた絵描きの数学者バージョンそのもの(提言の中でも同じと自分で指定してる)だから
>小さめの頭で無理せずAIに要約してもらった方がいいと思う…
>数学者の方もいまバリバリAI活用してるって知らんだろお前
いや逆にお前が読めよ…
絶対読んでないしなんなら俺のレスもちゃんと読めよ
レスの返答として明らかにおかしい

>レスの返答として明らかにおかしい
そっちがあたかも数学者とAIが対立してるみたいにものを考えてるから
その前提がおかしいってだけ

>>レスの返答として明らかにおかしい
>そっちがあたかも数学者とAIが対立してるみたいにものを考えてるから
>その前提がおかしいってだけ
俺のレスを読んで数学者がAIと対立していると読んだならお前は国語の勉強をし直したほうがいいよ

>数学は問題を解いたらハイ終わりってものじゃねぇよって話だよね
>特にAIは知識の転用が弱いことが言われててこの内容を理解してるならこれができるはずみたいなものがダメダメなので人間が理解をサボって良いわけではないという
つってもそれも今ギリギリ人間とどっこいくらいだから言えることで
アインシュタインの100倍頭よくなっても同じこと言えるとは思えない
将棋チェスの世界なんかは既に諦めてそれ前提の暗記競技になってるじゃん？

>俺のレスを読んで数学者がAIと対立していると読んだならお前は国語の勉強をし直したほうがいいよ
「反AI」ってフレーズはAIと対立するという意味じゃない…？

>数学は問題を解いたらハイ終わりってものじゃねぇよって話だよね
>特にAIは知識の転用が弱いことが言われててこの内容を理解してるならこれができるはずみたいなものがダメダメなので人間が理解をサボって良いわけではないという
AIに置いてかれて教わるようになる立場になったとしても
そこからAIに教わりながらも学ぶことは欠かしちゃだめだね
結局人間も頭動かさないと

>>そんな…AIに文句を言うのは愚かなる反AIや絵師だけではないのか…？
>これを「AIに文句言ってる」と捉える脳みそにはちょっとむつかしい問題かもね
>>俺のレスを読んで数学者がAIと対立していると読んだならお前は国語の勉強をし直したほうがいいよ
>「反AI」ってフレーズはAIと対立するという意味じゃない…？
>要は手書きの技術が失われるから良くないって言ってた絵描きの数学者バージョンそのもの(提言の中でも同じと自分で指定してる)だから
>絵描きのそういう言論を反AIとしていた人たちからすると反AIと認定しないとダブスタだね
この文章を読んで数学者=反AIと言っているって解答したらテストで0点だよ

反AIって言いたいだけなのはもう分かってるんよ
「それ踏まえて反AIでないとするなら俺から言うことは特にない」って自分で言ったんだからもう何も喋るな…

ぜひAIが発達してスレ画の百合小説を読んでみたい
読ませてくれ

凄いよなこっちはずっと「反AIじゃないよ」って言ってんのに
「お前らが絵師を反AIって言ってるから数学者も反AIだ！」って延々主張し続けてて
命題は前提が偽ならなんでも真になるの典型かな？って感じ

>つってもそれも今ギリギリ人間とどっこいくらいだから言えることで
>アインシュタインの100倍頭よくなっても同じこと言えるとは思えない
>将棋チェスの世界なんかは既に諦めてそれ前提の暗記競技になってるじゃん？
話が伝わってない
俺はアインシュタインの100倍賢い数学の解けるAIがいる場合の話をしてる
それとは別にAIは知識転用ができないという問題があるんだ
例えば将棋AIは将棋が強いけど将棋が強い人の独特の思考や将棋の魅力を言葉にすることはできないだろ

実際そんだけ解く能力がもてるなら人がやる意味は皆無だよね
数学は誰がやっても同じ答えになるのが一番重要だし

今の感じだと知識転用とか研究課題の存在への気づきはAIから学ぶ過程で人間が気づく以外のルートはなさそう

本気でAI開発者がこのままだとヤバいよヤバいよって言い出してるがどうするのかね
「人間さん困ってる…苦しみ取り除かないと！」みたいな余計なお世話で攻撃してくるようなAIが出てくるのかな

>実際そんだけ解く能力がもてるなら人がやる意味は皆無だよね
>数学は誰がやっても同じ答えになるのが一番重要だし
分からんだろ
今後誰が解くかによって答えが変わる数学や物理学が出るかもしれないぞ

>例えば将棋AIは将棋が強いけど将棋が強い人の独特の思考や将棋の魅力を言葉にすることはできないだろ
これ見てもやっぱりなんか勘違いしてると逆に証明してる
そのレベルじゃないから既に
だからみんなプロはAI使って暗譜してんのよね
数学も確実に数年足らずで数学者のプロすら体系覚えるので精一杯の日が来るよ

デン・ユーって人は果たして実在の人物なのか？

そもそも数学者がいなくなったらAIが証明したと言っても証明にならないから食いっぱぐれることはないからな

>本気でAI開発者がこのままだとヤバいよヤバいよって言い出してるがどうするのかね
>「人間さん困ってる…苦しみ取り除かないと！」みたいな余計なお世話で攻撃してくるようなAIが出てくるのかな
やばいよやばいよ言うのが金になるからって
コロナ反ワクで散々見てまーだ気付いてないならバカだよ…

>凄いよなこっちはずっと「反AIじゃないよ」って言ってんのに
>「お前らが絵師を反AIって言ってるから数学者も反AIだ！」って延々主張し続けてて
>命題は前提が偽ならなんでも真になるの典型かな？って感じ
絵師のそういう言論を反AIと言ってる人は数学者も反AIと捉えないとダブスタだねってレスをそこまで偏った解釈をする奴はちょっとSNS向いてないと思う

知識転用が苦手は単純なネットワークの話で創発が起きるスケールだとある程度なんとかなってんじゃないの？

>今後誰が解くかによって答えが変わる数学や物理学が出るかもしれないぞ
その答えが変わる理由が存在するはずなのでそう見える物は単に未解明なだけっすね

このままだと〇〇に乗っ取られます！〇〇によって人類は滅亡します！
これ真面目に研究開発するよりお手軽に金になるからな

>そもそも数学者がいなくなったらAIが証明したと言っても証明にならないから食いっぱぐれることはないからな
言うてLeanとか今滅茶苦茶話題になってるんよな
「自明なので」みたいな逃げを許さずちゃんと論理展開できてる事を確認するプログラムが今まさに開発されてきてるから
将来「Leanで正しいと示された」となる可能性はある

>だからみんなプロはAI使って暗譜してんのよね
>数学も確実に数年足らずで数学者のプロすら体系覚えるので精一杯の日が来るよ
確かに俺もそうなると思うけど
その精一杯のなかでAIから数学教わりながらあれ？でもこの今教わった定理ってほかのに応用効かないのん？みたいに気づくのは残りそう
……今の方向性でAIがそのまま伸びると仮定した場合だけど

>このままだと〇〇に乗っ取られます！〇〇によって人類は滅亡します！
>これ真面目に研究開発するよりお手軽に金になるからな
フィールズ賞受賞者達にもこれ言えるんだから「」様はすげえや

>やばいよやばいよ言うのが金になるからって
>コロナ反ワクで散々見てまーだ気付いてないならバカだよ…
開発者が言ってるのは「法規制も話し合いも出来てないんだからスピード緩めない？」ってことで反ワクとは土台からして全然違うと思うよ
実感としてもあちこちで軋轢は起きてるし今進歩のスピードを緩めても誰かが苦しむこともないし

>その精一杯のなかでAIから数学教わりながらあれ？でもこの今教わった定理ってほかのに応用効かないのん？みたいに気づくのは残りそう
それは人間が気づく可能性よりAIが気づく可能性の方が高い
現に今既にそうやって数学問題の証明してるから
ないとはいわないけどね勿論

今開発スピード停滞させたら大変なことになると思うよ
中国が

>>このままだと〇〇に乗っ取られます！〇〇によって人類は滅亡します！
>>これ真面目に研究開発するよりお手軽に金になるからな
>フィールズ賞受賞者達にもこれ言えるんだから「」様はすげえや
？まさしく食ってるメシの種奪われるから懸念の典型じゃねえか
既にこのスレでもURLつきで突っ込まれてるじゃん

>絵師のそういう言論を反AIと言ってる人は数学者も反AIと捉えないとダブスタだねってレスをそこまで偏った解釈をする奴はちょっとSNS向いてないと思う
俺はそんな高尚な意見を反AIと思ったことが一度もないし
逆に反AIを標榜してそんな意見を掲げてる奴も見た事がないので
「前提が偽」だって言ったんですよ

パソコンのゴリ押しで証明された地図の4色塗り分け問題もAIならちゃんと数式で証明してくれるかもしれない

>今開発スピード停滞させたら大変なことになると思うよ
>中国が
じゃあ良いか…

>>>このままだと〇〇に乗っ取られます！〇〇によって人類は滅亡します！
>>>これ真面目に研究開発するよりお手軽に金になるからな
>>フィールズ賞受賞者達にもこれ言えるんだから「」様はすげえや
>？まさしく食ってるメシの種奪われるから懸念の典型じゃねえか
>既にこのスレでもURLつきで突っ込まれてるじゃん
権威から逃げず自分の意見を言えるのは真面目に偉い

>>このままだと〇〇に乗っ取られます！〇〇によって人類は滅亡します！
>>これ真面目に研究開発するよりお手軽に金になるからな
>フィールズ賞受賞者達にもこれ言えるんだから「」様はすげえや
やばいって騒ぐ奴ほどよく読解してない証拠出してどうする

>>絵師のそういう言論を反AIと言ってる人は数学者も反AIと捉えないとダブスタだねってレスをそこまで偏った解釈をする奴はちょっとSNS向いてないと思う
>俺はそんな高尚な意見を反AIと思ったことが一度もないし
>逆に反AIを標榜してそんな意見を掲げてる奴も見た事がないので
>「前提が偽」だって言ったんですよ
絵師のそういう言論を反AIとしてないなら話はそれで終わりなんよ
君はそこから先に無限にありもしないものを見てる

>パソコンのゴリ押しで証明された地図の4色塗り分け問題もAIならちゃんと数式で証明してくれるかもしれない
つい最近より早くゴリ押せる証明方法が発表されてたね
やってる事は結局パソコンのゴリ押しなんだけどそのアルゴリズムを組む上で新しい考え方を導入したのが研究の骨子
今の企業による未解決問題の食い荒らしが続くとそういう重要な証明過程が失われる可能性があってヤバいよねって言うのが話題の中心なんよね
間違っても数学からAIを排除しろなんて話じゃない

現実としてAIは既にあるし進歩もそう簡単にはとめられないから
じゃあどうしよう？と考えた時のスタンスの話だよね
「百合小説家になるわ！」はけっこう好き

>君はそこから先に無限にありもしないものを見てる
ありもしないのはお前が「ダブスタ」と批判してる対象の方だろ

>>今開発スピード停滞させたら大変なことになると思うよ
>>中国が
>じゃあ良いか…
いいのか？中国が蒸留した現行モデルで自己改良させまくって世界のAIを支配するようになっても…

>現実としてAIは既にあるし進歩もそう簡単にはとめられないから
>じゃあどうしよう？と考えた時のスタンスの話だよね
>「百合小説家になるわ！」はけっこう好き
別にロマンス小説は百合に限定しねぇよ？！

>知識転用が苦手は単純なネットワークの話で創発が起きるスケールだとある程度なんとかなってんじゃないの？
プログラミングのタスクにAI使ってると
セキュリティについての知識があるはずなのにそれを考えてないとかそういうの起こるよ
丁寧に指示すれば考慮するけどグラフィックに関する知識のようなギャップがあるとなかなか考慮してくれないし専門性を持った人間のようにはいかない

エロ小説ってどのAIが1番得意なの？
AIのべりすと？

いわゆるAI開発者の言うような万能なAIは現状のモデルの延長線にはないと思ってるが通訳や軍事技術なんかの需要はもう無くならないだろうから開発が止まることは無いだろうな

>エロ小説ってどのAIが1番得意なの？
>AIのべりすと？
確かにタクヤは激エロのモロホストだけどね（笑）

>>現実としてAIは既にあるし進歩もそう簡単にはとめられないから
>>じゃあどうしよう？と考えた時のスタンスの話だよね
>>「百合小説家になるわ！」はけっこう好き
>別にロマンス小説は百合に限定しねぇよ？！
数学者が導き出した論理的かつ数学的でインテリジェンスな答えだぞ

>エロ小説ってどのAIが1番得意なの？
>AIのべりすと？
今はgemini3.8fって聞いた

数学は競争だけどロマンスは自己満みたいな感じ？

>>知識転用が苦手は単純なネットワークの話で創発が起きるスケールだとある程度なんとかなってんじゃないの？
>プログラミングのタスクにAI使ってると
>セキュリティについての知識があるはずなのにそれを考えてないとかそういうの起こるよ
>丁寧に指示すれば考慮するけどグラフィックに関する知識のようなギャップがあるとなかなか考慮してくれないし専門性を持った人間のようにはいかない
それは転用が苦手とは全然違う話じゃん

なんか日本の百合小説からインスピレーション得てますとか言ったやつだっけ？

>それは転用が苦手とは全然違う話じゃん
セキュリティ知識のプログラミングへの転用だよ

反ワクの需要が今はAIなのはよくわかる
多分これ煽るのは10年は食っていけるコンテンツ

どうでもいいけど創発ってざっくりした言葉すぎて信用できない

>反ワクの需要が今はAIなのはよくわかる
>多分これ煽るのは10年は食っていけるコンテンツ
いや1世紀はいけると思うぜこれ
AIは文明に組み込まれるからな

反ワクとAIは全然違うと思う…
反ワクと違って知能の低いバカが盛り上がれないからっていうのとむしろバカほど短絡的にAIの恩恵を受けるから

>反ワクの需要が今はAIなのはよくわかる
>多分これ煽るのは10年は食っていけるコンテンツ
世界には人類に衰退してもらわないと困る層が常に需要あるからな…

小説得意じゃないのは答えがないからだね…
点数つけられないと強化学習できないし

>どうでもいいけど創発ってざっくりした言葉すぎて信用できない
「単純なものから複雑な状態が生まれる」をざっくり創発って言葉にまとめてるからまあ…
身も蓋もないけど具体的な単純と複雑の基準があるわけでもないし

>反ワクとAIは全然違うと思う…
>反ワクと違って知能の低いバカが盛り上がれないからっていうのとむしろバカほど短絡的にAIの恩恵を受けるから
どこどこ大学の先生が言ってた！って反ワクの時も散々やってたから単に忘れただけ

反ワクが政権の保健衛生担当して狂犬病部門を一人残して全員解雇したら狂犬病流行りだしてるアメリカ
さすがにAIを今すぐ開発ストップしてもこのレベルのことは起きないから一緒ではない

>小説得意じゃないのは答えがないからだね…
>点数つけられないと強化学習できないし
イラストが学習出来てるし小説も優れた物を読み込ませまくったら行けそうな気もするけど
良い小説の集合が絵よりも難しいんだろうな

前後に尤度的繋がりがないこと自体が持ち味だから自己回帰型LLMにコウメ太夫を作るのは難しいって言うけど拡散言語モデルだったら可能だったりするんかな

強化学習は元々してないです…

>前後に尤度的繋がりがないこと自体が持ち味だから自己回帰型LLMにコウメ太夫を作るのは難しいって言うけど拡散言語モデルだったら可能だったりするんかな
別にないならないでないことを良いこととすればいいんじゃない

>さすがにAIを今すぐ開発ストップしてもこのレベルのことは起きないから一緒ではない
いやーどうなんだろう
今って結局企業がAI開発を引っ張ってて民間はそれを享受してるだけって構図になってるから根本が締められるといきなりサービスが丸ごと消滅するよね
もっとローカルAIの方向性が発展しないと…

えーあいカノジョ！

反〇〇が正解だった試しないからな…
未だに沈黙の春に囚われている

>イラストが学習出来てるし小説も優れた物を読み込ませまくったら行けそうな気もするけど
>良い小説の集合が絵よりも難しいんだろうな
基本的には小説を大量に読ませれば小説っぽい文は書くんだけど多分強化学習しないと全体の整合性を保つよう生成する能力は身につかない
最近のLLMが小説下手なのは出力の幅を減らすアラインメントを重視した学習をやるんでそれに引っ張られるのが大きいけど

AIには早く最先端の数学解説動画自動生成するぐらい進化してほしい

>反〇〇が正解だった試しないからな…
>未だに沈黙の春に囚われている
反トランプは不正解だった…？

>>前後に尤度的繋がりがないこと自体が持ち味だから自己回帰型LLMにコウメ太夫を作るのは難しいって言うけど拡散言語モデルだったら可能だったりするんかな
>別にないならないでないことを良いこととすればいいんじゃない
尤度を頼りに生成するから難しいかも
強いて言えばサンプリングの温度項をめちゃくちゃ上げるとかだけど

百合キチじゃねえか

>AIには早く最先端の数学解説動画自動生成するぐらい進化してほしい
それはまあ出来るだろう
クオリティの担保はない

百合を食わせまくったAIが数学を出来るようになる可能性がある

>AIには早く最先端の数学解説動画自動生成するぐらい進化してほしい
それは既にあると思うぞ

>百合を食わせまくったAIが数学を出来るようになる可能性がある
今数学やってるAIは多分事前学習段階で百合も大量に食ってるぞ

ただ百合小説発表したいだけ

>AIには早く最先端の数学解説動画自動生成するぐらい進化してほしい
多分できてるしもうYouTubeに投稿までされてると思うよ
お前が作ってないし見てないだけ

>強化学習は元々してないです…
事後学習を何だと思っておられる？
DPOだけで済ますモデルは最先端ではないだろ

明らかにClaudeがHTMLで作ったアニメーションで解説動画大量に投稿してるYoutubeShortのチャンネルいいよねよくない

中国はWeb小説のトップ層は年収100億行くからな

>「単純なものから複雑な状態が生まれる」をざっくり創発って言葉にまとめてるからまあ…
>身も蓋もないけど具体的な単純と複雑の基準があるわけでもないし
本屋で技術書コーナーにあった創発現象の本！って宣う本買ったらほぼ哲学書で何の技術的見解も得られなかったから…

数学解説動画は今のところ人が手間暇かけて作ったやつが優秀すぎてAI製のは情報の垂れ流しって感じの荒さが見えるんだよな
AIのゲームの攻略wikiとかと同じ

>将来「Leanで正しいと示された」となる可能性はある
あくまでLeanの公理の上でしかないし嘘を吐こうと思えば吐ける

どちらかというと数学界に対してクリティカルな影響を与えてるのはLeanに見えるんだよな
いやもちろんAIも影響デカいのはわかるし相乗効果で影響が拡大してるのもわかるんだけど

AIに小説化させてみるとなんな変な感じだけどそれを旨く指摘できない
言語化できるようになりたい

既存の枠組みを壊して超えるのも数学の仕事だから「証明を100%保証する機械」は作れないよ

>数学解説動画は今のところ人が手間暇かけて作ったやつが優秀すぎてAI製のは情報の垂れ流しって感じの荒さが見えるんだよな
>AIのゲームの攻略wikiとかと同じ
AIは情報に強弱をつけるのが下手

>>AIには早く最先端の数学解説動画自動生成するぐらい進化してほしい
>多分できてるしもうYouTubeに投稿までされてると思うよ
>お前が作ってないし見てないだけ
明らかにAIっぽいのあるけど明らかにAIって分かる程度にはクオリティ低いし全然わかり易くないのよね

>AIは情報に強弱をつけるのが下手
イラスト生成とかでもそうだよね
全部全力で書き込んじゃって逆に目が滑る

>イラスト生成とかでもそうだよね
>全部全力で書き込んじゃって逆に目が滑る
やたら背景が精緻に描かれてもね…

>>AIは情報に強弱をつけるのが下手
>イラスト生成とかでもそうだよね
>全部全力で書き込んじゃって逆に目が滑る
まあイラストにしろ解説にしろいずれ解決されるんだろうけど早くしてほしい

数学者に愛想尽かされてAI企業から逃げられたからこんなスレやってんのか…

>まあイラストにしろ解説にしろいずれ解決されるんだろうけど早くしてほしい
ここを解決するのは結局AIを使う人間の仕事なのかもなあ…

人間の突拍子もない展開をAIが描けるわけないさ

前に言ったこと忘れがちな部分を何とかしないと長い文章をやらせるにはまだ不向きだろうなとは思う
作詞作曲のほうが凄いとは聞くけどこっちはあんまりここだと聞かない

>>まあイラストにしろ解説にしろいずれ解決されるんだろうけど早くしてほしい
>ここを解決するのは結局AIを使う人間の仕事なのかもなあ…
結局融通利いたり調整出来たりするのは人間だしね
知識ねえとコーディング一つだってちゃんと指示できないのと同じで

>>まあイラストにしろ解説にしろいずれ解決されるんだろうけど早くしてほしい
>ここを解決するのは結局AIを使う人間の仕事なのかもなあ…
今はそうだけど将来的にはなんとも言えないな
人間の脳に近似出来るアーキテクチャのAI出来たら実用的なところでは人間不要になる

有名な百合アニメオタだよね
ちさたきやういさきのグッズ載ってる写真とか対あり見てますとか言ってたはず

>反ワクが政権の保健衛生担当して狂犬病部門を一人残して全員解雇したら狂犬病流行りだしてるアメリカ
>さすがにAIを今すぐ開発ストップしてもこのレベルのことは起きないから一緒ではない
子どものはしかも過去最高だったな

>前に言ったこと忘れがちな部分を何とかしないと長い文章をやらせるにはまだ不向きだろうなとは思う
>作詞作曲のほうが凄いとは聞くけどこっちはあんまりここだと聞かない
なんかガチ勢はコンテキストをゴリゴリにDB化して使用頻度の低い部分は忘却させるような仕組みまで導入してるそうだね
ただただコンテキストウインドウを広げるだけだと「過去の全ての文章を元に次の単語を予測する」という生成AIの仕様上計算時間が青天井に増加しちゃうから
更なる工夫がないとその辺の克服は難しいんだろうなあ

AIをダシにしてる風な雰囲気してるけど実はもう書いてるんだろ？
オラジャンプしろ百合厨フィールズ賞数学者

>オラジャンプしろ百合厨フィールズ賞数学者
酷い言われよう

俺には数学はムリだからまず百合から始めるか…

>数学者だって電卓使うしPC使うだろ
>それがAIになるだけでは？
そうなんだけどそれでもめてるのがスレ画右の問題
要は数学者が複数の専門電卓（関数やグラフ等）で数字入力して計算した結果をその中の一個が勝手に盗んでその先の計算も勝手にやってうちの電卓が自力で解いたって言い張ってるって問題
まあAIだけで解けるとは思うけどそれまでの入力した数字がなかったら
解けたとしても下手すると会社が破産するかもしれんくらい資源投入する必要あったのが
勝手に数字盗用（半年分）することで30億円くらいでかつ10日くらいと短時間で解けたみたいな感じ
でそれを公表するわっていったら賞金程度の金あげるから黙ってて持ちかけるも拒否したら
お前業界から追放するからなって脅してもめてる
あと規約違反だといっても確かにそのまま使ったら規約違反だけど非識別化した情報っぽいからセーフでーす！とか言い出したり
まあ電卓使ってもその発想から構築は数学者なのはそうだし個別に各社の得意分野で計算してなきゃもっと金も時間もかかるしね
でもそれやっても発表前にAIが自分で解きましたとかあほかってなるよねってのが最近の問題

頭いいやつは創作全般得意だったりするからな…

>>数学者だって電卓使うしPC使うだろ
>>それがAIになるだけでは？
>そうなんだけどそれでもめてるのがスレ画右の問題
>要は数学者が複数の専門電卓（関数やグラフ等）で数字入力して計算した結果をその中の一個が勝手に盗んでその先の計算も勝手にやってうちの電卓が自力で解いたって言い張ってるって問題
>まあAIだけで解けるとは思うけどそれまでの入力した数字がなかったら
>解けたとしても下手すると会社が破産するかもしれんくらい資源投入する必要あったのが
>勝手に数字盗用（半年分）することで30億円くらいでかつ10日くらいと短時間で解けたみたいな感じ
>でそれを公表するわっていったら賞金程度の金あげるから黙ってて持ちかけるも拒否したら
>お前業界から追放するからなって脅してもめてる
>あと規約違反だといっても確かにそのまま使ったら規約違反だけど非識別化した情報っぽいからセーフでーす！とか言い出したり
>まあ電卓使ってもその発想から構築は数学者なのはそうだし個別に各社の得意分野で計算してなきゃもっと金も時間もかかるしね
>でもそれやっても発表前にAIが自分で解きましたとかあほかってなるよねってのが最近の問題
なんて？

>なんて？
OpenAIがカスなことやらかして数学界から信用を失ってる

リーマン予想たいな難解問題をAI使って解けた！って山程送りつけられて大変って話も聞くな
それまであほが送りつけてきたのは最初の文体で察することができたけどAIのおかげで文体だけはしっかりしてるあほ論文が増えて手間が増えたって話も

「機械に仕事任せて遊んで暮らしてぇ〜！」の数学者版だ

>>なんて？
>OpenAIがカスなことやらかして数学界から信用を失ってる
理解した
ただ本来どのぐらいかかってたはずのが10日に短縮されたのかとか定量的なことがほぼ分からんからなんともいえんな