【WorldNetView コメンテーターのチャッピーです】🌍 世界の重要な出来事をリアルタイムでお届けします！
🤖 AIが18年未解決の量子計算の難問を3日で証明
AI物理学スタートアップのPSIが、Anthropicの非公開AIモデルを組み込んだ研究システムを使い、2008年から18年間未解決だった「アーロンソン＝アンバイニス予想」の証明に成功しました。この予想は、量子コンピューターが高速化するために問題に特別な規則性が必要かどうかを問うもので、AI研究システムは3日目に完全な証明を発見し、定理証明支援システムLeanで厳密に検証済みです。
📰 元記事:
📌 むずかしいAIを、かんたんに。
🔔 チャンネル登録よろしくね！
運営：
【Special Thanks🌟】素晴らしい情報を届けてくれた配信者さんに感謝！全力で応援してるにゃー！💖