数学

公式な情報によると、OpenAIは研究成果を発表し、次世代AIモデルAstraが数学および理論計算機科学の分野で進展を遂げたとしています。これには高次元幾何学、符号理論、群論、量子複雑性、ポスト量子暗号学、極値組合せ数学などの分野が含まれています。発表された10項目の成果には、高次元球の充填問題、二進法および球面符号問題、非sofic群問題、Connes剛性予想、算術回路の複雑性問題、量子並列繰り返し問題、最近接ベクトル問題、Ehrhart体積予想、多色Ramsey数問題、極値グラフ理論予想が含まれています。これらの成果は、内部バージョンのAstraモデルによって導出され、解決策を見つけるために消費された計算コストは約2000ドル（Sol API価格に基づく）です。その後、人間の研究者は同じモデルを利用して論文に整理し、Lean形式化証明システムを通じて検証可能な証明証明書を生成しました。

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

イーサリアムの共同創設者である Vitalik Buterin は、ソーシャルメディアでアリババ傘下の Qwen 35B パラメータモデルの問題解決能力を称賛する投稿をしました。この人工知能モデルは、複雑な数学問題を成功裏に解決し、推論プロセスには約 1.5 万トークンを消費し、ローカルデバイス上でわずか 3 分以内に計算を完了しました。Vitalik Buterin は、この問題が三角関数を利用して剰余演算を連続関数の表現に組み込む技術を示しており、Qwen モデルの数学的推論能力を体現していることを指摘しました。

据 AXIOS 报道，英伟达投资数学人工智能初创公司 Harmonic。AXIOS の報道によると、NVIDIA は数学人工知能スタートアップの Harmonic に投資しました。

据 SlowMist 监测，去中心化金融协议 yearn 遭遇黑客攻击，造成约 900 万美元损失。慢雾安全团队对该事件进行了分析，确认根本原因如下：漏洞源于 Yearn yETH 加权稳定币交换池（Weighted Stableswap Pool）合约中用于计算供应量的 _calc_supply 函数逻辑。由于存在不安全的数学运算，该函数在计算过程中允许溢出和舍入误差，导致新供应量与虚拟余额的乘积计算出现显著偏差。攻击者利用此缺陷可将流动性操控至特定数值，并超额铸造流动性池（LP）代币，从而非法获利。建议加强边界场景测试，并采用经过安全验证的算术运算机制，以防范同类协议中此类溢出等高危漏洞。此前消息，Yearn 发布声明称，其 yETH 稳定池于 11 月 30 日 21:11 UTC 遭遇攻击，攻击者通过自定义合约大量铸造 yETH，导致池内约 800 万美元资产受损，另有约 90 万美元损失来自 Curve 上的 yETH-WETH 池。

ChainCatcher のメッセージによると、金十データの報道で、マスクはソーシャルメディアで次のように述べています："アメリカの財務長官ベーセントはソロスの操り人形です。彼は政治学専攻の学生で、数学すら学べません。1年前、私の世論調査の結果は非常に良好でした。これがトランプが私をこれほど重視する理由です。"

ChainCatcher のメッセージ、ステーブルコイン発行者 Tether の CEO Paolo Ardoino が X プラットフォームで投稿し、数学は宇宙全体で唯一の確実性であると述べました。ビットコインは数学通貨（Math Money）です。

ChainCatcher のメッセージによると、Cointelegraph が報じたところによれば、トランプの暗号通貨および AI 顧問であるデビッド・サックス氏は最近次のように述べました。「ビットコインは政府によって支えられているのではなく、数学によって支えられている別の種類の通貨を提供します。」

ChainCatcher のメッセージによると、Cointelegraph が報じたところでは、イタリアのトレント大学のマッシミリアーノ・サラ教授が最近、Ripple チームとブロックチェーンの未来について話し合い、特に量子コンピュータが暗号技術に与える潜在的な脅威について議論しました。サラ教授は、量子コンピュータ技術の成熟が既存の暗号手法に対して深刻な脅威をもたらし、ブロックチェーン技術全体にリスクをもたらす可能性があると強調しました。彼は、量子コンピュータがデジタル署名の基礎的な問題を容易に解決できるようになり、ブロックチェーンプラットフォーム上のユーザー資産の保護メカニズムを破壊することができると指摘しました。彼が提唱した「Q日」という概念は、量子コンピュータが十分に強力で入手しやすくなり、悪意のある行為者が従来の暗号手法を解読できるようになる瞬間を指します。これは、緊急サービス、インフラ、銀行業、国防など、データセキュリティが重要な分野に深遠な影響を与えるでしょうが、理論的には暗号通貨とブロックチェーンの世界を破壊する可能性があります。サラ教授は、この潜在的なリスクに対処するために、すべての従来の公開鍵暗号システムは量子攻撃に耐えられる対応システムに置き換えられるべきだと提案しました。現在、こうした操作を実行できる実用的な量子コンピュータは存在しませんが、世界中の政府や研究機関は Q 日の到来に備えて準備を進めています。サラ教授は量子コンピュータ分野の進展に満足しており、ブロックチェーン開発者は現代のシステムの量子防護基準と革新を理解している暗号専門家と密接に協力してこの課題に取り組むことを提案しています。