数分で解ける事に考え続けるってダサくね?
難問って皆が解けないから価値があったんだよね?
昔は価値があったけど今はしょぼいでいい? そもそも人の出した問題を解くなんてのは元からダサいこと 元からしょぼいよ
河野玄斗が数論幾何で論文書けんのか?って話 親切な参考書があったって独学できない人は予備校行ってたんだから、ChatGPTの時代も自分で調べない・勉強続けられない人のために受験数学芸人の価値はあるんじゃない? ChatGPT代行で金が稼げる時代
馬鹿からはどんだけ搾取してもいい 数学マニアって、Wikipediaをザッピングして
オイラーの等式が美しいとかラマヌジャンがすげーとか言ってるだけじゃん
おもちゃがWikipediaと過去問からChatGPTに変わっただけ 数学マニアって、Wikipediaをザッピングして
オイラーの等式が美しいとかラマヌジャンがすげーとか言ってるだけじゃん
おもちゃがWikipediaと過去問からChatGPTに変わっただけ 数学マニアって一応は学生の時「数学が出来る頭いいひと」って個性を貰えたわけだが
無くなった今どういう位置づけになってんの? まぁ承認欲求だけで生きてる人間には一生わからんやろな 計算問題との対比で難問は美しかったわけで数学者ですら解けないみたいな逸話好きだよなお前ら
その難問がそこら辺の小学生がAIに聞いてションベンしてる間に解けてしまう今
難問に対してどう思うの?評論とかするの恥ずかしくなったりしない?
入試数学必要???確か社会は不要とか言ってたから同じことだよね? だよなぁ、絶望的な気分になる
分野は数学じゃないが、俺はもう研究と教育から足を洗うことにしたよ
やってらんない
ま、どっちみち定年なんだけどw 承認欲求じゃない人は楽しめるの?
LLMのThinkigがもっと進化すればもっと難しいのが解ける
これが当たり前になればAIが単に問題を解く=正になり
傍観するのは楽しいだろうか? 受験数学をAIに解かせて
解かせた人間は査読練習
すれば解決なんでないの おれの返し鋭い!とか思って悦にいってるんやろ。
人間としてこわれてる AI vs 自分という価値観の人はストレスたまるのかと思う
自分のアイデンティティの領分がとられたと感じたりして >>21
人の関係問題は難儀なものだよね。それこそ物理板の【サビ】錆【サビ】スレが必要だ chatgptが過去の数オリの難問普通に解けるの見て
何もかもやる気を無くした
「〜君って数学の天才らしいよ」っていう噂ももうされなくなった スレタイが「高校レベルの難問」に限定してるのは何故だろうと思ったが、
今のAIではその辺が限界だからか
未解決問題がポンポン解けるくらい進化してから
満を持してスレを立てればいいのに、
>>1
は待ちきれなかったんだな
そこで待ちきれないという節操のなさが、
数学に対する
>>1
のコンプレックスの表れ >>24
>chatgptが過去の数オリの難問普通に解けるの見て
解答を学習したかも? >>24
数学オリンピックレベルの難問を作り出させることはできるかな?
できるとしてそれをもう1つ別のAIに解かせるということをお互いに繰り返させていれば
どんどん頭よくなっていくのではないだろうか 高校レベルの難問ってのは大学レベルも同様よ
だってジャンルは高校か大学かで学ぶかの線引きに過ぎないから
大学の教科書に乗ってるムズい問題もチャッピーはすらすら解いてくれてるよ詳しい解説付きでね
めちゃ助かる
数学が人より出来るやつに頼る必要がなくなった 現代の調べ学習
wikipedia+something brog←既に有る
+
ChatGPT+何か←片方無い
+
何か+何か←まだ無い
これでどうだ ※AIに聞く以外に、新しい調べ学習も、今後出てきたらいいな、って そういえばAI使ってて自分これあったな、
個人的な先入観をAIに質問できるって点。
AIに難しい問題も答えわかっちゃう面は、
先入観を聞けるとかでないけども一面に、
先入観を他の媒体で払拭できないヒント。 AI…1つに先入観を聞ける。2つ3つはまだ未知
wikipedia…1つ2つ3つ、まだ未知
brog…まだ未知
探すと面白い(自分は) ロボットや生成AIができたら未解決問題とかどうでもいいでしょ
産業に活かせるブレイクスルーが必要でAIは実現してしまった
本題はロボットや宇宙なのに片手間にそこらの優秀な学生より100倍も早く数学解ける時点で称賛しないとな >>34
>ロボットや生成AIができたら未解決問題とかどうでもいいでしょ
数学板に居ながら「未解決問題とかどうでもいい」はナンセンス。
AIによって数学を独学しやすくなったのは良いことだが、
数学にとっての本題は未解決問題(及び新しい数学の創造)である。
それが実現できてない現状のAIは、数学の本題にとっては何の称賛にも値しない。
>本題はロボットや宇宙なのに
だったらロボット板や宇宙板にスレを立てればいい。
わざわざ数学板をチョイスしてスレを立ててるのに、
数学にとっての本題は実現できておらず、それが指摘されると
「本題はロボットや宇宙だから」ってのは論点ずらし。 ちなみに、
>>29
>大学の教科書に乗ってるムズい問題もチャッピーはすらすら解いてくれてるよ詳しい解説付きでね
>めちゃ助かる
これ具体的に何の教科書のどんな問題を質問したの?
「めちゃ助かる」と言ってるからには、君の実体験だよね? >>36
数学の本題をどこに置くかだね。
・いくらでもある未解決問題を何個も解く事
・数学を解く人間の脳を模倣すること
俺は後者のほうが凄いと思う
拡散モデルを生成AIに応用したのは数学界では画期的といえるし賞賛されるべきじゃないの?
後絶対に解けない問題があることって証明されてるんじゃなかった?
必ずしも解くことが数学の発展に重要?新しい数学は何故必要なの?
既存の数学の応用だって大事じゃない?AIはこれ。 >>38
数学の本題は前者だよ。
数学のライトユーザーなら後者で十分かもしれんけど。
たとえ後者でも、最終的には未解決問題が解けるようになったり、
新しい数学を創造できるようになったりするはずで、そこまで行けば前者と変わらんしな。
でも現段階ではそうなってない。せいぜい高校の難問が解ける程度であり、
前者の基準のもとでは全く称賛に値しない。 >>38
>必ずしも解くことが数学の発展に重要?新しい数学は何故必要なの?
ナンセンス。君のような立場では、科学の発展は頭打ちになる。数学どうこう以前の問題。
「未だ発見されてない新しい数学が実はAIに応用可能で、AIの性能が爆発的に伸びる」
という可能性だってあるでしょ。
AIが発展すればするほど、君の主張を補強するのに有利に働くはずで、
となれば君は、AIの発展に寄与する可能性のあるものは何でもウェルカムでないとおかしい。
そして、「新しい数学」はその希望の1つになり得る。
少なくとも、新しい数学がいくらあってもAIの発展にとって困ることはない。
それなのに、「新しい数学がなぜ必要なのか?」と
最初から数学の発展を切り捨てる方向に舵を切るのは、君の立場からすると不自然極まりない。
考えられる理由は1つ。君は数学にコンプレックスがあって、AIにおける数学の介入をなるべく阻止したい。
だから「新しい数学がなぜ必要なのか?」などという発言が出てくる。それが君の本質。 で、君は
>>29
において
>大学の教科書に乗ってるムズい問題もチャッピーはすらすら解いてくれてるよ詳しい解説付きでね
>めちゃ助かる
と書いたわけだが、具体的には何の教科書のどんな問題を質問したの?
「めちゃ助かる」と言ってるからには、君の実体験だよね?
君が大学生なのか、それとも趣味で独学してるだけなのか知らんけど、
君の実体験としてAIが役に立ってくれたんでしょ?
そのエピソードを具体的に聞かせてよ。何の教科書のどんな問題を質問したの? >>40
「新しい数学」とかは数学者に憧れる小学生はみんな言うこと。
だから新しく切り開いた数学という言葉の響きにパワーを感じないんだよ。
拡散モデルという既にある難解数学が人の暮らしを変えつつあるってのは事実だろ?
超難解な理論を選定し理解した上でさらに超応用して作ったのがAI
素人から見てもただ数式を解く数学より実態がある数学のほうが格好良い
AIのために数学を応用して進化を実感しようってのが今の考えで
実際数学が応用されるたびに成長が伴ってるのがAI
数学はこれまで通り発展させるけどAIが必ず必要だよねって理解できる?
ソフトの開発にはOSが必要なのと同じようにね
未解決問題を「解けないから凄い」という軸でしか考えられないのはみっともないし
「新しい数学」は理由はないけど新しいんだよ!新しいとすごいんだよ!は浅はかすぎる
AIを誰もが使ってブーストしろって言ってんの >>42
>数学はこれまで通り発展させるけどAIが必ず必要だよねって理解できる?
>ソフトの開発にはOSが必要なのと同じようにね
数学の場合、OSに当たるのは人間の頭脳であって、AIは今のところ補助ツールでしかない。
時代が進めばAIが必須になる日は来るだろうが、現状ではそうなってない。
だから「そうなった日にこういうスレを立てればいい」と言ってるでしょ。
そうなってない現状でこういうスレを立てて、
案の定、数学的に評価されなかったからといって、
君は何を悔しがる必要があるんだ?
そもそも本題はロボットと宇宙なんだろ?
だったらロボット板や宇宙板にスレを立てればいい。
>未解決問題を「解けないから凄い」という軸でしか考えられないのはみっともないし
「解けないから凄い」とは一言も言ってないね。
「未解決問題が解けない現状のAIは称賛に値しない」としか言ってない。 >>42
>「新しい数学」は理由はないけど新しいんだよ!新しいとすごいんだよ!は浅はかすぎる
新しい数学に理由はある。
「未だ発見されてない新しい数学が実はAIに応用可能で、AIの性能が爆発的に伸びるという可能性がある」
これが理由だよ。何度も書かせるな。
この可能性を否定することは誰にもできないし、そもそも積極的に否定する理由がない。
なぜなら、ワンチャン実際にAIの性能が伸びればAIにとってはメリットしかないから。
そこで君は「新しい数学は何故必要なの?」と積極的に新しい数学を否定しようとしてるんだよ。
これは君の立場と矛盾する。まるで君は、AIの発展を阻害したいかのようだ。 >>42
>AIを誰もが使ってブーストしろって言ってんの
現状、数学では補助ツールでしかない。ここでいう補助ツールとは、
「初学者が独学するときに前より便利な時代になった」という程度のもの。
だから数学的な評価はそこで終わり。ライトユーザーの君としては、
「それでも十分すごいじゃないか。もっと評価してくれよ」
と言っているようだが、そこで1つ質問がある。
君自身は、AIを使ってどのようにブーストしたんだね?君は
>>29
において
>大学の教科書に乗ってるムズい問題もチャッピーはすらすら解いてくれてるよ詳しい解説付きでね
>めちゃ助かる
と書いたわけだが、これはまさにブーストの一例だよね。
で、具体的には何の教科書のどんな問題を質問したの?
「めちゃ助かる」と言ってるからには、君の実体験だよね?
君の実体験として、数学に詳しい人に頼らずとも「めちゃ助かる」という
ブーストを体験したんだよね?
そのエピソードを具体的に聞かせてよ。何の教科書のどんな問題を質問したの?
なぜこの質問をいつまでもスルーするの? >>43
何で補助ツールって認めてるのに現状では頭脳ではないっていうの?
数学の証明って補題の連続だし細かい問題に分けてとかせりゃツールにとどまらないしAIに勝ち目なくね?
>>44
全く新しい数学が何故凄いか説明して。自分流の数学だって新しい数学になるよ?
「何か凄い定理が出てくるはずだ!」って根拠もなく思うのは小学生と一緒だよ?
もしかしたら「新しい数学はインチキを除いてこれ以上は不可能」という定理さえ出てくるかもしれない。
何故ワンチャンAIが数学を変えるかもしれないという発想には至らず
あくまで人が考えた数学がAIに貢献するみたいな考えなの?
確率論ど真ん中の拡散モデルが実世界でガチで役に立った事実を軽視するのは何故?
「新しい数学」連呼してる数学者見たことないよ
>>45
例えば東大入試数学とか難問揃いだったけど聞いたら答えてくれたよ
それに数学オリンピックの難問も解きまくってくれる >>46
>何で補助ツールって認めてるのに現状では頭脳ではないっていうの?
>数学の証明って補題の連続だし細かい問題に分けてとかせりゃツールにとどまらないしAIに勝ち目なくね?
細かい問題に分けて解かせる?口で言うのは簡単だが、
実際にそんなやり方で論文を書いた数学者がどこにいる?
「理論上はこのやり方でいけるはずだ」
という君自身の願望を述べてるだけだよね。夢物語にすぎないね。
それとも、君が提唱するそのやり方で論文を書いてみせた具体例があるなら、ここに挙げてみせてよ。
今のままだと、実体験を伴わない君のようなライトユーザーが理想論を口にしてるだけだよ。
>例えば東大入試数学とか難問揃いだったけど聞いたら答えてくれたよ
>それに数学オリンピックの難問も解きまくってくれる
なぜ入試問題?なぜ数オリ?大学の教科書はどうなったの?
「大学の教科書に乗ってるムズい問題」と書いたのは君だよ?
何の教科書のどんな問題を質問したの?もちろん大学の教科書だよ? >>46
>「何か凄い定理が出てくるはずだ!」って根拠もなく思うのは小学生と一緒だよ?
>もしかしたら「新しい数学はインチキを除いてこれ以上は不可能」という定理さえ出てくるかもしれない。
そうやって「何も出て来ない」ことを積極的に期待する君の方がおかしいと言ってるの。
ワンチャン何かが出てきてAIの発展に寄与してくれるなら、AIにとってはメリットしかない。
それなのに君は、なぜか「何も出て来ない」ことを積極的に期待している。
数学から何も出て来ないなら、数学方面からのAIへの寄与は完全に閉ざされることになり、
それはAIにとってデメリットでしかない。そうなる可能性も確かに否定はできないが、
そんなデメリットを積極的に支持する理由が「君には」存在しない。
なぜなら、AIが発展してくれた方が君には有利に働くから。
それなのに、なぜか君は、AIにとってデメリットになる可能性の方を熱心に提唱している。
それは君の立場からすると矛盾してるでしょ。
結局、君は数学にコンプレックスがあって、数学がAIの発展に寄与するのが
悔しくてたまらないんだよ。数学がAIの発展に寄与するくらいなら、
「新しい数学はこれ以上は不可能」という、AIにとってもデメリットになる結論が
出てきた方がマシだと、君はそう考えてるわけ。そこが君のダメなところ。
AIは君のコンプレックス解消のための道具じゃないんだよ。 >>48
>数学がAIの発展に寄与するのが悔しくてたまらないんだよ
むしろ拡散モデルについて一切触れない君のほうが不愉快そうだけど?
俺はもろ応用数学が実際に役立った系を讃えてるじゃん?
君は愚かなのは新しい数学といえばどこまでも期待を膨らませることができると思っている点で
現実はまぁこの数学で何とかなるよなって意見だったり
これまで新しい数学は出てきたけど結局統合されたよねみたいなことには触れず
「新しい数学こそ世界を作る」と妄信してる点だよ >>49
>むしろ拡散モデルについて一切触れない君のほうが不愉快そうだけど?
拡散モデルについては触れる必要がない。
なぜなら、拡散モデルは「数学がAIの発展に寄与した」という具体例の1つになっているから。
その事実は、自分がこれまで主張してきたことと何の不整合も起こさない。
敢えて拡散モデルを引き合いに出すなら、
「拡散モデルがAIの発展に寄与したように、これから生まれるであろう
新しい数学も、ワンチャンAIの発展に寄与する可能性がある」
ということ。こうなる未来は誰も否定できないし、むしろこうなった方が
AIが発展するのだから、君に取っても望ましい。それなのに、なぜか君は
「新しい数学はこれ以上は不可能」みたいな、AIにとってデメリットになる結論の方を
熱心に提唱している。それは君の立場と矛盾してるよね、って話。