機械学習によって解決できるかどうかが証明不可能な学習モデルが発見される機械学習の発達にはめざましいものがあり、画像の中から特定のオブジェクトを認識したり人間の声を正しく認識したりと、機械学習を用いた多くのAIが登場しています。しかしそんな機械学習にも「解決できるのかどうかの『証明』ができない問題」が存在すると、コンピューターサイエンスの研究者が指摘しています。 Learnability can be undecidable | Nature Machine Intelligence https://www.nature.com/articles/s42256-018-0002-3 Unprovability comes to machine learning https://www.nature.com/articles/d41586-019-00012-4 現在、PCやスマートフォンに搭載されたAIから電子メールのスパムフィルターまで、機械学習を用いたアル
