イブ

人工知能会社月の暗面のアシスタントKimiは、10月29日に公式アカウントを通じて、KimiがGmail、Google Drive、Google Calendarをサポートするようになったと発表しました。ユーザーはプラグインページで上記のサービスを有効にできます。公式の紹介によれば、接続後はGmailのメール対話を要約したり、Google Drive内のファイルを検索したり、Google Calendarを組み合わせてスケジュールを計画することができます。関連するアクセスは、ユーザー自身が制御するOAuth認証を通じて完了します。

市場の情報によると、OpenAIが支援する投資持株会社Thrive Holdingsは、実体セキュリティ会社ADTを買収することを発表しました。買収価格は1株あたり10ドルで、株式の価値は約760億ドルに相当し、取引の総企業価値は153億ドルに達します。

公式のSNS情報によると、火币 HTX は本日 19 時に「決算週最後の 48 時間、BTC 8 万は守れるのか？」というテーマのライブ配信を開催します。その際、Grace、恐竜博士、墨城、犬宝、朱二旦などの暗号 KOL がライブ配信に集まり、米国株のテクノロジー大手の決算、マクロ流動性の変化、暗号市場の動向について議論を展開します。特に、決算シーズンが市場のリスク選好に与える影響、BTC 8 万ドルの重要なポイントでの買いと売りの攻防、そして短期的な相場が直面する可能性のあるリスクと潜在的な機会について重点的に分析します。

Alphabetは第3四半期の業績を発表し、失望を招き、株価は時間外取引で一時10％以上下落しました。ウォーレン・バフェットがバークシャー・ハサウェイの会長を務めている間の最後の大規模な投資は、期待外れの結果となりました。バークシャーは6月初めに1株約350ドルの価格で100億ドル相当のAlphabet株を購入しました。6月30日時点で、バークシャーは1.06億株を保有しており、時間外の株価で計算すると、保有価値は約300億ドルで、6月の370億ドルのピークを下回っています。

公式のSNS情報によると、火币 HTX は本日 20 時に「ETF と企業のコイン保有：機関化は Crypto の成人式か、それとも慢性毒薬か？」というテーマの円卓を開催します。その際、美羊羊と八方が DaDa と Draco と対話し、双方はビットコイン現物 ETF の資金流入、上場企業の暗号資産の備蓄戦略、機関資本の参入などのホットトピックについて議論し、機関化のトレンドが暗号市場の流動性、価格変動、及び市場構造に与える影響を深く分析し、機関主導の Crypto 市場の長期的な機会と潜在的なリスクについて探ります。ライブ予約：https://www.htx.net.im/zh-cn/live/detail/h5?id=122646&invite_code=gui6e223&inviter_id=11351630

OpenAIはXプラットフォームで投稿し、最近のレッドチーム演習で、広く使用されている圧縮ライブラリBrotliに、認証なしでリモートコードを実行できる脆弱性が存在することを発見したと述べています。Node.js、Bun、Envoyなどのソフトウェアにはこのライブラリが組み込まれています。攻撃者は悪意のある圧縮データを送信することで、パッチが適用されていないサーバーを乗っ取ることができ、また、悪意のあるサーバーを通じて圧縮データを受け取るクライアントを乗っ取ることも可能です。OpenAIは、この問題の根本原因が今年の2月にBrotliのソースコードで修正されたが、その時点ではセキュリティ脆弱性として認識されていなかったと述べています。Brotliを内蔵しているソフトウェアはすべて、同期して更新する必要があります。The Hacker Newsによると、この脆弱性の識別番号はCVE-2026-111497で、Node.jsは10月21日に修正バージョンをリリースしました。

人工知能会社 Anthropic の Frontier Red Team は 10 月 22 日に研究を発表し、大規模な形式的証明を自動的に作成できる大規模言語モデルが存在することを示しました。チームは Theorem と協力し、Claude を使用して RISC-V アセンブリレベルで 100 以上の実際のオープンソースライブラリの安全性を証明し、これは AI を用いてアセンブリレベルで生産ソフトウェアに対して大規模な形式的検証を行った初めての事例であると述べています。証明の過程で、数年にわたり発見されていなかった脆弱性も発見されました。実験では、Google OSS-Fuzz に既に存在するコンパイル可能なファズテストを仕様に変換しました：単一スレッドの静的バイナリ、固定メモリ予算、RISC-V CPU および Linux などの仮定の下で、64 MB 未満の任意の入力に対して、プログラムは正常に終了し、メモリ安全性エラーやアサーション失敗を引き起こさないべきです。数週間以内に、Claude は発見された問題を修正した後、123 の OSS-Fuzz ライブラリの 239 のエントリポイントに対して上述の性質を証明しました。証明はコンパイル後の RISC-V 命令に対して行われ、約 1.8 億行の Rocq によってチェックされました。ページでは、これらのライブラリに脆弱性がないことを意味するものではなく、残りの問題は信頼されたコンポーネントや証明の範囲外にある可能性があると述べています。ページではさらに、チームが Claude に RFC 1950 を形式化させ、x86 バイナリレベルで Linux カーネル内の zlib 実装がその仕様に準拠していることを証明させたと述べています。また、Rust で書かれた Python の大部分をカバーするインタプリタは、170 万以上のランダム生成プログラムと CPython の動作が一致する割合が 99.95% であることを示しました。36 の小規模な検証タスクにおいて、Opus 5.5 はその半分に必要なトークンが Opus 5 より約 40% 少ないことを証明しました。チームは同時に、証明が単一スレッド、静的リンクの RISC-V バイナリに対して行われ、証明チェッカーが仕様が現実に適合しているかどうかを判断できないことを指摘しました。

公式のSNSの情報によると、火币 HTX は本日 20 時に「BTC 8 万保衛戦：強気の底打ちか、弱気の収穫か？」というテーマのライブ配信を行います。その際、峥嵘さん、大漠哥さん、Crypto.0824さん、Ray 懒羊羊さんなどの暗号 KOL が BTC の 8 万ドルの水準における強気と弱気の攻防について議論し、マクロ環境、資金の流れ、市場の感情を考慮しながら、重要な価格帯のサポート力、潜在的な反発シグナル、下方リスクを分析し、一般投資家の視点から市場の変動におけるポジション管理とリスク対応の考え方を共有します。

英偉達 (NVDA.O) は cuPotential CUDA-X ライブラリを発表し、早期アクセス段階で GPU ワークフローを 2 倍から 3 倍に加速します。

公式のSNSの情報によると、火币 HTX は本日 20 時に「市場の賭け 12 月の再利上げ：BTC はこの波の衝撃に耐えられるか？」というテーマのライブ配信を開催します。その際、毛毛姐、AlanSun、Aiden、Crypto.0824 などの暗号 KOL が、米連邦準備制度の金融政策の期待、マクロ流動性の変化、および BTC の最近の市場動向について深く議論します。特に、12 月の利上げ期待の高まりが暗号市場に与える潜在的な影響、マクロの圧力下での BTC の重要なサポートレベル、ロングとショートの攻防、および今後の市場の動向について分析し、投資家に市場のトレンドを判断するための多角的な参考を提供します。

公式のSNS情報によると、火币 HTXは9月30日20:00（UTC+8）に「PCE 今晩発表：ブルマーケットのローテーションか、それとも最後の狂乱か？」というテーマのライブ配信を開催します。その際、暗号KOLの0xPink、子供、HiSeven、小智が、引き続き上昇している米国債の利回りと好調なアルトコインの動向を踏まえ、発表される8月のPCEデータを基に議論し、ビットコインとアルトコインの今後の動向を展望します。

人工知能会社 DeepSeek は、Huawei Ascend プラットフォーム向けの基盤コンポーネントを正式にオープンソース化しました。これには、TileLang 高級言語コンパイラ、計算ライブラリ、分散通信ライブラリが含まれ、以前の NVIDIA プラットフォーム向けのオープンソースコンポーネントと一対一で対応しています。TileLang は、汎用性が高く、プログラミングが簡単で、ハードウェア性能の上限に達する高級言語を提供することを目的としており、CUDA に比べて開発効率を向上させ、ロジックを簡素化します。また、そのプログラミングモデルはチップの特性を活かすことができます。TileLang のルートは最初に NVIDIA プラットフォームで検証され、DeepSeek V4 シリーズモデルのトレーニングにおける大部分のオペレーターの実装を担っています。今回オープンソース化された Ascend バージョンは、Ascend C の低レベル命令をラップし、ハードウェア性能を損なうことなく高級言語プログラミング方式を提供します。現在、DeepSeek のトレーニングで使用されているすべての TileLang オペレーターは、Ascend 上で対応する高性能実装があります。同時にオープンソース化されたコンポーネントには、DeepGEMM、DeepEP、TileKernels、FlashMLA、DeepSelect が含まれ、それぞれ汎用行列演算、大規模なデバイス間通信、通常のベクトル計算とメモリアクセス、長いコンテキストのスパースアテンション、データフィルタリングに使用されます。DeepSeek は、複数の重要なテストにおいて関連する計算と通信性能がハードウェアの上限に近づいていると述べています。研究開発プロセスにおいて、Huawei チームがサポートを提供し、両者は Ascend 950 に基づく 128 カードのスーパー ノードソリューションを推進し、計算と通信の深い最適化を行いました。

今日のコミュニティライブストリームで、BitgetのCEO Gracyは最近のセキュリティ事件とプラットフォームの財務状況について応答しました。彼女は率直に、これはBitget設立8年目にして初めてのセキュリティ事件であると述べました。完全な追跡を経て、ハッカーは第三者のセキュリティ製品の脆弱性を利用して内部ネットワークの権限証明書を盗み、ウォレットシステムに対して偽の引き出し命令を発行し、ウォレットを騙してリスク検証を回避した異常な送金を実行させました。Gracyは、この事件において秘密鍵は漏洩しておらず、コールドウォレットも影響を受けていないことを強調しました。具体的な技術的詳細は、正式に発表されるセキュリティレポートで詳しく開示される予定です。Gracyは、今回の事件で確認された損失は保護基金のカバー範囲内にあり、ユーザーの資金の安全は影響を受けないと指摘しました。プラットフォームの自己資金は14億ドルを超えており、その中には約4.64億ドルのユーザー保護基金が含まれています。プラットフォームは2022年に設立した保護基金の安全に関する約束を引き続き実行し、1週間以内に基金の規模を3億ドルの基準ラインまで継続的に補充する計画です。「保護基金は単なるスローガンではなく、極端なセキュリティ事件が発生した際にユーザーに実質的な保障を提供する重要なメカニズムです。」とGracyは述べました。突発的なセキュリティの課題に直面した際、プラットフォームの総合的な実力と責任を自発的に負う能力は、そのリスク対応能力と長期的な信頼性を測る重要な基準です。Bitgetは引き続きユーザーの利益を最優先する長期的な約束を実行していきます。

VitalikはXプラットフォームで投稿し、Hegota以降にフォークしたEthereumの各種計画の真の意味を簡潔に説明しようとしています。Ethereumはもはや単なるブロックチェーンではなく、ブロックチェーンと現代の暗号学を組み合わせたハイブリッドアーキテクチャであり、より強力な機能を実現できます。関連する計画には、FOCIL、EIP-8288、簡素化されたコンセンサス、状態管理、形式的検証、プライバシー機能を含むメモリプールの改善、そして長期的な混乱技術が含まれます。

Bitgetの華語圏責任者である謝家印は、Bitgetが十分に安全な環境でユーザーが秩序正しく出金できるようにすることを保証すると発表しました。皆様のご辛抱に感謝いたします。盗難の手法が異なるため、すべての潜在的リスクを絶対に排除するため、他のケースの処理方法とは異なることをご理解ください。謝家印はまた、BitgetのCEOであるGracy Chenと月曜日の午後3時30分（出金開始の30分前）にコミュニティで継続的にライブ配信を行い、今回の安全事件について議論し、コミュニティから寄せられた質問に答えると述べました。

公式のSNS情報によると、火币 HTX は本日 20 時に「AI エージェントがあなたの代わりに注文：あなたはポジションを委ねる勇気がありますか？」というテーマのライブ配信を開催します。その際、0xMoon、恐竜博士が楊少、Amberと対話し、取引決定、戦略実行、ポジション管理における AI エージェントの応用について議論し、自動取引の信頼性、アカウントの承認、資金の安全性などの重要な問題を探ります。

X ユーザー @UngusTrade の 9 月 21 日の投稿によると、Lighter の prover コードベースに「Binary options support」という名前のコミットが最近現れた。このコミットは、Lighter にサポートを提供する ZK 回路について説明している。コードは、この実装が標準の二元結果契約であり、各市場に決済上限が設定されていることを示している。予測市場は通常 100 で、シェア価格は 0 から上限の間で取引され、決済時には 0 または上限に分類される。契約は USDC で全額担保されており、レバレッジはなく清算もない。注目すべきは、回路が連続市場をサポートしており、範囲内の任意の値で決済できるため、単なるイエスまたはノーのイベントに限らず、測定値に基づく契約を可能にすることである。さらに、Lighter はホワイトリストに登録されたオペレーターが市場を作成、管理、決済できるようにする可能性があり、これは HIP-3 の展開モデルに似ている。現在、Lighter の公式はこれについてコメントしていない。

公式のSNS情報によると、火币 HTX は本日 20 時に「Clarity 法案折戟、美联储加息压顶：BTC 7.5 万防线は利空出尽还是破位前夜？」をテーマにしたライブ配信を開催します。その際、蟾哥、大漠哥、0x31ad、吃货不怕胖、梓梓などの暗号 KOL がゲストとして参加し、Clarity 法案の進展や美联储の金融政策の期待、そしてそれが暗号市場の流動性に与える影響について議論します。また、BTC の最近の動向を踏まえ、7.5 万ドルの重要なサポートラインにおける買いと売りの攻防や、今後市場が直面する可能性のある主要な変数について重点的に解析します。

マスクはテスラが電動スポーツカーRoadsterの発表会をライブ配信することを確認しました。