数学の難題

腾讯混元公式 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はこの件について公にコメントしていません。