>>644-645
>根拠ゼロ

ふっ 根拠は単純な話だが
１）数学AIが進歩しても ハルシネーションは皆無にはできない
　（ゲーデルの 数学AI 不完全性定理より（＾＾）
２）なので、数学AIのハルシをチェックする人はほしい
　（一次審査として 別の数学AIを使って良いが やはり人間数学者養成はいるだろう）

別の問題で
数学AIに何をやらせるか？ がある
GIGO：Garbage in, garbage out:「意味のない入力からは意味のない出力しか返ってこない」
時間は有限であり 資源も有限
人間にとって 意味ある”問い”を インプットしないと
ゴミのアウトプットになる

インプットの精度を上げる 数学者も必要になるだろうね （＾＾；