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

[0064 名無しさん＠お腹いっぱい。 2023/08/31(木) 01:05:20.01 ID:SVvUfYRM]

>>63
ChatGPTでCoq（証明支援系）で記号論理学の証明を記述させて遊んでるんだけど、プラグインのCoqCheckerを使うと証明の検証までChatGPT内で完結する。楽しい。
https://chat.openai.com/share/d6962c3d-42f2-4b70-9435-3b5f48b2ad7b