OpenAIの次世代推論モデルであるAstra（内部ではこの名称で呼ばれている）が、多くの博士課程の学生が白板に向かって涙を流すような業績を達成した。同社は8月1日、このモデルが数学および理論計算科学における未解決問題について自ら10の新規結果を生成し、フィールズ賞受賞者であるTim Gowersを含む外部の数学者たちによって検証されたことを発表した。
これはAstraの初の試みではありません。5月20日、同じモデルは、約80年間数学者たちを悩ませてきたエルデシュ平面単位距離予想を反証しました。
モデルが実際に行ったこと
ハンガリーの伝説的な数学者ポール・エルデシュが提起した問題は、平面内の点の対のうち、ちょうど1単位離れているものの数に関するものである。Astraは、δが0より大きい場合、無限に多くのnに対して少なくともn^(1+δ)個の単位距離対を生成する構成を構築した。この改良された結果により、δは0.014と特定された。これは、AIが離散幾何学における重要な問題を自立して解決した初の事例である。特別な数学的トレーニングも、人間の手助けも一切なく、モデルは自ら高度な代数的推論を展開した。
8月の発表では、幾何学と理論計算機科学にまたがるさらに10の成果が追加された。各成果は専門の数学者によって独立して検証された。ガワーズ自身はこの成果を「AI数学におけるマイルストーン」と呼んだ。ガワーズやトーマス・ブルームを含む数学者たちは、証明の検証とさらなる分析を提供する補完論文を発表した。
これが純粋な数学を超えて重要な理由
暗号学は、存在するすべてのブロックチェーンとデジタル資産の基盤であり、本質的には応用数学である。Bitcoin、Ethereum、その他のすべての暗号プロトコルのセキュリティ前提は、特定の数学的問題の計算的難易度に依存している。今日、離散幾何学における80年間の予想を反証できるモデルは、明日、暗号化の数学的基盤を探求する可能性のある後継モデルを持つ。
投資家が実際に注目すべきこと
この瞬間の市場への影響はゼロです。OpenAIは、そのすべての発表において、暗号トークン、デジタル資産、または関連プロトコルについて一切言及していません。これは純粋なAI研究のマイルストーンです。
まず、数学的計算や証明検証に焦点を当てたAI関連のトークンやプロジェクトには、再び注目が集まる可能性がある。AIが単に妥当に聞こえるテキストを生成するだけでなく、実際の検証可能な知的作業を実行できるという物語は、AIとブロックチェーン検証の交差点で構築されるプロジェクトの価値を高める。
第二に、耐量子暗号は理論的な懸念から実用的な優先課題へと移行しています。量子耐性およびAI耐性の暗号標準の開発に取り組むプロジェクトは、ますます重要性を高める可能性があります。