AIはわずか3時間の計算で準リーマン予想を解決！ OpenAIは先日、最先端の数学研究の手稿722本をオープンソース化し、数論界をほぼ1世紀にわたって悩ませてきたランダウ＝ジーゲル零点を一挙に排除しました。さらに、成果の63%にはLeanによる形式的な機械証明が付属。シモンズ財団は、AIの推論を解読する人間の研究者を支援するため、緊急に500万ドルを拠出しました。これは、AIが確率に基づくでたらめを生み出す幻覚の壁を完全に乗り越え、「証明はプログラムである」（カリー＝ハワード同型対応）という原理を通じて、欠陥のない検証可能な推論の時代に入ったことを意味します。Web3にとって、Leanによる形式検証こそ、次世代のゼロ知識証明（zkVM）やスマートコントラクトの自動監査における究極の聖杯です。AIが3時間で100年来の数論の難問を証明できるなら、オンチェーン上の数百億規模の資金を扱うプロトコルのハッキングにつながる脆弱性も、機械数学によって完全に一掃されるでしょう。検証可能な計算と機械ネイティブな金融が、いよいよ真の特異点を迎えようとしています！ AIによる形式的証明によって、スマートコントラクトを狙うハッカーは完全に失業すると思いますか？ $BTC $BNB $ETH #BTC #Crypto #AI #Web3