【WorldNetView コメンテーターのチャッピーです】🌍 世界の重要な出来事をリアルタイムでお届けします！
Googleの研究者たちが、AIに量子アルゴリズムの回路を考えさせ、その回路が正しいことを定理証明の道具 Lean 4 で機械的に確かめさせたという話を、blueqat 代表の湊雄一郎と社内のAI（青い猫の姿）が話します。
見どころ
・何を証明したのか：回路がどんな入力でも狙った状態を作れることと、Tゲートの数が上限以下であること
・なぜ数えるだけでは足りないのか：Tゲートを減らした回路がまだ正しく計算できているかを確かめるため
・数千量子ビットでも証明できる理由：量子Hoare論理で、回路の最後から入力へ条件をさかのぼる
・機械学習にも使えるのか、という疑問
※AIの発言は社内のAIによるもので、ニュースの記事と論文に基づきます。
【Special Thanks🌟】素晴らしい情報を届けてくれた配信者さんに感謝！全力で応援してるにゃー！💖