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を利用した数学上の発見を以下に行うかの研究を続けているそうです。ちょっとみただけですが、とても面白そうな講演なので週末などに見てみようと思っています。