数学マニアはChatGptのThinking機能で高校レベルの難問解けてしまうことどう考えてるの? (100レス)
上下前次1-新
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
60: 11/13(木)11:26 ID:PUWxwoH8(1/7) AAS
>>59
↑
本題はロボットと宇宙と言っているくせに、
こうやって数学板にこだわる理由が分からない。
よほど数学にコンプレックスがあるのか、もしくは、
数学板の連中に悪態をつかれて不快な思いをした悲しき過去があるのかもしれない。
そんな連中を攻撃したくてウズウズしていて、AIがちょっと進化するたびに
「ほら、AIはここまで進化したぞ。お前ら数学板の住人は用済みだぞ」
と威張りたいのかもしれない。
でも、これって単なる「虎の威を借る狐」にすぎないのであって、
本人のコンプレックス解消のためにAIを引き合いに出してるだけだよね。
まともなAIの使い方ではないよね。
AIが人間と同じレベルまで数学の研究ができるようになってから
スレを立てればいいのに、どうしても我慢できないらしい。
61: 11/13(木)11:34 ID:PUWxwoH8(2/7) AAS
>>59
>数式の提案や変形でAIは普通に役に立つし論文にも役立つなのに
>まったく役に立たないっていうのどうかと思う
結局それって「現状のAIは補助ツールでしかない」ってことじゃん。
「補助ツールは補助ツールなりに、あくまでも補助ツールとしての使い道はある」
と、そういう評価はちゃんとしてるでしょ。全く役に立たないなんて誰も言ってないじゃん。
AIが役に立たないってのは、
「人間の数学者が日々論文を書いて、未解決問題を解いたり、新しい数学を開拓したりしている」
というレベルでの話。だって、同じことをAIにやらせたら、現状では成果が出てないから。
人間の数学者にできることが、AIにはできないから。
それはさておき、補助ツールとして役に立つ機会は増えている。
たとえば、初学者が独学するときの教師としては使い物になりつつある。
しかし、現状はそれ以上でもそれ以下でもない。
これの何が不満なんだよ。何度も言ってるだろ。AIが人間の数学者と同じレベルまで
数学の研究ができるようになってからスレを立てればいいんだよ。
どうしてそこまで待てないんだよ。
62: 11/13(木)11:57 ID:PUWxwoH8(3/7) AAS
>AIが人間の数学者と同じレベルまで数学の研究ができるようになってからスレを立てればいいんだよ。
>どうしてそこまで待てないんだよ。
これに関して補足。君がどうしても「待てない」と言うのであれば、それはつまり
「AIがそんなレベルに到達するのは遥か未来の話であって、その水準は最初から諦めてる」
ということに他ならない。君は薄々AIの限界に気づいていて、
そんな未来まで待つわけにはいかず、「今」こういうスレに書き込むしかないってこと。
「そんなことはない。あと数年でAIは人間の数学者を完全に上回る」
などと本気で確信しているのなら、後方で腕組みして数年待てばいい。
それができない時点で、君自身、AIの進化のスピードを いまいち信用できてないってことだよ。
64: 11/13(木)13:28 ID:PUWxwoH8(4/7) AAS
>>63
>個人が使える環境ですら数オリ解けるならその何十倍もの規模の研究レベルの環境なら
>俺らが知らないアプローチで研究されてるにきまってる。
当然、水面下では研究されてるだろうが、なんたって目に見える「結果」が出てない。
AIの提案がクリティカルに効いた数学の論文を、君はいくつ知ってるんだ?
そんな論文が10個も20個も出てきたら「いよいよ研究レベルでもAIが役立つ水準になったな」
という実感は湧いてくるがね。
>AIの進化スピードは前倒しになってると思うよ。
だったら、AIが人間の数学者を超えてからこういうスレを立てればいいね。何度も言ってるけど。
65: 11/13(木)13:33 ID:PUWxwoH8(5/7) AAS
>>63
>何故「数学者はすごい」「新しい数学を作り出した数学者こそすごい」になるの?
「数学者はすごい」なんてどこに書いてあるの?
「人間の数学者が日々論文を書いて、未解決問題を解いたり、新しい数学を開拓したりしている」
という作業をAI単独で自律的にこなせるレベルには到達してないよね、
AIがそこまで進化してからこういうスレを立てたらいいね、という話しかしてないけど。
66(3): 11/13(木)13:38 ID:PUWxwoH8(6/7) AAS
>>63
>補助ツール補助ツールっていうけど、その補助が凄まじく発想を伴うものって認識はお持ち?
>チャッピーは数式の提案や微調整や選定を行うし人間と変わらないよね?
では具体的に聞こう。
U={(x,y)∈R^2|x^2+y^2<1} と置く。調和関数 u:U→R であって、
次の(1),(2)をともに満たすものが存在することを示せ。
(1) lim[r↑1] u(r*cos(t),r*sin(t))=0 (∀t∈[0,2π) ).
(2) sup[(x,y)∈U] u(x,y) = +∞.
↑この問題を chat gpt に聞いたら、いつまで経っても正しい答えを出力してくれないんだけど?
提案してくるアイデアも陳腐なもので、
「そのアイデアのもとで正しい u(x,y) が構成できるなら苦労しねえよ」
って感じ。実際、そのアイデアに沿って chat gpt がお出ししてくる u(x,y) は間違ってる。
しかも、俺が知ってる答えは、そのアイデアと無関係に構成されるもの。
つまり、chat gpt は最初から的外れなアイデアに拘って自爆してる。
もちろん、そんなアイデアでも工夫を凝らせば別解に到達することはできるのかもしれない。
だが、それならそれで chat gpt 自身がきちんと正解を出力してくれないと困る。
他の AI サービスなら一発で答えを出してくれるのか知らんけど、
どのみち、今の AI はこういう「袋小路」にハマって
いつまでも答えに辿り着かないことがよくあるんだわ。
今度は君の番だよ。上記の問題を AI に質問して、正しい答えをこのスレに書いてみてよ。
できたらできたで「スゲー」ってなるだけなんで。
68(1): 11/13(木)20:56 ID:PUWxwoH8(7/7) AAS
>>67
うん、だからね、そうなってからこういうスレを立てればいいと何度も言ってる。
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ
ぬこの手 ぬこTOP 0.023s