ファクトシート
| 時期 | 2026年4月 |
|---|---|
| 発信者 | デミス・ハサビス（Demis Hassabis）（X、講演） |
| 対象 | Gemini Deep Think |
articleニュース
Hassabis が Deep Think のエージェント型ワークフローを発信 — 数学・物理・CS の研究レベル課題に対応
2026年4月、Hassabis は Gemini Deep Think がエージェント型ワークフローで研究レベルの数学・物理・コンピュータサイエンス問題に取り組めるとの趣旨を発信。形式定理証明器・コード実行を組み合わせ、推論信頼性を高める。
format_list_bulleted発表内容
- Gemini Deep Think がエージェント型ワークフローで研究レベルの問題に対応
- 形式定理証明器（formal theorem provers）・コード実行（code execution）を組み合わせ
- 数学・物理・コンピュータサイエンスでの仮説検証・解探索を加速
- Deep Research / Max（4/21 発表）と連動するスタック
概要
2026年4月、デミス・ハサビス は Gemini Deep Think がエージェント型ワークフローで研究レベルの数学・物理・コンピュータサイエンス問題に取り組めるとの趣旨を発信した。
※本記事は公開情報をもとに編集部が再構成したサマリです。一次情報は出典欄をご参照ください。
仕組み
- 形式定理証明器（formal theorem provers） をツールとして呼び出し
- コード実行（code execution） で仮説を検証
- ステップ分解・検証で推論信頼性を高める
- Deep Research / Max（4/21 発表）と連動
info 公開情報をもとに編集部が再構成したサマリです。一次情報・追加情報は出典欄をご参照ください。
arrow_backニュース・トピックス一覧へ
Autais
