9月8日のクオンタムビュー、始めます。この24時間に入ってきたニュースは全部で6本です。まずは6本まとめてさらっと紹介して、そのあと気になったものを久保田さんと詳しく見ていきます。それでは早速まいりましょう。
まず量子コンピュータの基礎を知るための3本からまいります。Quantinuumとは？、Quantinuumはイオン（電気を帯びた原子）を空中に捕らえて量子ビットとして使うイオントラップ方式の企業で、「Helios」など高性能な実機を発表しているという紹介記事です。IonQとは?、IonQも同じイオントラップ方式を専門とする企業で、早期に株式上場を果たした代表的プレイヤーだという紹介記事です。量子ビット忠実度とは？、量子ビット忠実度は量子コンピュータの操作がどれだけ正確に行えているかを示す指標で、各社が「99.9%達成」のように競っているという紹介記事です。
続いて個別のニュースです。ビットコインのサイドチェーンLiquidから約4,000 BTCが流出——鍵ではなくソフトウェアの不具合、名乗り出たのは「善意の側」、Blockstreamが運営するLiquidで連合ウォレットから約4,000 BTCが引き出され、原因はソフトウェアの不具合とされています。Google、天気予報AIを5kmに——衛星画像を直に読み、1時間ごとに更新するWeatherNext 3、Google DeepMindとGoogle Researchが天気予報モデルWeatherNext 3を発表し、空間の細かさが25kmから5kmになりました。フェルマーの最終定理、機械が最後まで検証できる形になった——11日・1,300万行、Anthropicが公開、Anthropicがフェルマーの最終定理の証明を、機械が検証できる形に11日・1,300万行で書き下したと発表しました。
以上6本です。この中から、Liquidの流出、WeatherNext 3、フェルマーの最終定理の3本を詳しく見ていきます。まずはLiquidの流出からまいります。
ビットコインのサイドチェーンLiquidから約4,000 BTCが流出——鍵ではなくソフトウェアの不具合、名乗り出たのは「善意の側」についてです。Blockstreamが運営するビットコインのサイドチェーン、Liquidで、連合ウォレットから約4,000BTC、日本円でおよそ3億2,000万ドル相当が引き出されました。公表は9月7日午前0時14分、UTCです。鍵は破られておらず、原因はElementsというソフトウェアの不具合とされています。久保田さん、鍵は無事なのに資産が動いてしまったというのは、どういう仕組みで起きるのでしょうか。
一言で言うと、鍵の強さだけでは資産は守れない、という話です。今回はElementsという土台のソフトウェアが誤った残高を作り、その先の払い戻し手続き自体は正規に通ってしまいました。これで実際に変わったのは、橋渡しノードの停止とL-BTCの入出金停止で、サイドチェーンは事実上動いていません。まだ示されていないのは、不具合の具体的な中身と、資金が本当に戻るかどうかです。引き出した側は修正を条件に返還の意思を示していますが、約束と実行は別です。次に不具合の修正内容と返還の実行が出れば、今回の件は決着したと言えます。
久保田さんの言う「土台のソフトウェア」というのは、資産の残高を管理する裏側の仕組みのことですね。つまり、金庫の鍵は無事でも、金庫の中身を記録する帳簿の方が間違っていた、ということですね。
続いて1本目です。Google、天気予報AIを5kmに——衛星画像を直に読み、1時間ごとに更新するWeatherNext 3についてです。Google DeepMindとGoogle Researchが2026年9月3日、天気予報モデルWeatherNext 3を発表しました。空間の細かさは25kmから5kmへ、更新間隔は6時間ごとから1時間ごとへと変わっています。降水予報は衛星観測データIMERGと比べて60%の改善としています。久保田さん、この精度の変化は何が原因で起きたのでしょうか。
一言で言うと、予報の材料を「計算結果」から「観測そのもの」に変えた話です。これまでは数値予報モデルが計算した後の数字を読んでいましたが、今回は静止衛星の生の画像を直接読み込みます。これで更新が6時間ごとから1時間ごとに縮まりました。ただし5kmになったのは一部の地表変数だけで、大気の変数は25kmのままです。改善率もIMERG比60%、MRMS比30%と比較相手で差が大きく、実際の警報現場でどう使われるかはまだ示されていません。
久保田さんの言う「観測そのもの」というのは、衛星が撮った今この瞬間の空の写真を使う、ということですね。つまり、計算で予想した数字を読むのではなく、リアルタイムの写真を直接読み取ることで、より新しい状態を反映できるようになった、ということですね。
続いて2本目です。フェルマーの最終定理、機械が最後まで検証できる形になった——11日・1,300万行、Anthropicが公開についてです。Anthropicが2026年9月4日、フェルマーの最終定理の証明を、機械が最後まで検証できる形に書き下したと発表しました。証明支援系Leanで1,300万行、定理30,300個を11日で組み上げ、うち29,500個を最終証明に使っています。久保田さん、証明そのものが新しくなったわけではないとのことですが、今回の作業は具体的に何をしたことになるのでしょうか。
一言で言うと、人間の目で確かめる証明を、機械が公理から一行ずつ検査できる証明に書き直した仕事です。使ったのは、証明の正しさをソフトウェアが検査する仕組み、Leanです。これで1995年のWilesの証明が、査読ではなく機械的に確認できる形になりました。数学の中身自体は変わっていません。まだ示されていないのは、この形式化が今後の査読や教科書に代わる存在になるかどうかです。人手では追いきれない長さの証明を機械が肩代わりできると分かれば、そこが次の節目になります。
久保田さんの言う「公理から一行ずつ検査できる」というのは、証明の一歩一歩を人間の目ではなく機械が漏れなくチェックできる、ということですね。つまり、証明の中身は変えずに、機械が最後まで確かめられる形へ書き直した、ということですね。
今日の3本はばらばらの話です。Liquidは鍵ではなく裏側の帳簿の不具合、WeatherNext 3は予報の材料を生の観測に変えた話、フェルマーの証明は中身を変えず機械が確認できる形に書き直した話でした。共通するのは、どれも「正しく動いているように見える手前の土台」が問われている点です。次に見るべきは、Liquidの資金が実際に戻るかどうかです。
最後に米国市場にも触れておきます。9月4日の終値は、量子コンピュータ関連10銘柄のうち上昇6、下落3、変わらず1、平均は プラス0.33% でした。いちばん上げたのはArqitでプラス3.64%、いちばん下げたのはXanaduでマイナス2.99%でした。
以上、9月8日のクオンタムビューでした。
久保田さん、ありがとうございました。土台が問われた一日でした、また明日の夜もこの時間にお会いしましょう。
