OpenAIが、秘密のモデルがたった1つのプロンプトで解いたとする数学の論文722本を公開した。期待が高まる一方で、数学者たちは派手なブログ記事だけでなく、証拠を求めている。これはAIにまつわる古典的なジレンマを浮き彫りにしている。驚異的な進歩と、透明性のある検証の欠如だ。これが本当なら、自動定理証明によって、暗号技術やスマートコントラクトの検証が飛躍的に進むかもしれない。しかし、生のコードと証拠が公開されるまでは、私は懐疑心を最大限に保つつもりだ。$FET $AGIX #OpenAI #ArtificialIntelligence #CryptoSecurity