AI
6本AIの発表・機能・活用事例を一次情報で確かめ、できることと条件を読み解く。
-
ClaudeとGrokは、メンフィスの同じデータセンターを月12.5億ドルで共有していた
「3社同時ダウン」と報じられた9月3日のAI障害を確認すると、GrokとClaudeは同じメンフィスの拠点を巡る障害、ChatGPTは内部のルーティングエラーという別の出来事だった。
-
Claudeがフェルマーの最終定理で担った「形式化」とはどんな仕事か
既存の証明をコンピューターが検査できる形へ書き直すのが形式化。Claudeが担当した範囲、人が用意したもの、元の問題と同じ命題を証明したかの確かめ方を説明する。
-
Geminiの新しい動画解析は、質問に応じて見る場所を選ぶ
長い録画から特定の場面を探す用途で、Geminiのagentic動画解析と従来のstaticは何が違うのか。向いている場面、対応モデル、比べるときに揃える条件をまとめる。
-
Gemini Code Assistの新規購入が営業窓口経由に変わる条件
2026年9月4日の変更で、有効な契約がない課金アカウントからの新規購入は営業窓口経由になった。誰が影響を受けるか、使えないときにどこを確認するかを整理する。
-
GPT-6 Astraは待ち時間に別の作業を進め、途中の指示を後続へ渡す
報告書づくりを例に、GPT-6 Astraの非同期ツールと途中指示でできることを説明する。アプリ側で用意する処理と、受理通知だけでは分からないことまでまとめる。
-
AIにコードを書かせる前に、何を決める？仕様から始める開発
社内資料の検索画面を例に、仕様中心の開発（SDD）で先に決めることを説明する。Microsoft Digitalの事例で仕様をどう使ったか、効果をどう確かめるかまでをまとめる。