【ChatGPT】AIチャット総合 Part8【Bing・Bard】at ESITE
【ChatGPT】AIチャット総合 Part8【Bing・Bard】
- 暇つぶし2ch64:名無しさん@お腹いっぱい。
23/08/31 01:05:20.01 SVvUfYRM.net
>>63
ChatGPTでCoq(証明支援系)で記号論理学の証明を記述させて遊んでるんだけど、プラグインのCoqCheckerを使うと証明の検証までChatGPT内で完結する。楽しい。
URLリンク(chat.openai.com)
次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch