Gate Newsメッセージ、4月24日 — DeepSeek V4は、形式的な数学的推論の評価結果を公開し、Putnam-2025で満点の120/120を達成し、首位でAxiomと並びました。
LeanExploreと制約付きサンプリングを用いた実用レジームでは、V4-Flash-MaxはPutnam-200 Pass@8ベンチマークで81.00を獲得し、Seed-2.0-Prover (35.50)、Gemini 3 Pro (26.50)、およびSeed-1.5-Prover (26.50)を大きく上回りました。フロンティア・レジームの結果では、V4はSeed-1.5-Prover (110/120)とAristotle (100/120)より先行していました。
V4は、ハイブリッドな形式的-非形式的推論アプローチを採用しています。非形式的な推論が候補となる自然言語の解法を生成し、自己検証が結果をフィルタリングし、形式的エージェントがLeanで厳密な証明を完成させます。フロンティアの結果は大規模な計算スケーリングを利用しましたが、実用レジームのスコアは標準的な導入能力をよりよく反映しています。
免責事項：このページの情報は第三者から提供される場合があり、Gateの見解または意見を代表するものではありません。このページに表示される内容は参考情報のみであり、いかなる金融、投資、または法律上の助言を構成するものではありません。Gateは情報の正確性または完全性を保証せず、当該情報の利用に起因するいかなる損失についても責任を負いません。仮想資産への投資は高いリスクを伴い、大きな価格変動の影響を受けます。投資元本の全額を失う可能性があります。関連するリスクを十分に理解したうえで、ご自身の財務状況およびリスク許容度に基づき慎重に判断してください。詳細は
免責事項をご参照ください。
関連記事
サム・アルトマンがOpenAIの5つの運用原則を提示、安全のための将来的なモデル機能制限の可能性を示唆
Gate Newsメッセージ、4月27日 — OpenAIのCEOであるサム・アルトマンは、本人の署名のもとで同社向けの5つの運用原則を発表し、安全性を優先するために、特定の期間においてOpenAIがユーザーのモデル機能へのアクセスを制限する可能性を示唆した。声明の中でアルトマンは、同社が「より高いレジリエンスと引き換えに、ある程度の権限付与を犠牲にする必要がある」という、将来の起こり得るシナリオを述べた。
GateNews2分前
DeepSeek、HuaweiのAscendチップ向け最適化でV4ローンチを延期
ゲートニュース 4月27日 — DeepSeekはV4モデルのリリースを延期し、HuaweiのAscendチップ向けにソフトウェアスタックを微調整した。先端の海外半導体へのアクセスがますます制約される中、国内のAIサプライチェーンを育成するという北京のより広範な取り組みを反映している。
DeepSe
GateNews54分前
DeepSeekが入力キャッシュ価格をローンチ価格の1/10に引き下げ；V4-Proは0.025元／100万トークンへ
Gateニュース メッセージ、4月26日 — DeepSeekは、同社のモデルラインナップ全体において、入力キャッシュの価格をローンチ時価格の10分の1に引き下げました。これは直ちに有効です。V4-Proモデルは、期間限定で2.5倍の割引が適用されており、プロモーションは2026年5月5日 23:59（UTC+8）まで実施されます。
両方の
GateNews10時間前
OpenAIが最上級のエンタープライズソフト人材を採用 フロンティアのエージェントが業界を攪乱
ゲートニュース 4月26日 — OpenAIとAnthropicは、Salesforce、Snowflake、Datadog、Palantirなどの大手エンタープライズソフトウェア企業から、シニア幹部および専門エンジニアを採用している。Salesforce傘下でSlackの元CEOだったDenise Dresserは、OpenAIの最高収益責任者として入社した
GateNews10時間前
Baidu QianfanがDeepSeek-V4向けのDay 0サポートをAPIサービスで提供開始
Gate Newsメッセージ、4月25日—DeepSeek-V4のプレビューバージョンが4月25日に公開され、オープンソース化されました。Baidu Intelligent Cloudの下で、Baidu QianfanプラットフォームがDay 0のAPIサービス適応を提供しています。このモデルは100万トークンの拡張コンテキストウィンドウを特徴としており、2つのバージョンで提供されます：DeepSeek-V4
GateNews16時間前
スタンフォードのAIコースは、業界のリーダーである黄仁勳やAltmanを迎え、10週間で世界に価値を生み出す挑戦！
スタンフォード大学（Stanford University）が最近開設したAIコンピュータサイエンスコース『Frontier Systems』は、産学界の間で大きな注目を集めており、500人以上の学生が履修しています。コースはトップ・ベンチャーキャピタル a16z のパートナーである Anjney Midha が統括し、講師陣には、NVIDIAの最高経営責任者（CEO）黄仁勳 (Jensen Huang)、OpenAIの創設者 Sam Altman、MicrosoftのCEO ナデラ (Satya Nadella)、AMDのCEO スージー・スー (Lisa Su) などの豪華な顔ぶれが揃います。学生は、10週間「世界に価値を創造するために」取り組んでみます！
黄仁勳、Altman 業界リーダーが自ら登壇して講義
本コースはトップ・ベンチャーキャピタル a16z のパートナーである Anjney Midha が統括し、AI産業チェーンを結集
ChainNewsAbmedia16時間前
