昨日紹介していたEverythingでファイルの内容を検索するやり方はだいたいうまくいくようになりました。ただAlt+右クリックで選択範囲をコピーしてEverythingの検索窓にいれるのがコピー処理のタイミングの影響だと思いますがうまくいかない（うまくいくこともあるのですがほとんどうまくいかない）ので、AutoHotKeyのプログラムを改訂する必要があると思います。その辺のことは明日書くことにして今日はこんなシンポジュウムの動画が全部公開されたという話題です。
数学者がAIの登場でものすごい影響をうけているのはよく知られるようになってきました。AI時代の数学研究のこれからについて様々な専門家の講演がきけるシンポジュウムの全動画がYouTubeで公開されています。
All Future of Mathematics Symposium talks are now available on Youtube, linked below.
Day 1 talks:
Leonardo de Moura, Amazon
Clark Barrett, Stanford
Michael Freedman, Harvard
Kevin Buzzard, Imperial
Andrea Bertozzi, UCLA
Adam Brown, DeepMind
Deirdre Haskell, Fields Institute pic.twitter.com/HFe8IkNScm— Jared Duker Lichtman (@jdlichtman) May 19, 2026
5月1日―2日にかけて開催されたFuture of Mathwematics Symposiumの動画です。
https://www.youtube.com/@FoMathematics
Leonardo de Moura: Machine-Checked Mathematics in the Age of AIhttps://t.co/byaSD4xvAe.
Clark Barrett: CSLib – Building a Platform for AI-assisted Formal Verification in Leanhttps://t.co/dsXQZXgQeh.
Michael Freedman: Compression Is All You Need – Modeling Mathematics…
— Jared Duker Lichtman (@jdlichtman) May 19, 2026