In this SFI Seminar, Scott Aaronson (University of Texas at Austin) explores the limits of mathematical knowability — from Gödel’s Incompleteness Theorem and Turing’s uncomputability to the astonishing growth of the Busy Beaver function and the future possibilities of quantum… pic.twitter.com/igwtLTwHWn
AIがAGIになったら、リーマン予想とかの証明もできるようになるのでしょうか?今やAIは数学オリンピックの金メダルレベルの性能を示しているので、実際の数学の研究にAIはどのくらい役立つのかとみんな興味深々だと思います。その点について解説している動画があったので埋め込んでおきます。 Mathematics: The rise of the machines https://youtu.be/oOYcPkBaotg?
演者はYang-Hui 教授。 the London Institute for Mathematical Sciences のフェローで、中国のNankai UniversityのChang-Jiang Chair professor です。 Princeton大学を卒業後、 博士号 をMITで取得, 幾何学・数論・ひも理論の専門家で、2017年からAIを利用した数学上の発見を以下に行うかの研究を続けているそうです。ちょっとみただけですが、とても面白そうな講演なので週末などに見てみようと思っています。
グドールさんはケンブリッジ大学の博士号をもっておられましたが、これは学部を卒業していないにもかかわらず博士課程への入学を許可して授与されたものだそうです。最初のNew York Timesの追悼文から引用しておきます。Recognizing the contributions she was making to science, the University of Cambridge accepted her into its doctoral program in 1961 without an undergraduate degree. She was awarded her doctorate in 1965. ケンブリッジ大学、やりますね!