2023の2022乗がちゃんとわからないという数学が不得意なChatGPT、果たして大学の1年生で学習する数学 (解析学) に出てくる証明はできるのでしょうか。 ChatGPTとBingAIで試しました。 (2023年2月末頃の記録です。今日2023年3月15日GPT-4が出たので、随分変わるのではないかと思います。) tl;dr 前半、やっぱり現在[1]のチャットAIは数学は苦手なんだなあ。 後半、これはなかなかすごい。 1次関数の連続性 まず、1年生用の簡単な証明問題をやらせてみます。 入力 関数f(x)=xがすべての実数xで連続であることを証明して下さい。 ChatGPTの出力 f(x)=xがすべての実数xで連続であることを示すには、以下の3つの条件を証明する必要があります。 f(x)が定義されているすべてのxで存在すること。 f(x)がx=aで連続であるための\epsilon-\d