【ChatGPT】AIチャット総合 Part8【Bing・Bard】at ESITE

---

64:名無しさん＠お腹いっぱい。
23/08/31 01:05:20.01 SVvUfYRM.net
>>63
ChatGPTでCoq（証明支援系）で記号論理学の証明を記述させて遊んでるんだけど、プラグインのCoqCheckerを使うと証明の検証までChatGPT内で完結する。楽しい。
URLﾘﾝｸ(chat.openai.com)

---

次ページ

続きを表示

1を表示

最新レス表示

レスジャンプ

類似スレ一覧

スレッドの検索

話題のニュース

おまかせリスト

オプション

しおりを挟む

スレッドに書込

スレッドの一覧

暇つぶし2ch