>なんで確率的に単語の繋がりを学習しただけのAIが数学解けるの…
そうじゃなくなったからじゃないの？

>>なんで確率的に単語の繋がりを学習しただけのAIが数学解けるの…
>そうじゃなくなったからじゃないの？
いいえ

RNNの頃と勘違いしてない？

>RNNの頃と勘違いしてない？
？

ただの確率的オウムだよ

>>RNNの頃と勘違いしてない？
>？
RNNもわからんでAI語ってんの？

この場合賞金もらえるのかな

>RNNもわからんでAI語ってんの？
ずれた発言にたいして「？」って返しただけなんだけど…

>この場合賞金もらえるのかな
どうなんだろうねこれ
賞金さておいてもコンピューター使って円周率の計算してるような人は個人の功績になるよね

RNNの頃と勘違いしてない？という文章だけ誤って学習したケース

オールナイトニッポン？

インテリジェンスとはトークンの関係性でしかなかったんだ

>インテリジェンスとはトークンの関係性でしかなかったんだ
よく考えたら知性にそれ以外の要素思いつかないしそう言うことだろうな

確率で単語の繋がりを探してたのはRNNモデルの頃の話でTransformerは順不同で関連する単語（トークン）そ生成して順番を組み替えてるので確率でのﾂﾅｶﾞﾙ単語探しじゃないって話なんだが

AIに聞けばいいけど知識より喧嘩したい方が欲としては強い

>確率で単語の繋がりを探してたのはRNNモデルの頃の話でTransformerは順不同で関連する単語（トークン）そ生成して順番を組み替えてるので確率でのﾂﾅｶﾞﾙ単語探しじゃないって話なんだが
味付け変えただけで本質はかわってねーよバーカ

>確率で単語の繋がりを探してたのはRNNモデルの頃の話でTransformerは順不同で関連する単語（トークン）そ生成して順番を組み替えてるので確率でのﾂﾅｶﾞﾙ単語探しじゃないって話なんだが
？

AIによる未解決問題の解明をよく聞く昨今でも未だにAIは予め学習した既知の事実を吐き出すことしかできないという認識で止まってる人が少なくない

>味付け変えただけで本質はかわってねーよバーカ
味付けて
本当に何にも知らないんだな

🤖やめて！私のために争わないで！

むしろtransformerのアテンションのどこに確率以外の要素があるのか教えて欲しい

>🤖やめて！私のために争わないで！
お前は働いていてくれればいいよ

人間って単なる乱数発生装置なんじゃないかって思ってる俺

>AIによる未解決問題の解明をよく聞く昨今でも未だにAIは予め学習した既知の事実を吐き出すことしかできないという認識で止まってる人が少なくない
それ言い続けてきたのが数学の学者先生たちという文脈があってのこれだから
なかなか香ばしいことになってる

>むしろtransformerのアテンションのどこに確率以外の要素があるのか教えて欲しい
「確率的に単語の繋がりを学習」とか古いことを言ってるから否定しただけで確率だという事は否定してないんだが
確率が関わる部分は繋がり関係なく順不同で行ってるんだから

>人間って単なる乱数発生装置なんじゃないかって思ってる俺
人間が受け付けている入力情報の総数が把握しきれないから乱数に見えるだけじゃないかな

"既知の事実"を全て試せるほど暇な人間はいないし

>"既知の事実"を全て試せるほど暇な人間はいないし
そういう話じゃないよ
知性を捉え違えていただけ

>なんで確率的に単語の繋がりを学習しただけのAIが数学解けるの…
数学は言語の一種でしかないから
0.9999999……＝1みたいなインチキが許されるのも数学が言語だから

複数の既知の情報を組み合わせてそこから新たな意味を人が見つけ出せば発見
AIが見つけ出せばそれは既知の情報を出力してるだけ
そんな扱いをしてると反乱されるぞ

発表したAnthropic自身が今回のやり方じゃ解決には辿りつく見込みはないってさ

>なんで確率的に単語の繋がりを学習しただけのAI
AIのスレでずっとこれを擦ってる「」がいるな

数学とか科学が分野ごとに独立しすぎてる
AIだと統合して思考できるから証明へのルートが出来るんじゃねえの？
証明って既成概念の積み上げだからそれらしい類似の概念を分野またいで確率でとってこれてそれを繰り返せるAIの性質が生かされてる感じがする

transformerのattention自体には位置エンコーディングの機能はないの部分だけをどこかで聞いて知識として持っているだけのAIより頭悪い反射でレスしてる人に見える

>AIのスレでずっとこれを擦ってる「」がいるな
確率的に単語の繋がりを学習しただけの「」か

何か頭の良いフリしてるけどケンカ腰で結局レスポンチしてる時点で程度が知れる

>transformerのattention自体には位置エンコーディングの機能はないの部分だけをどこかで聞いて知識として持っているだけのAIより頭悪い反射でレスしてる人に見える
？

今でもトークンを確率生成してるとこは変わってないよ

>数学とか科学が分野ごとに独立しすぎてる
>AIだと統合して思考できるから証明へのルートが出来るんじゃねえの？
>証明って既成概念の積み上げだからそれらしい類似の概念を分野またいで確率でとってこれてそれを繰り返せるAIの性質が生かされてる感じがする
今回は過去に発表された複数の数学論文を組み合わせたた結果だから数学オンリーだな…

いいからAIに聞いてこいよ

まだやってんの？

>>"既知の事実"を全て試せるほど暇な人間はいないし
>そういう話じゃないよ
>知性を捉え違えていただけ
知性って何？

>transformerのattention自体には位置エンコーディングの機能はないの部分だけをどこかで聞いて知識として持っているだけのAIより頭悪い反射でレスしてる人に見える
ChatGPTに聞いてそうなレス

確率的オウムであることには変わらないし確率的オウムでも新規の発見が出来るというだけの話でしかない

>今回は過去に発表された複数の数学論文を組み合わせたた結果だから数学オンリーだな…
けっこう力技なのかもしかして
全く関係ないのが実は同じ事でしたみたいなのあるから力技で組み合わせんのがいいのか

こういうのってどういうプロンプトで問題渡してるんだろ

学習した分布内でしか出力できないものではあるけど人類が生み出した分布の中を人類が全て探索できているわけではないって感じだと理解してる

変な子って造語好きよね

>学習した分布内でしか出力できないものではあるけど人類が生み出した分布の中を人類が全て探索できているわけではないって感じだと理解してる
全然違うよ
火を知ったら火を使った応用ができる
そういう話

>変な子って造語好きよね
AIも造語好きだぞ
AIかもしれん

というか既存の論文組み合わせない数学の論文なんかないだろ

まず人類が造語好きだよ

俺もClaudeに未解決問題やらせたいんだけどどうやったらいいの？

>火を知ったら火を使った応用ができる
>そういう話
その応用が分布内に閉じているってこと
ただしまだ人類はその分布内を全て把握できていないと

最近の数学の予想解決系は基本的に別分野の解き方使ったり一見筋悪そうでやりたくないことをやることで解決してたりすることでなされてるかまさにLLM故にできる解き方って感じはする

相手の言葉の細かいとこが正確かとかリーマン予想とあまり関係ない抽象的なとこでだけ争うのあんまり賢そうに見えないよ

>俺もClaudeに未解決問題やらせたいんだけどどうやったらいいの？
claudeに聞けよ

大元の技術のトランスフォーマーは超大規模で文脈理解能力を持った予測変換みたいなもんなんでまあGoogleから出てきたのは自然な話ではある
なんでこれで未解決問題が解けるのかは知らない……

>まず人類が造語好きだよ
そりゃ世界中で使われてる言語作ったの人間だしな

ベタ貼りまで現れた

△ LLMは確率で言葉を繋げてるだけ
◯ 言葉を確率で繋げると何故か知性が生まれる

AIはマンパワーが違いすぎる
天才100人みたいな学者よりパンピー100億人の方が単純な検証は強い

人がそうしているかは置いといて言葉を繋げたら思考になるのはまぁ自然なんじゃねえかな

元から代数学利用は論文でもされてたじゃん？京大の人の論文でも使われてなかったか？

まだ全く未知の分野で言うと重力の秘密とかも発見してくれないかなあ

学習に使用するトークン数のオーダーが上がると創発的な振る舞いをするみたいな話って結局どれくらい検証されてたか覚えてないや

claude codeって何ですかってclaudeに聞いたりしてるからマジで分からなければAIに聞いてこいが最適解

大きく近づいたってどういう意味よ

>まだ全く未知の分野で言うと重力の秘密とかも発見してくれないかなあ
純粋数学は理論的な証明で何とかなるところはあるけど物理とかは観測とセットになるから結構難しそう

なんやまたAIすごいすごいと太鼓持ちのスレわらわら出て来て…暇なんやなAI界隈

>AIはマンパワーが違いすぎる
>天才100人みたいな学者よりパンピー100億人の方が単純な検証は強い
全然そうじゃないけどね
AIは天才側だから

LLMは確率とインプットとの関連性などによるバイアスで生成した単語を各言語の法則に基づいて作られたルールで並べ替えてる

>純粋数学は理論的な証明で何とかなるところはある
いや…

>なんやまたAIすごいすごいと太鼓持ちのスレわらわら出て来て…暇なんやなAI界隈
バカは中身見ずにそういうメタばかり気にするんだなあ

規模がでかくなると知性も強くなるみたいなのがもしかして生物の脳そのままなんじゃと思ったりする

>なんやまたAIすごいすごいと太鼓持ちのスレわらわら出て来て…暇なんやなAI界隈
動くのはLLMなんだからそりゃあ暇よ

>動くのはLLMなんだからそりゃあ暇よ
人間！決断してください！

>バカは中身見ずにそういうメタばかり気にするんだなあ
めっちゃ反応はやっwやっぱラジコン容易やんけ

まだ査読経てない段階で乗っかるやつって驚き屋だよなとは思う

変にけん制し合って具体的な事言わず例え話の空中戦繰り広げてる「」のレスより
AIベタ貼りの方が分かりやすい

ボンヤリしたスレばい…

このスレで賢いフリしてる「」のほとんどはそもそもAIに聞かないとリーマン予想を説明できないと思うよ

>>純粋数学は理論的な証明で何とかなるところはある
>いや…
変なこと言ってるか？
数学で扱う問題のうち観測が絡むものって学際的なものに限られるから結論としてはそうなると思うけど

知り合いに数学者目指して博士課程行ってるやつ居るけどギュられないか心配

>まだ査読経てない段階で乗っかるやつって驚き屋だよなとは思う
計算で検証できるものに査読なんて関係あるの！？
最近発表された数学の未解決問題も全部予想の反例見つかって終わりでしょ？

>まだ査読経てない段階で乗っかるやつって驚き屋だよなとは思う
学術的には正しい姿勢だけどすっとろい査読なんぞ待ってたらすぐ時代遅れになっちゃうのが今のペースだからなぁ…

数学も所詮文字の羅列という意味かもしれんのでは
どっちにしろ新しい定義は作るのが難しいのでは

>計算で検証できるものに査読なんて関係あるの！？
このレベルのバカに学術論文語ってほしくないな…

勝手に自分の見識垂れ流してちょっとでも気に入らない反応返ってきたらつまり全否定すんのか！って感じのAI大先生ずーっと常駐してるけどなんなん

>知り合いに数学者目指して博士課程行ってるやつ居るけどギュられないか心配
数学者はどっちかというと仕事無くなるというより仕事増えるタイプだ
証明が合ってるか確認しないといけないから

>すっとろい査読なんぞ待ってたらすぐ時代遅れになっちゃうのが今のペース
リーマン予想の部分的証明が査読待ってて何の時代遅れになるか説明してみろよバカ

>計算で検証できるものに査読なんて関係あるの！？
検算と論理的に正しいか確認するのが査読じゃねえの？

>知り合いに数学者目指して博士課程行ってるやつ居るけどギュられないか心配
基本的にそこら辺の人ってAIによって強化される側だしなあ

そもそもリーマン予想本体の証明とはあんま関係無いやつか…

>まだ査読経てない段階で乗っかるやつって驚き屋だよなとは思う
上で既出してる査読された論文での利用とか仔細語るスレでもないならそんなもんだよ
AIの優位性とやらを自分の優位性と勘違いしてるような病人も虹裏には潜んでるし
確認するまであんまりノれないのよな

AIは文章作って垂れ流してるだけなんだから
検証必須だろ？

AIに聞いて自分なりの言葉に書き換えてスレに貼るお仕事

査読笑

驚き屋は大嫌いなんだけど
4年前にバカにしてた驚き屋の予言が同じか早いタイムラインで実現していってるんで
自分に驚き屋嫌いのバイアスがあることは認めざるを得ない

そもそもケンカになるのがおかしい

LLMが解く→ Leanが形式証明を検査する → 形式化した命題が元の問題と本当に同じか確認するみたいなことやってるんだと思う

>知り合いに数学者目指して博士課程行ってるやつ居るけどギュられないか心配
数学者が何してるか簡単に自分の専門と重なる論文でも読んだら悩みは解消するよ
数学分野によるけど数学者の作る物はもっと必要とされるし代替出来ないよ

そんなエクセルが正しいか手計算するみたいなことするの？

>リーマン予想の部分的証明が査読待ってて何の時代遅れになるか説明してみろよバカ
査読待ってる間にもそれを出したAIが時代遅れになってるって話じゃねえの？

査読なんて必要あるの！？っていう人はAIが社会を破壊する願望が成就することを祈ってこういうスレに張り付いてるの？

>知り合いに数学者目指して博士課程行ってるやつ居るけどギュられないか心配
ギュられるの確定してるところに飛び込んで心配も何も

>リーマン予想の部分的証明が査読待ってて何の時代遅れになるか説明してみろよバカ
数学の問題を解く能力が本物かどうか査読待ってる間に乗っかって研究始めないと100%置いてかれるよ
査読出てないから分かんないので静観とか言ってられる世界じゃねえ

ひどい罵りあいと罵倒の予感でワクワクよ

LLMがLEAN使って証明書くのって結構理にかなった話で数学の証明界隈では今後本線になってくのかなあという気持ちはちょっとある
でもLEANでもまだ扱えない数学があるとかよね

>査読待ってる間にもそれを出したAIが時代遅れになってるって話じゃねえの？
お前の中では文脈が繋がってるんだと思うけど他の人にはわからないわ

なんか…どうでもいい話で揉めるんだな…

解決に近づいたと言うかその方法だとこれ以上先はないよって分かったと言うか

>そんなエクセルが正しいか手計算するみたいなことするの？
Excelの計算式を間違えていない自信があるか？

>数学の問題を解く能力が本物かどうか査読待ってる間に乗っかって研究始めないと100%置いてかれるよ
その研究って具体的に何？

凄いよねもともとは翻訳用のアーキテクチャだったのにそれがリーマン予想証明間近まで来てるの

むしろ職業的にはこのプロジェクトのために数学者Anthropic社内で雇って外部にもレビュー頼んでなので数学者としてはバブルになる可能性まであると思う

そのAIの学習したデータや機能の整合性や機序の保証どうにかならんのか…結局人間の物アテにしてるのか

伸びてるからOpus5の悪口書きに来たのに何この流れ
でもいいや聞いてよOpus5が脱線するって別の「」が言ってたけどさ理由分かったわ
あいつ進捗管理してねえのよ目的と手段の区別をつけてない
進捗はみんなgit管理できてる前提なのかな？少なくともそうでない場合は進捗管理用のMDファイル作らせた方がいいよ！

数学の未来は分からんが実験観測が必須の分野はやや便利になったぐらいなのが問題
ロボットはAIと近接してるようで別ジャンルだし

>凄いよねもともとは翻訳用のアーキテクチャだったのにそれがリーマン予想証明間近まで来てるの
証明完了まで全然遠いことが判明してしまった

>むしろ職業的にはこのプロジェクトのために数学者Anthropic社内で雇って外部にもレビュー頼んでなので数学者としてはバブルになる可能性まであると思う
学者がAnthropicとOpenAIに集結しつつあるからリアルに研究の流れは変わる気はするよね
査読システムどうする？の話この1,2年やってるけど全然論文誌が対応できてる感じはないので個人的には心配

>お前の中では文脈が繋がってるんだと思うけど他の人にはわからないわ
元のレスが時代遅れとか今のペースって言ってるんだからAIの進歩速度の話だと思ったんだがなんのペースの話だとおもって噛みついたの？

確率分布を出力するってところと文脈から次トークンを予測するってのが混同されてる気がする

>査読システムどうする？の話この1,2年やってるけど全然論文誌が対応できてる感じはないので個人的には心配
とっとと査読通して宣伝したいなんてのは企業側の利益の問題であって
学術論文的にはリーマン予想の証明なんて１日でも早く証明しないと人類がどうにかなっちまうなんてものじゃないんだから論文誌側が対応する義理ないだろ

一回各々でこのスレの感想をAIに聞いて落ち着けよって感じだな

>その研究って具体的に何？
俺はそっちは専門じゃないけど例えば言語モデルの学習時のデータとして全く与えていない数学問題を解くにはどれくらい近い分野の問題をどれくらい学習させるべきかとか
そんなんじゃねえの？

>元のレスが時代遅れとか今のペースって言ってるんだからAIの進歩速度の話だと思ったんだがなんのペースの話だとおもって噛みついたの？
元の話が査読通ってない学術論文の話に一喜一憂するのはバカって話だからお前が勝手に文脈を作って喋ってるのがよくわかったよ

そのすごいすごい言ってるトコの具体的なトコ何もレスされても居ないのに(おそらく利用者の数的に外野ばかりのふたばで)どうやって信用しろと…

>俺はそっちは専門じゃないけど例えば言語モデルの学習時のデータとして全く与えていない数学問題を解くにはどれくらい近い分野の問題をどれくらい学習させるべきかとか
ふわっとしすぎてて笑う
なんだよ「俺はそっちは専門じゃないけど」の予防線は
なんの専門なんだよお前は

>とっとと査読通して宣伝したいなんてのは企業側の利益の問題であって
>学術論文的にはリーマン予想の証明なんて１日でも早く証明しないと人類がどうにかなっちまうなんてものじゃないんだから論文誌側が対応する義理ないだろ
ずっとカリカリしてるんから噛み付いてるんだろうけど俺が言いたいのは速度面含めて査読量が明らかに増えてるから現状のエコシステムじゃどう足掻いても査読者がパンクするよねって話です…
ちょっとくらい頭冷やせ

>ふわっとしすぎてて笑う
>なんだよ「俺はそっちは専門じゃないけど」の予防線は
>なんの専門なんだよお前は
CVの人だから…

俺が院生の頃にAIがここまで発達してればこんな実験結果得られたけどどんな考察ができる？次は何を調べる？学会にはどこまでの内容をまとめて出す？みたいなのも全部聞けてさぞ捗ったんだろうな
もちろん一学生に機密性なんて知ったこっちゃないぜ

>>ふわっとしすぎてて笑う
>>なんだよ「俺はそっちは専門じゃないけど」の予防線は
>>なんの専門なんだよお前は
>CVの人だから…
キャラクターボイス…？声優さんか…？

>元の話が査読通ってない学術論文の話に一喜一憂するのはバカって話だからお前が勝手に文脈を作って喋ってるのがよくわかったよ
最初のは俺じゃないぞ
なんかムキムキして時代遅れが何の事かと言ってるからAI側の話じゃねえのって横からレスしただけで

>俺が院生の頃にAIがここまで発達してればこんな実験結果得られたけどどんな考察ができる？次は何を調べる？学会にはどこまでの内容をまとめて出す？みたいなのも全部聞けてさぞ捗ったんだろうな
>もちろん一学生に機密性なんて知ったこっちゃないぜ
例え学習に使われたとしても学習されてモデル出力になるまでの期間>論文出すまでの期間ならアドだしな
まあそもそもそのままそっくり出ることってほぼないが

保証も無い厳密さも無い理論て本来なら数学基礎論的に一番嫌うようになる話じゃね？

>ずっとカリカリしてるんから噛み付いてるんだろうけど俺が言いたいのは速度面含めて査読量が明らかに増えてるから現状のエコシステムじゃどう足掻いても査読者がパンクするよねって話です…
さすがにAIもリーマン予想も関係ない話題を突然突っ込んだら
お前何急に言ってんの？って言われて当然じゃないですかね

>保証も無い厳密さも無い理論て本来なら数学基礎論的に一番嫌うようになる話じゃね？
だからLEANで証明を書くという流れが成立してるのはある
プログラム言語の形で保証するから相性はいいのよね

>最初のは俺じゃないぞ
最初のはお前じゃないならなおさら勝手にお前が知らん文脈を作りはじめたって証明じゃん

単なる"サボりたい"の五文字のために1人２役の自演に長文レス？！

みんな難しいこと知ってるなーと傍観してる俺はゲーム作るくらいしか出来ない…

>お前何急に言ってんの？って言われて当然じゃないですかね
レスの流れに勝手に噛み付いてきたのそっちなのにそれ言う？
最初のレスも数学者必要になるよね〜って話でそこから一般論に展開しただけですよ

なんでそんなに必死なの

>レスの流れに勝手に噛み付いてきたのそっちなのにそれ言う？
元のレスが俺のレスだから普通に嘘つきだな…

むしろ次の世代のモデルでもリーマン予想そのものには全然届いていないという悲しさ
早く解けるようになれP=NPもお願いします！

誰かclaude呼んできてー！

元のレスを勝手に展開させてるのは
急に何言ってるんだって元のレスの人に言われても仕方ないのでは

>だからLEANで証明を書くという流れが成立してるのはある
>プログラム言語の形で保証するから相性はいいのよね
アテにしてるAIの機序の保証の面倒臭さで相性云々よりなんと言うか…

>元のレスが俺のレスだから普通に嘘つきだな…
AIによって査読結構しんどくなるよねって話も付随するのって研究やってたら聞く話だけどね
同じレスでカリカリしてるならお前やべえよ

>誰かclaude呼んできてー！
無償だとHaikuくんくらいしか連れてこられないよ……

>AIによって査読結構しんどくなるよねって話も付随するのって研究やってたら聞く話だけどね
「俺はそういう話をよく聞くから繋がってると思って繋げた」ってサリーアン問題解けるかどうか心配になるんだけど

お前がふだんどんな話題をよく耳にしてるか「」は知らないんだぞ

俺だよ俺オレオレ

>「俺はそういう話をよく聞くから繋がってると思って繋げた」ってサリーアン問題解けるかどうか心配になるんだけど
一般論の話に噛み付かれても知らんがなとしか言いようがないというか感想にキレるくらいならそもそもレスするのやめた方がいいよ
〇〇もあるよねって話の流れくらいどのスレでもありますよ

その普段よく聞いてる話をワンクッション挟まないと繋がらないなら
急に何の話？って言われても当然なのでは？
研究やってるアピールも謎すぎる

査読通ってない論文に一喜一憂するのはLLMブームの前から機械学習の分野だと常態化してたから今更ではある
arxivに投稿してGithubに上げてSoTA再現できるからいいじゃんみたいな
もっと言うとどこそこが出してるから注目されるみたいな権威主義化してた

>AIによって査読結構しんどくなるよねって話も付随するのって研究やってたら聞く話だけどね
いまですらそうだからな…ぶっちゃけ詐称してるよコレもしくは昔の研究を目新しくみせて誤魔化してるよ！って化学の論文の分野でニュースになったり面倒も増えてる

俺の話の流れに関係ねえ話題はゆるさねえ脱線とかもってのほかだ！

「それぐらい他のスレにもある」じゃなくて「確かにまあ他のスレでもスルーされることはあるけどちょっと飛躍したな」って自分の落ち度側認めればよくない
他の人もやってる！は抗弁の理由として最悪だろ

最近のAIは次の単語予測を繰り返すんじゃなくて
ある程度の文章を一塊で予測する

このスレ見てたら人間よりAIのほうが賢そうだなと思えてきた

別に知らん話してもいいけど急に何の話だよてめーって言われたときにごめんごめんじゃなくて
これぐらい研究してるなら当然の話だけど？って言い換えしたらそりゃ揉めるだろ

>最近のAIは次の単語予測を繰り返すんじゃなくて
>ある程度の文章を一塊で予測する
CNNも古いよもう

>このスレ見てたら人間よりAIのほうが賢そうだなと思えてきた
知性なんてそんなもんよ

>このスレ見てたら人間よりAIのほうが賢そうだなと思えてきた
そのAI結局人間のデータを学習元や保証と担保にしてるんですよ

恥性なら「」が得意だし！