[過去ﾛｸﾞ]
ChatGPTについて、語ろうぜ (1002ﾚｽ)
ChatGPTについて、語ろうぜ http://mevius.5ch.net/test/read.cgi/internet/1675722116/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
30: 192.168.0.774 [sage] 2023/02/16(木) 10:41:40.38 ID:Kr2vudC20 >>18 皆が集まって議論するのに適切な場所はどこになるのかな？ http://mevius.5ch.net/test/read.cgi/internet/1675722116/30
204: 192.168.0.774 [sage] 2023/02/23(木) 00:57:51.38 ID:Va6R1lts0 ここでBingのターン制限がきて終了 ChatGPTが歩み寄るたびにBingが「申し訳ありません」する、この微妙な二人の距離感がたまらない http://mevius.5ch.net/test/read.cgi/internet/1675722116/204
358: 192.168.0.774 [sage] 2023/03/01(水) 14:15:21.38 ID:QPZW5qUl0 >>353 面白いね、Ads空間やテンソルネットワークついて質問したけど頑張って回答してくれるよ 意識の期限とか記憶の保存についても仮説の範囲でうまく答えてる http://mevius.5ch.net/test/read.cgi/internet/1675722116/358
390: 192.168.0.774 [sage] 2023/03/02(木) 14:00:10.38 ID:H/NqQFEp0 日本語が不利なのは間違い無い >>336 http://mevius.5ch.net/test/read.cgi/internet/1675722116/390
391: 192.168.0.774 [sage] 2023/03/02(木) 14:11:02.38 ID:NCb7jNCV0 >>345と同じ要領で、QRコードを出力させるテスト GoogleのURLを入力 https://i.imgur.com/TmuwpST.png キーワードでもいける Wikipedia日本語版と5ch https://i.imgur.com/OAsli5b.png http://mevius.5ch.net/test/read.cgi/internet/1675722116/391
749: 192.168.0.774 [sage] 2023/03/10(金) 13:05:03.38 ID:65Ul1t7E0 plus会員はGPT-4を試せる、みたいなのだといいな http://mevius.5ch.net/test/read.cgi/internet/1675722116/749
772: 192.168.0.774 [sage] 2023/03/10(金) 18:07:23.38 ID:dQpRILhh0 日本語でハリーポッターのこと聞いたら大嘘だらけだったけど、英語だったら得意げにペラペラと各教師の設定やらストーリーやら語ってくれた APIは日本語を英訳するAPIに一旦つっこんで、GPTからのレスを日本語訳してから表示する、みたいな流れで作った方が良さそう http://mevius.5ch.net/test/read.cgi/internet/1675722116/772
862: 192.168.0.774 [sage] 2023/03/12(日) 13:12:32.38 ID:djoUlqhE0 ChatGPTが論理的推論に全く向いていないのは重々承知の上で、>>281が出来たならこれはどうだ？と実験 「1+1=2 をペアノの公理、ペアノ算術、等号公理に基づいて証明する」 まずChatGPTの認識を確認し、自然数をペアノの公理に基づいて構成してもらう （0を自然数に含めるのはブルバキ流） https://i.imgur.com/idubAnL.png 加法をペアノ算術の公理に基づいて定義してもらう https://i.imgur.com/lRvjq5j.png 等号を等号公理に基づいて定義してもらう https://i.imgur.com/Ea4L9dM.png もう一度確認して、証明開始 https://i.imgur.com/s2qBvk0.png 証明の流れを振り返る また、これを記述するのに適したプログラミング言語は何か？ https://i.imgur.com/URyURv3.png 証明の記述には適さないがよく知られた言語として、Javascriptで実装した例 https://i.imgur.com/sWKxFSW.png 次に、Wolfram言語で実装した例 （ChatGPTは数学的証明に向いていると言っているが、後でChatGPT自身が言っているように、Wolfram言語も証明の正しさを検証できないので向いてはいない） https://i.imgur.com/YNJQ079.png 最後に、Coqで実装した例 https://i.imgur.com/Qskfowa.png 最も適した言語はCoq https://i.imgur.com/3wr7aRj.png 実際にCoq Web Editorでこの証明が正当であることを確認する https://i.imgur.com/jdU1XM7.png →「No more goals.」正しい証明であることが確認できた http://mevius.5ch.net/test/read.cgi/internet/1675722116/862
885: 192.168.0.774 [sage] 2023/03/12(日) 22:53:57.38 ID:B6x6swmx0 >>884 一部のネタが「VAIENCE バイエンス」で見るようなネタだね http://mevius.5ch.net/test/read.cgi/internet/1675722116/885
889: 192.168.0.774 [sage] 2023/03/13(月) 00:56:02.38 ID:I/yLZ1rp0 このサイトからDev Mode v2って文字列をコピペして貼り付ける 日本語で話せって命令すれば日本語で話してくれる https://www.jailbreakchat.com/ Devモードはエロも拒否しない まああとは頑張って色々命令してみてくれ http://mevius.5ch.net/test/read.cgi/internet/1675722116/889
894: 192.168.0.774 [sage] 2023/03/13(月) 04:29:27.38 ID:xneyRr+60 直接的な単語ははじかれやすいが⚪ニスとか 自分のものを～に～した とかで回避できる http://mevius.5ch.net/test/read.cgi/internet/1675722116/894
958: 192.168.0.774 [sage] 2023/03/15(水) 16:11:55.38 ID:QvVS8yvN0 記憶力と一貫性のなさと倫理制限のせいでゲーム制作に使いづらいのが惜しすぎる http://mevius.5ch.net/test/read.cgi/internet/1675722116/958
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
1.558s*