法律と医療から見る、AI 実務の四つの評価軸

AI の性能は、多くの場合、与えられた入力に対してどのような出力を返したかで評価される。質問応答なら正答率、分類なら適合率や再現率、文章生成なら人間評価や別の評価指標を使える。この方法では、評価対象となる問題文や資料が最 … 続きを読む

生成 AI は、文章と書き手の思考を切り離せるようにした

文章を読んでいるとき、読者は文字列に記された命題だけを受け取っているわけではない。とくに論考や解説では、書かれている事実だけでなく、何を問題として選び、どの根拠を採用し、そこから何を判断したのかまでが文章の内容になる。そ … 続きを読む

フェルマーの最終定理の形式化で、AI が生成した証明を Lean がどう検証したか

AI が正しい文章やコードを生成できることと、その成果物が正しいと確定できることは別の問題である。生成結果がもっともらしく見えること、過去より正答率が高いこと、別の AI が正しいと評価したことは、いずれも成果物そのもの … 続きを読む