フェルマーの最終定理をClaudeが11日と1300万行で機械証明した
Anthropicが9月4日にAI「Claude」がフェルマーの最終定理を形式化したと発表した。11日間の自律作業で約1300万行のLeanコードを生成し初の完全な機械…
TAG
Claude
AIのコード生成が途中で止まる【検証】660回中47回・自分で試せる指示5本
AInformation編集部が2026年9月5日に8つのAIモデルへ同じ問題を投げたところ、Claudeの上位2モデルだけコードを書く途中で応答が切れました。660回の…
「Anthropicを信頼している」と商務長官が言った翌日、国防省が否定してリスク指定2件は残った
米国防省はAnthropicへの「サプライチェーンリスク」指定を撤回しない。ラトニック商務長官が「信頼している」と表明した翌日に国防次官がXで否定し…
ChatGPT・Claude・Grokの3つが同時に約2時間止まった、Azureの障害も重なった可能性がある
ChatGPT、Claude、Grokの3つのAIサービスが日本時間9月4日の深夜にほぼ同時に使えなくなった。約2時間で復旧したが、同じ時間にMicrosoft Azureでも…
Claudeで作ったか判定できる無料ツールが出た、テキストは数か月後で今は画像など4形式だけ使える
AnthropicがClaudeで作られた画像や音声を判定できる無料ページ「claude.com/check-content」を公開した。対応するのはJPEGやMP3など4形式だけだ。テ…
Claude×Salesforceの「Claudeforce」、37スキルで営業データにAIが直接つながった
SalesforceとAnthropicが共同サービス「Claudeforce」を発表した。Claudeの画面からSalesforceの営業データやワークフローに直接アクセスでき、37種…
DeepSeekが画像対応モデルを無償公開、Opus 4.8に並ぶ性能でAPI入力は0.44ドルで使える
DeepSeekがV4シリーズ初の画像入力モデルを公開した。パラメータ数3050億のマルチモーダルモデルで、MITライセンスで商用利用もできる。画像を含むベ…
Claude Fable 5.1が提供開始、キャッシュ75%値下げでエージェント利用は最大45%安くなった
Anthropicが新モデルClaude Fable 5.1の提供を開始した。科学研究ベンチマークで前世代の2倍超のスコアを出しつつ、キャッシュ読み出し料金の75%値下…
ChatGPT・Claude・Cursorの企業プランに利用枠5倍の上位シートが出そろった
ChatGPT Business・Claude Team・Cursor Teamsの企業向けAIで利用枠を5倍にする上位シートが出そろった。OpenAIが8月25日にPremiumシートの提供を開…
Claude Academy無料公開、Claude Code入門など22コースが日本語で学べる
AnthropicがAI学習サイト「Claude Academy」を無料公開した。Claude Code入門やMCP入門を含む22コースと357本のコンテンツが揃う。テキストは日本語…