202608502

数学の公理系や定理の重要度みたいなものは、 100 % ヒト固有の価値観に依存しているわけではなく一定の客観性がある、というのが一般的な認識だと思う。「AI は問題を解くだけで、問題そのものは提起できない」とする根拠は薄いんじゃないかなあ。非機械学習的な記号推論による定理証明器にとっては両者の間にギャップがあるが、現在の AI にとってギャップがあるかはよく分からない。潜在的には定理証明の性能に対応する問題提起能力があると考えた方が自然な気がする。