2026-08-02 PIL今日の注目ニュース
30秒要約
- DeepSeekは7月31日、プレビュー版を置き換える公式モデル「DeepSeek-V4-Flash-0731」を公開。モデルカードではエージェント用途の強化と、推論量を3段階で調整する設定を案内しています。
- OpenAIは8月1日、数学・理論計算機科学の未解決問題に関する10件の成果を公表。研究向けAI活用の広がりを示す発表です。
- Hermes Agentの開発版では、Desktop／Kanbanでタスクごとにモデルを選ぶための変更がmainへ入りました。安定版リリースの告知ではありません。
今日のトップニュース
DeepSeek、公式モデル「DeepSeek-V4-Flash-0731」を公開
DeepSeekは7月31日、プレビュー版を置き換える公式モデル「DeepSeek-V4-Flash-0731」をHugging Faceで公開しました。モデルカードでは、エージェント用途の強化、speculative decodingモジュール、low／high／maxの3段階で推論量を調整するreasoning_effortを案内しています。性能比較は提供元によるベンチマーク値です。
一次出典: DeepSeek-V4-Flash-0731 model card（2026-07-31）
OpenAI、数学・理論計算機科学の10件の成果を公表
OpenAIは8月1日、幾何、符号理論、暗号、計算量などにまたがる10件の研究成果を発表しました。同社によれば、社内版の次世代モデル「Astra」による解法を人が原稿化し、各論証をLeanで形式化したとしています。論文・推論の解説資料も公開されています。
一次出典: OpenAI — Ten advances in mathematics and theoretical computer science（2026-08-01）
Hermes Agent開発版、Desktop／Kanbanのモデル選択機能を拡張
Nous Researchのmainブランチでは、DesktopとKanbanプラグインでモデルの表示・編集やタスク単位のモデル上書きを扱う変更が取り込まれました。これは開発中のコミットであり、利用可能な安定版機能としては扱えません。
一次出典: Nous Research — commit 9797164（取得: 2026-08-02）
AI企業の動き
- OpenAI: 数学・理論計算機科学における10件の研究成果を公開しました。今回の範囲では、新しい一般向け製品リリースは確認できませんでした。
- Google: 今回の取得範囲では、前回成功レポート以降に確認できた新規の主要公式発表はありません。
- Anthropic: 今回の取得範囲では、前回成功レポート以降に確認できた新規の主要公式発表はありません。
- Nous Research: Hermes Agentの開発版でDesktop／Kanbanのモデル選択に関する変更を確認しました。安定版の新規公開ではありません。
エージェント・開発ツール速報
Hermes Agent
mainブランチでは、テストのみの変更時にDesktop E2EやDockerビルドを省略するCI変更も確認されました。開発・検証の効率化を意図した変更で、利用者向け機能の追加ではありません。
一次出典: Nous Research — commit cc0af6b（取得: 2026-08-02）
Claude Code／Codex
今回の取得範囲では、前回成功レポート以降に確認できた新しい安定版リリースはありません。Codex CLIの最新安定版は0.146.0（7月29日公開）、Claude Codeの最新安定版は2.1.220（7月25日公開）のままです。
一次出典: OpenAI Codex Releases／Claude Code Releases
モデルレーダー
公式モデル更新
DeepSeek-V4-Flash-0731が公式モデルカードとして公開されました。提供元はエージェント系ベンチマークを含む比較値を掲載していますが、第三者による独立検証や個別環境での再現性は別途確認が必要です。
Hugging Faceの人気動向（品質・安全性の評価ではありません）
取得時点のプラットフォーム人気シグナルでは、moonshotai/Kimi-K3、deepseek-ai/DeepSeek-V4-Flash-0731、baidu/Unlimited-OCR、unsloth/DeepSeek-V4-Flash-0731-GGUFが目立ちました。Trendingは利用関心の目安であり、導入可否・性能・安全性を保証するものではありません。
一次出典: Hugging Face Models（取得: 2026-08-02 07:30 JST）
GitHub急上昇OSS
GitHub Trendingの日次取得（2026-08-02 07:30 JST）。順位・starsは人気の瞬間的なシグナルであり、品質や安全性の評価ではありません。
- microsoft/AI-For-Beginners — 当日 +869 stars。12週間・24レッスンのAI入門カリキュラム。
- paperswithbacktest/awesome-systematic-trading — 当日 +529 stars。システムトレーディングのライブラリ・戦略・学習資料をまとめるリスト。
- usekaneo/kaneo — 当日 +778 stars。オープンソースのプロジェクト管理ツール。
- zhaoxuya520/reverse-skill — 当日 +1,360 stars。リバースエンジニアリング／認可済みペネトレーションテスト向けのAIスキル・ルーターパック。
- microsoft/generative-ai-for-beginners — 当日 +104 stars。生成AIの入門カリキュラム。
- github/copilot-sdk — 当日 +145 stars。GitHub Copilot Agentをアプリやサービスへ組み込むためのSDK。
- github/gh-stack — 当日 +90 stars。GitHubのStacked PRsを扱うCLI。
- huggingface/speech-to-speech — 当日 +393 stars。オープンソースモデルによるローカル音声エージェント構築の資料・実装。
一次出典: GitHub Trending Daily（取得: 2026-08-02 07:30 JST）
公式出典
- DeepSeek-V4-Flash-0731 model card（2026-07-31）
- OpenAI — Ten advances in mathematics and theoretical computer science（2026-08-01）
- Nous Research — Hermes Agent commit 9797164（開発中変更）
- Nous Research — Hermes Agent commit cc0af6b（開発中変更）
- OpenAI Codex Releases
- Claude Code Releases
- Hugging Face Models（プラットフォーム動向）
- GitHub Trending Daily（プラットフォーム動向）