ChatGPTに0除算の結果を聞いてみました。1/0はいくつか？、という問いに対して以下の回答を得ました。
ChatGPT 13:37 cannot divide any number by zero. It is an undefined operation in mathematics. If we try to divide 1 by 0, the result is undefined or infinite.
いやー、旧態依然たる回答ですね。要するにChatGPTが使用しているデータベースには最新の知見が反映されておらず、そんなデータベースから結論を得ているだけで、論理的な推論をしているわけではないということなんですね。これに比べると、きちんと $1/0=0$ を出力する Isabelle/HOL は素晴らしいです。
