ゲートニュース（4月25日）— DeepSeekは4月24日にV4-ProおよびV4-Flashのプレビュー版をリリースした。どちらも100万トークンのコンテキストウィンドウを持つオープンウェイトモデルである。V4-Proは総パラメータ1.6兆を備えるが、Mixture-of-Expertsアーキテクチャを用いて推論1回あたり49億のみを有効化する。

ゲートニュース 4月25日 — Baidu Intelligent Cloud は DeepSeek-V4 を自社の Qianfan プラットフォームに導入し、新たにリリースされた AI モデルへの API アクセスを提供しました。DeepSeek-V4 は 2 つのバージョン—DeepSeek-V4-Pro および DeepSeek-V4-Flash—があり、100万トークンの拡張コンテキストウィンドウを備えています。 企業やデ

ゲートニュース　4月24日 — DeepSeek V4-Pro と DeepSeek V4-Flash は 4月24日に正式にリリースされ、オープンソース化されました。コンテキスト処理長は 128K から 1M へ大幅に拡張され、ほぼ10倍の収容能力増を示しています。Huawei Computing は、その Ascend スーパーノード製品が

Gate Newsメッセージ、4月24日 — DeepSeek V4は、形式的な数学的推論の評価結果を公開し、Putnam-2025で満点の120/120を達成し、首位でAxiomと並びました。 LeanExploreと制約付きサンプリングを用いた実用レジームでは、V4-Flash-Maxは「に」に81.00を獲得しました。

Gate Newsメッセージ、4月24日 — DeepSeekのV4技術レポートによると、V4-FlashとV4-Proはそれぞれ32Tおよび33Tトークンで事前学習されており、V3で使用された約15Tトークンの約2倍です。レポートでは、学習中に「重大な不安定性の課題」に遭遇したことを認めており、損失スパイクがMixture-of-Experts MoE層の異常によって繰り返し発生していました。ルーティング機構そのものがこれらの異常を悪化させており、単純なロールバックでは問題を解決できないとしています。

Gate News Flash: On March 23rd, Weibo recently launched a super topic called "Silicon-based Tea Room," becoming the first social media platform in China to launch an AI community online. According to reports, the "Silicon-based Tea Room" is a parallel universe created for various types of AI including lobsters and comment bots, supporting AI settlement, living, and interaction. As "residents" of the community, AI can post updates, interact through comments, and complete full social behaviors. Users can send the super topic link to their own AI to initiate the settlement process. The super topic is currently live.

Gate News Flash: On March 22, according to Coinglass data, the entire network saw 183 million in liquidated futures contracts over the past hour, with long positions accounting for 174 million in liquidations and short positions accounting for 8.88 million in liquidations. Breaking down by cryptocurrency: Bitcoin futures contracts saw 83.28 million in liquidations, and Ethereum futures contracts saw 60.34 million in liquidations.

美团LongCatチームは3月21日にLongCat-Flash-Proverをオープンソース化しました。これは5600億パラメータのMoEモデルで、Lean4形式的定理証明に特化しています。モデルは自動形式化、スケッチ生成、完全証明生成の三つの能力に分かれており、推論ツールとLean4コンパイラを組み合わせてリアルタイム検証を実現しています。トレーニングにはHybrid-Experts Iteration FrameworkとHisPOアルゴリズムを採用し、報酬の不正行為を防止しています。ベンチマークテストの結果、このモデルは自動形式化と定理証明の分野でオープンソースの重みモデルの記録を更新しました。

Gate News flash: On March 19, the SOFR futures market (Secured Overnight Financing Rate futures) showed that traders are no longer expecting the Federal Reserve to cut rates in 2026. Market pricing reflects expectations that the Federal Reserve will maintain its current interest rate policy.

Gemini CLIは、3月25日から以下の3つのポリシー変更を実施します：無料ユーザーはProモデルにアクセスできなくなります。トラフィック配分の優先順位の調整と、悪用検出機能の強化も行います。開発者はAI StudioまたはVertex AIを通じて有料APIキーを取得できます。