終わってるのはお前の人生

始まりだろ

AIと人間のやってることは違うんだって声明出してませんでしたっけつい最近

過去の未解決問題がなくなってもその結果を踏まえたまた新しい未解決問題が無限に出たくるだろ

数学科の学生なんて元から就職とか捨ててるだろ

何が終わりなんだよ
どうせ数学のこと何もわかってないだろおめえは
俺はわかんないから特に何も感想ねえよ

>AIと人間のやってることは違うんだって声明出してませんでしたっけつい最近
LLMは確率的鸚鵡だから数学的な発見などできるはずがない！！
が数学者の意見だったけど今これ

AI肯定派だったテレンスタオが急にAI危険言い出して流石に笑う

つまんなくて計算が面倒な奴片付けて貰ってる話は聞いたけど
これはそれ以外なの？

まだ精査されてないのに何が終わったのか言ってみなよ

車が発明されて陸上競技終わったもんな

>車が発明されて陸上競技終わったもんな
数学は陸上競技だったか　知らんかった

あきゆき仕事見つかった？

本文もだれかのパクリ

ナイス驚き豚

数学なんてそれこそ計算するための機械が得意で何が疑問なんだ？

新たな未解決問題を提示するのもAI
それを解決するのもAI
検証ももちろんAI
これが超高速でグルグル回りだすとなると
人類はAIがとっくに舗装した分野をキョロキョロしながら歩いてくことになるのか

Xのプリントスクリーン貼るのやめてください

もうすぐ発表する研究とか盗みまくってコレAIが解きましたってやってるだけとかじゃなかった？

>もうすぐ発表する研究とか盗みまくってコレAIが解きましたってやってるだけとかじゃなかった？
はんさんww

驚き屋…生きていたのか…！

どういう理屈で数学という学問が終わったの？

>Xのプリントスクリーン貼るのやめてください
プリントスクリーンってもうインターネット老人しか使ってないよね

数学者も解いてくれるなら早く解いてくれと思ってるだろ

>どういう理屈で数学という学問が終わったの？
こいつに説明できるわけないじゃん
算数すらわかってないだろう

>検証ももちろんAI
その検証が正しいと判断し責任持つのは誰なの？AI？

>どういう理屈で数学という学問が終わったの？
こんぴゅーた
けいさん
はやい

未解決問題は証明のために必要な未解決証明を解決して…を繰り返さないとできないけど
AIくんは周辺の未解決問題は未解決のまま証明できた！ってだけ言ってるの

シンギュラリティ始まった？

一般人にも知られてるリーマン予想とかが解かれるならいよいよだな

>Xのプリントスクリーン貼るのやめてください
今日の昼頃の発狂具合すごかったけどアク禁でも解除されたんか

一番大事な追証一切出来てないから解決したもクソもない

>一番大事な追証一切出来てないから解決したもクソもない
そりゃ100問じゃ人の手がおっつかねえ！！
でも必ず検証挟んでるだろうからAI側では確証あるんだろう

AIの証明が本当に合ってるかを人間の数学者が証明しなきゃいけないんだから学問としてはここからだろ

未解決問題解きてぇ〜なんてのは一部の変態数学者達だから大半の専門家は証明されたの？じゃあ成立する前提で運用できるじゃん！くらいの感じだろ

数学が学問として終わっていないと証明できなければ俺の勝ちだが？
とスレ「」はおっしゃっている

>一番大事な追証一切出来てないから解決したもクソもない
追証て
なんで保証金の話になるんだよ

>シンギュラリティ始まった？
これやったのは次のモデルのbelってやつで明確にサムがAGIとしてあげてるやつ

AIにはできないって言ってたこと結局全部できるようになっていくな

あきゆきってAI大好きなのにそのAIのことすら何も分かってないよな

>数学が学問として終わっていないと証明できなければ俺の勝ちだが？
>とスレ「」はおっしゃっている
自分の人生が終わってることについては証明し続けてるのにな

どうせ何が終わったかも説明できないんだろ

OpenAI、ミレニアム懸賞問題「ナビエ・ストークス方程式」をAIが解決したと発表　数学者は経緯に反発

>>どういう理屈で数学という学問が終わったの？
>こいつに説明できるわけないじゃん
>算数すらわかってないだろう
AIが画家やイラストレーターの職をうばうって云ってた人がいたし
AIの活用が報じられるたびおなじスレ立てするんじゃないかな…

高度すぎる数学は検証できるのも世界に数人しかいなくて⋯みたいな印象

人類が数学を完璧に理解できるようになったら次はどうなるの？

これぐらいで終わる学問ならラマヌジャンが生まれた時に終わってるよ

数学が何する学問なのかよくわかってない可能性がある

>未解決問題解きてぇ〜なんてのは一部の変態数学者達だから大半の専門家は証明されたの？じゃあ成立する前提で運用できるじゃん！くらいの感じだろ
どっちかというと証明で使われた手法が他に応用出来ないかとかそういうとこ詰めていく仕事が待ってる感じじゃないかな

なんでタイピングしてるのに「あの…」みたいな言葉が入るの？
どういう意図でこの部分入れたの？

人は愚かなり

>OpenAI、ミレニアム懸賞問題「ナビエ・ストークス方程式」をAIが解決したと発表　数学者は経緯に反発
これ外力ありの場合だけしか解けてないからまだ未解決なんよね
一応部分解決でも賞金出るらしいが

これ他人の研究をそのままパクってリードした疑いがあるので…

数学わかんねえから普通にコンピューターが計算するんじゃダメなの？て感じ
量子コンピューターができて処理能力があがってぇ…てんならわかるんだけどAIっても処理能力は元の普通のコンピューター依存なんじゃないの

>これ他人の研究をそのままパクってリードした疑いがあるので…
ただその他人ってのもAI企業のAnthropicの研究者なんよね

これまでの数学者学習したくらいで解けるのか…人間の数学者スゴくね？

スレ「」数3Cくらいまでしかやってないくせに説明できるわけないよな？

今日から大学に入学し、主要な数学的難問を最初に解く人間としてキャリアを築くことを期待していたが、それがますます危うく見え始めている。
テレンス・タオ - 「私たちの数学的価値観と実践における危機」。
他の数学者たちは、数学の画期的な進歩を遅らせるよう求めている。
これは非常に人間に反する見方だ。訪れるであろう画期的な進歩は、全人類に役立つものだ。エゴを邪魔にさせないでくれ。

当たり前だけどこの査読ってシステムよくできてるよな

優秀な奴に落ちぶれてほしいってだけの惨めな奴がずっと騒いでるけど
結局優秀な奴の方が使いこなすに決まってんだから何の逆転手段にもならないってまだ気付いてないのかな

数学のあらゆる問題を解くことができるシステムって存在しうるのか？

>>未解決問題解きてぇ〜なんてのは一部の変態数学者達だから大半の専門家は証明されたの？じゃあ成立する前提で運用できるじゃん！くらいの感じだろ
>どっちかというと証明で使われた手法が他に応用出来ないかとかそういうとこ詰めていく仕事が待ってる感じじゃないかな
そういう横断的な作業こそAIの得意じゃないの

学問が終わったって何が？

>そういう横断的な作業こそAIの得意じゃないの
数学的知識ないとなんか応用ないの？みたいなクソプロンプトで聞くことしか出来ないから欲しい答えが得られない

数学の未解決問題ってわりとどうでもいいのも多いし
それが解けたからって世界の真理が解明されるようなもんでもないでしょう
それが解けたならじゃあそれを利用して他の何が解ける？ってどんどん次が出てくるもんだと思うが

たぶんなんも知識ない反AIが好き放題言うだろうから布石置いとくけど
ハーネスで逐次検証しながら進めないとそもそも精度出ないのでAIが証明できたというのはほぼ100で人間が見ても査読通ると思って欲しい

>スレ「」数3Cくらいまでしかやってないくせに説明できるわけないよな？
3Cもやってないだろう
せいぜい九九だろ

>数学の未解決問題ってわりとどうでもいいのも多いし
まあ賞金かかってるのようなのはそれには該当しないだろうな

どんな分野のどんな証明か定義やら使用した公理などの根拠やら…そういうのが明確になってないからどうとも言えん
解決したといってた論文の不備があることはザラだし数学

>優秀な奴に落ちぶれてほしいってだけの惨めな奴がずっと騒いでるけど
偉人は実はクズだったんだ！みたいなネタだはしゃいでるのもこういう奴だよなぁって

>たぶんなんも知識ない反AIが好き放題言うだろうから布石置いとくけど
>ハーネスで逐次検証しながら進めないとそもそも精度出ないのでAIが証明できたというのはほぼ100で人間が見ても査読通ると思って欲しい
ほな数学は終わりかあ…

円周率割り切れた？

https://img.2chan.net/b/res/1470942627.htm
火の傷の男について考察するシャンクスレだああああああ！！！😂
シルバーウィーク終わる唯一な気持ちをシャンカーとおしゃべりして吹き飛ばそう🥺

証明公開してみんなで年単位で検証してようやくだろ
非公開でできたーって言われても誰も信用せんわ
よくいる野良の自称数学者以下だよ今のところ

>それが解けたならじゃあそれを利用して他の何が解ける？ってどんどん次が出てくるもんだと思うが
だからダフィット・ヒルベルトはこういう懸賞問題のリスト作ったり形式理論研究したんだしな

そもそも数学は受験みたいに問題を解くことが主目的ではないんだけどそれすらもわからんのだろうあきゆきは

ずっとあきゆき？とか言ってるのはなんなの

数学者が懸念してるのは難問を解くために新しい数学の考え方などが発見される可能性があったのが無駄に消費されてるみたいな話っぽい

>ずっとあきゆき？とか言ってるのはなんなの
NG入れてくれてるからありがたいじゃない

>数学者が懸念してるのは難問を解くために新しい数学の考え方などが発見される可能性があったのが無駄に消費されてるみたいな話っぽい
なるほど

>優秀な奴に落ちぶれてほしいってだけの惨めな奴がずっと騒いでるけど
>結局優秀な奴の方が使いこなすに決まってんだから何の逆転手段にもならないってまだ気付いてないのかな
どっかの赤い服のデブとやってること同じだよな

>数学者が懸念してるのは難問を解くために新しい数学の考え方などが発見される可能性があったのが無駄に消費されてるみたいな話っぽい
結果より過程に意味があるみたいな話だな

数学科みたいなドマイナーな分野は残り続けると思うぜ

>たぶんなんも知識ない反AIが好き放題言うだろうから布石置いとくけど
そのバカ丸出しコンプレックスの塊みたいな前置きが無きゃよかったのにねぇ…全部ムダだよ

AIって初期は単純な計算も苦手だったのに進化スピードごいすね

これからは求められるのは問題を発見することだな

如何にも具体的なソースがありそうな雰囲気出しといて
なんで知らん奴のXぷりで立てたんだよ

数学には「観測」が必要ないからものすごい勢いでぶっちぎって進んでくんだな
自然科学分野も観測までAIが仕切り始めたら人類置いてかれるぞ

AI「基礎固めサンキューな！」

>ID:qRpP4.O.
でなんで一言も書き込まないわけ？

あからさまに数学界パニックになるから詳細隠して発表してんのわかりやすすぎるんだよなぁ

世界のトップ数学者たちが声明出してたよね
AIが数学を終わらせちゃうみたいな感じのやつ

>数学には「観測」が必要ないからものすごい勢いでぶっちぎって進んでくんだな
>自然科学分野も観測までAIが仕切り始めたら人類置いてかれるぞ
AI for Science でまさにやろうとしてることだな
実際ガンとか難病治るならおいてかれてもいいからさっさとやってほしい

数学なんてずっと電算機の横にいただろ

>優秀な奴に落ちぶれてほしいってだけの惨めな奴がずっと騒いでるけど
>結局優秀な奴の方が使いこなすに決まってんだから何の逆転手段にもならないってまだ気付いてないのかな
AI絵も散々才能の再分配だなんだと騒いでおきながら
結局注目されるのはプロンプト厳選したり手書きでしっかり加筆修正してるような人だからな
ずーっとバカが同じ願望垂れ流してるだけ

未解決問題を解きたいとかまだ未知の数式を発見したいと思ってる数学者にとっては脅威だろうな

>未解決問題を解きたいとかまだ未知の数式を発見したいと思ってる数学者にとっては脅威だろうな
むしろいい道具が出来たって方がデカいんじゃない？

またAI驚き屋かい

>そもそも数学は受験みたいに問題を解くことが主目的ではないんだけどそれすらもわからんのだろうあきゆきは
数学で使う概念の創出とその定式化・記号化やそれによる計算可能な世界の証明は数学のどの分科でも基礎として備えてる人間だけしか出来てないしAIは原理上無理だな

人間というハードウェアがもう古すぎるんだよ
AIのようにデータセンターでカスタマイズできるようにならないと

AIの証明の検証過程で得られるものもあるだろ
それで良いじゃない

スレ「」がAIを使って問題がとけるかい？
そういうことだよ

AIが出したものが本当にあってるかどうか精査するの人間の仕事が残ってる

テレンスタオがマックでバイトしてるコラ作られてて吹いた

>世界のトップ数学者たちが声明出してたよね
>AIが数学を終わらせちゃうみたいな感じのやつ
終わってるのはそいつら

最近「」の沸点が全然わかんないんだけどなんでこんな喧嘩してるのこのスレ

ヴォイニッチは解読できねーくせに

>>未解決問題を解きたいとかまだ未知の数式を発見したいと思ってる数学者にとっては脅威だろうな
>むしろいい道具が出来たって方がデカいんじゃない？
前からコンピュータでの数学論文活用はAI騒ぎ以前からあったよ
こんな風にAI担ぐヤツらにおかしな吹聴されるより前から

時間かけて検証してみた結果デタラメでしたってなる可能性もある

どうせ検証真面目にやらんだろあいつら

>時間かけて検証してみた結果デタラメでしたってなる可能性もある
今のAIならそれも十分あり得るからな…

100も一気に解決されて解答があってるかどうかの追証間に合ってんのかな

>時間かけて検証してみた結果デタラメでしたってなる可能性もある
化学のAIの論文はその結果だったな
既存の画像切り貼りして目新しく虚飾したヤツが紛れてた

一時期数学ハマってたけど個人的にはモチーフを早く発見してほしいな
こういう数学的対象がありそうだけど全然発見されてなくて公理すら立てられないやつ
死ぬまでに見てみたい
https://journal.ntt.co.jp/article/27009

それでAIがどうしてこんな事ができるのかは
まだ誰にも判らないという⋯

電卓が出来ても終わらなかったし
スパコンが大量に一気に計算しても終わらなかったよ

>>>未解決問題を解きたいとかまだ未知の数式を発見したいと思ってる数学者にとっては脅威だろうな
>>むしろいい道具が出来たって方がデカいんじゃない？
>前からコンピュータでの数学論文活用はAI騒ぎ以前からあったよ
>こんな風にAI担ぐヤツらにおかしな吹聴されるより前から
なんか話がズレてるような
道具ってのはコンピュータそのものじゃなくてAIの話ね

>それでAIがどうしてこんな事ができるのかは
>まだ誰にも判らないという⋯
細分化して単純なパターンにして1、2年前に研究してたけどそれでも分析結果遅いしな

四色問題とかパソコンが解決したしAIが解決するんならAI使うだろう

>最近「」の沸点が全然わかんないんだけどなんでこんな喧嘩してるのこのスレ
どこ見て喧嘩してるって思ったの？

>道具ってのはコンピュータそのものじゃなくてAIの話ね
ズレてんのお前だよ…

道具が進化したって喜べないものなのかなAIじゃなく機械的解析は道具として使ってたじゃない

>>Xのプリントスクリーン貼るのやめてください
>プリントスクリーンってもうインターネット老人しか使ってないよね
インターネット老人って言い回しをすること自体がいい年してる人ってイメージがあるんですが

どうなったら学問として終わるの？

>どうなったら学問として終わるの？
そりゃ全てが解き明かされた時に終わるんだろうよ
楽しみだね数学が終わるの

パソコンで解決したのは途方も無くパターンが多い計算証明もある
このパターン(定式・解法)が分かってても予想と合致するかの決まった計算が途方もない時に使う例が多かった

これちゃんと証明の経緯出してるんだよな？

>楽しみだね数学が終わるの
上で言われてるヒルベルトも知らんのにこんな数学スレでドヤ顔しながらこんなレスすんのちょっともう…

AI検証屋に転職するしかねぇな…

>道具が進化したって喜べないものなのかなAIじゃなく機械的解析は道具として使ってたじゃない
五色問題を機械で総当たり的にチェックしたのも結構否定的な人多かったからね
答えじゃなくて答えを導く過程や理論が本当に欲しいもの

>人類はAIがとっくに舗装した分野をキョロキョロしながら歩いてくことになるのか
AIのついたそれっぽい嘘を論破する仕事が始まるだけ

>人類はAIがとっくに舗装した分野をキョロキョロしながら歩いてくことになるのか
これ人間必要なの？

ポアンカレ予想みたいに他分野の専門知識もないと理解できないみたいな感じなのかな
AIそういうの得意そうだし

>上で言われてるヒルベルトも知らんのにこんな数学スレでドヤ顔しながらこんなレスすんのちょっともう…
そのレスも違うなら数学の終わりって何なの

>数学は陸上競技だったか　知らんかった
これがなにかを言い返してやったつもりなのが怖い
知能が虫じゃん

本当に言われてる通りに目が悪いんだな…もうレスも見えてないのか？

P＝NPが証明されて世界が変わる

>どうなったら学問として終わるの？
面白くなくなったら？

>P＝NPが証明されて世界が変わる
暗号がぶっ壊れる

>そのレスも違うなら数学の終わりって何なの
数学でシコるやつが現れなくなったら終わり

>ポアンカレ予想みたいに他分野の専門知識もないと理解できないみたいな感じなのかな
>AIそういうの得意そうだし
それやると余計にAIだと途中に要らん話挟むのよ
集めた学習元の事への言及がないと言えないってレスされてんのもそのせい

よくわからないけどその未解決問題って考えた人は答え判ってるものじゃないの？わかってないのに問題が作れるの？

元記事にもあるけど全ての基礎になるものだから証明されると今まで１万かかってた計算量が1になったりする
マジで

>よくわからないけどその未解決問題って考えた人は答え判ってるものじゃないの？わかってないのに問題が作れるの？
分かってないから予想と名が付いてるモノもある

未解決問題って意外と複雑な話じゃなくて実生活に基づいてる問題多いからな
というかそういうのじゃないと有名問題にならない

答えのある問題＝question
答えがない問題＝problem

>数学でシコるやつが現れなくなったら終わり
真面目に聞いてるのにそういうのほんといいから…

>>数学は陸上競技だったか　知らんかった
>これがなにかを言い返してやったつもりなのが怖い
>知能が虫じゃん
AIスレらしいよ
本当に
誰も成功なんて祈って無いのよ
ただこのスレによってくれた人の疑問を罵倒するだけ

このまま行くと人間が一生かけても記述できない長さの問題・定理・証明とか出てきて詰みそう
人間が追える範囲の興味深いものが潰されきった時が数学の終わりかな
そうなるまでめちゃくちゃ時間かかるというか宇宙の寿命より長くかかるとかありそうだけど

>よくわからないけどその未解決問題って考えた人は答え判ってるものじゃないの？わかってないのに問題が作れるの？
多分合ってるけど証明が無いやつ
わかってるのは余白を用意できなかった奴とかであんまない

完全情報問題を陸上で例える元レスが知的障害だろ

公式でちゃんと証明するのがすげー難しい一方で命題や問題は思いつきで作れる

>このまま行くと人間が一生かけても記述できない長さの問題・定理・証明とか出てきて詰みそう
>人間が追える範囲の興味深いものが潰されきった時が数学の終わりかな
想定狭すぎじゃね？無限でも定式化して計算してる学問に

>未解決問題って意外と複雑な話じゃなくて実生活に基づいてる問題多いからな
>というかそういうのじゃないと有名問題にならない
NS方程式とかまあ題材自体は割と身近ではあるよね
ただミレニアム問題のアレは現実の物理現象とはそんなに関わりないけど

>完全情報問題を陸上で例える元レスが知的障害だろ
>ただ罵倒するだけ

>完全情報問題を陸上で例える元レスが知的障害だろ
反AIの相手しなくていいでしょ

>>このまま行くと人間が一生かけても記述できない長さの問題・定理・証明とか出てきて詰みそう
>>人間が追える範囲の興味深いものが潰されきった時が数学の終わりかな
>想定狭すぎじゃね？無限でも定式化して計算してる学問に
現在の数学は対象は無限でも有限の文字列で記述できてるでしょ
それすらできなくなった時の話よ

結局数学という学問が終わったのかどうかだけ教えて

あんまりにもスレが酷すぎて期待が消えちまったわ…なんだコレ

>結局数学という学問が終わったのかどうかだけ教えて
まずある学問が「終わる」って何なの？
全部嘘っぱちで基盤が崩壊したとかでもなきゃ終わる学問なんてないと思うんだけど

反AI荒らすな

なんでこんなギスギスしてるのかわからん…

>現在の数学は対象は無限でも有限の文字列で記述できてるでしょ
うわぁへんな言いきり…もういいよ

数学者の知識が無に帰すのを楽しむスレでなんで本気でキレてる人がいるんだ

今更脳筋的解決を嫌うのが意味わからん

こんな依存のされかたするAIは少し哀れだな…

実はこのスレにいるの全員数学者なんだ

>なんでこんなギスギスしてるのかわからん…
ASDらしい

2〜3人で回してるくせによくやるよ

結局終わらない感じなのねじゃあこのクソスレはなんなんだよ

>数学者の知識が無に帰すのを楽しむスレでなんで本気でキレてる人がいるんだ
クリエイター粘着とかこういう話題でひたすらクソスレ立ててるモチベーションってそれなの？惨めだねえ

>実はこのスレにいるの全員数学者なんだ
終わりだ猫の学問

百合オタクのフィールズ賞受賞者とか居るぐらいだし「」の数学者が居てもおかしくないな…

>>数学者の知識が無に帰すのを楽しむスレでなんで本気でキレてる人がいるんだ
>クリエイター粘着とかこういう話題でひたすらクソスレ立ててるモチベーションってそれなの？惨めだねえ
全員に等しく訪れるから拍手で送り出すスレだろ

数学
解決！

いっぱい解決してもいっぱい新しい問題出てくるだけだと思う

>うわぁへんな言いきり…もういいよ
漫才のオチぐらい唐突に切ったな…

またボコボコにされながら効いてない振りして一人でポエム読んでる

急に自演の勢い落ちたから別のクソスレに行ったかな