Claude Claudeがフェルマーの最終定理を完全形式化｜1300万行のLean証明が意味すること
Anthropicは2026年9月4日、Claudeがフェルマーの最終定理を11日間で完全形式化し、初の機械検証済み証明を完成させたと発表しました。何が起きたのか、何が起きていないのかを一次情報から整理します。
Generative AI
Claude 
Generative AI ClaudeやChatGPTを中国AI企業が「蒸留」で盗用？米政府が名指しした6社と手口
米NSA・CISA・FBIが2026年9月、DeepSeekやAlibabaなど中国AI企業6社がClaude・ChatGPT・Gemini・Grokを不正に「蒸留」していたと共同勧告を発表。何が起きたのか、手口や各社の対象モデル、私たちのAI利用への関わりをわかりやすく解説します。
ChatGPT ChatGPT Atlas終了後どれを使う？Perplexity Comet・Claude in Chrome・Gemini in Chromeを料金・機能・安全性で比較
ChatGPT Atlasは2026年8月9日に終了しました。代替のPerplexity Comet、Claude in Chrome、Gemini in Chromeについて、料金・日本での利用可否・機能・共通のセキュリティ注意点を公式情報をもとに比較します。
Generative AI Grok 4.7はいつ出る？マスク氏の予告内容と現行Grok 4.6との違い【2026年9月10日時点】
Grok 4.7はマスク氏が2.1兆パラメータ・9月上旬公開を予告していますが、xAI公式サイトには2026年9月10日時点で記載がありません。現行Grok 4.6の仕様とあわせ、公式情報と未確認情報を切り分けて解説します。
Copilot Microsoft Copilot統合アプリとは？Windows/Mac版が2026年9月から本格展開｜変更点・廃止機能・使えない時の対処法
パソコンのCopilotアプリのアイコンや画面がいつの間にか変わっていた、あるいは「Microsoft 365 Copilot」という名前のアプリが見当たらなくなった――2026年9月に入り、こうした変化に気づく方が増えています。結論から言...
ChatGPT ChatGPT Business Premiumとは？料金・Standardとの違いとGPT-6 Astraが使える範囲【2026年9月】
ChatGPT Business Premiumシートの料金はStandardの5倍。5時間の利用制限が撤廃され、GPT-6 Astraも週50メッセージまで使えます。両シートの違いと導入判断のポイントを公式情報から整理します。
ChatGPT OpenAIがミレニアム懸賞問題を解決と発表｜AIエージェント1万体による証明と研究者との対立
OpenAIが2026年9月8日、AIエージェント1万体を使い数学の超難問「ナビエ・ストークス方程式」の懸賞問題を解決したと発表しました。何が起きたのか、なぜ研究者と対立しているのかを一次情報から解説します。
Generative AI CursorでOpenAIモデルが11月12日に使えなくなる｜SpaceX買収の経緯と代替AIコーディングツール
AIコーディングツール「Cursor」で、OpenAIのGPT系モデルが2026年11月12日以降利用できなくなる見込みです。原因は、Cursorの開発元Anysphereが同年8月14日にイーロン・マスク氏率いるSpaceXに約600億ド...
ChatGPT 「ChatGPT Images 2.5」とは？Sketch機能・料金・GPT-Image-2との違い
2026年9月8日、OpenAIは画像生成の新モデル「ChatGPT Images 2.5」を発表しました。結論から言うと、無料プランを含むChatGPT・ChatGPT Work・Codexの全プランで即日ロールアウトが始まっており、追加...
ChatGPT GPT-6 Astra・Claude Opus 5・Gemini 3.1 Pro徹底比較｜性能・料金・向いている用途【2026年9月】
GPT-6 Astra・Claude Opus 5・Gemini 3.1 Proの料金・コンテキスト長・ベンチマークを公式情報で比較。ベンチマークの前提差にも触れつつ、コーディング・文章作成・コスト重視など用途別のおすすめを整理します。