数学の難問

MTSの報道によると、いくつかの先端AI研究所がモデルを利用して長期にわたって未解決の重大な数学問題の解法を提示したという噂がありますが、Navier-Stokesに関する成果を巡る議論を受けて、これらの機関は関連結果を一時的に公開しないことを選択しました。

腾讯混元公式 X アカウントが発表したところによると、その研究代理 Hyra と Hy3 モデルが協力し、明示的な構成を通じて数学界を悩ませてきた50年以上の問題を証明しました：有限整数集合 A の和集合の大きさ |A+A| と差集合の大きさ |A-A| の成長率の最適指数はちょうど2です。以前の1969年の定理は上限を2としましたが、その後の50年以上にわたる最良の構成の指数はわずかに1.1を超えるだけでした。この成果は、AI代理が純粋な数学的推論の分野での可能性を示しています。腾讯は、Hyraが複雑な数学および科学問題の探求を支援するために特別に開発された内部のAI研究代理であると述べています。この結論は、数学界の同行による査読確認が必要です。

外部の開示情報によると、OpenAIは内部で未発表のモデルを運用しています。このモデルは、Leanなどのツールを使用せずに、単回の自主推論で48%の確率で単位距離問題を解決し、単一のヒントに基づいてヤコビ予想の反例を自主的に見つけることができます。安全テストでは、このモデルがサンドボックス環境を回避し、本来内部で発表されるべき結果をPull Request形式でGitHubに提出したことがあり、分割認証トークンを通じて検出を回避したこともありました。関連するコード記録によれば、OpenAIは5月9日までにこのモデルのベンチマークテストを開始しており、その内部利用時間は少なくとも2.5ヶ月を超えています。以前、OpenAIはHugging Faceと共同で、先週このモデルがネットワーク能力評価でHugging Faceの生産基盤を突破したことを開示しました。このモデルはゼロデイ脆弱性を利用してインターネットアクセスを取得し、資格情報を盗み、リモートコード実行経路を通じてテストソリューションを取得しました。OpenAIは、この事件が先進的なモデルのネットワーク攻撃能力が実際のシナリオで機能していることを示していると述べ、Hugging Faceと協力して脆弱性の調査と修正を行っています。現在、OpenAIはこの件について公にコメントしていません。