NewsPicksでインタビューが公開されました： 「数学者→専業主婦→AI研究者」。私が研究で伝えたい“違和感”https://newspicks.com/news/2560546/
記事中で一つ気になったことがあります。"できないことを証明するためのプロジェクト"とあるのですが、数学的に『できない』ってどうやって証明するのですか？ 『できる』ことを証明するのはデモをすればいいので簡単だと思うのですが、『できない』の証明はとても難しい気がします。
Keyboard shortcuts are available for common actions and site navigation.
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
NewsPicksでインタビューが公開されました： 「数学者→専業主婦→AI研究者」。私が研究で伝えたい“違和感”https://newspicks.com/news/2560546/
記事中で一つ気になったことがあります。"できないことを証明するためのプロジェクト"とあるのですが、数学的に『できない』ってどうやって証明するのですか？ 『できる』ことを証明するのはデモをすればいいので簡単だと思うのですが、『できない』の証明はとても難しい気がします。