検索
サイト内検索
ブログ記事とツール入口を検索します。
検索結果： Claude
21 件
Claude、11日間でフェルマーの最終定理をLeanで形式化
ClaudeエージェントはLeanとProve2Meプラットフォームを用いてフェルマーの最終定理を形式化し、数学者Kevin Buzzardが独立して検証した証明を生成した。
Anthropic、Claudeが測定可能なAIアラインメントの失敗10件を軽減したと発表
Claudeは文献を自律的に検索し、学習手法を提案し、実験を実行して、アラインメントの失敗10件にわたり測定可能な安全性の振る舞いを改善した。
スタンフォード研究、実行可能なClaudeタスクの56%が重大または高リスクと判明
研究者らは、タスクのリスク、人間による制御、学習、協働上の失敗を測定するため、約25万件のClaude会話を分析した。
将来のClaudeモデル、EU AI法の規則に基づき世界中でテキストへウォーターマークを付与へ
将来のClaudeモデルは、生成テキストに統計的ウォーターマークを埋め込み、対応ファイルに署名付きの来歴メタデータを付与する。
HTMLでMarkdownを置き換える：Claude Codeチームの一次実践（英中対照）
HTMLはMarkdownより高い情報密度、優れた可読性、共有のしやすさを備えている。Claude Codeチームの一次実践レポートで、英中対照で学びやすい形で紹介。
CC Switch 導入 Claude Desktop チュートリアル：ローカルルーティングで OpenRouter と DeepSeek を切り替える
CC Switch v3.15.0 から、Claude Desktop を独立した管理パネルとして扱えるため、サードパーティー設定の手動入力やエンドポイント、モデル ID 設定を一元的にまとめられます。
Anthropic、エージェントコストを引き下げたClaude Fable 5.1とアクセス制限付きのMythosバリアントを発表
Anthropicの新しいFableおよびMythosモデルは、基盤となる知能は同一だが、アクセス、安全対策、許可されるセキュリティおよびライフサイエンス業務が異なる。
なぜ Claude、ChatGPT でアカウントのアカウントリスク管理が発動されやすいのか？ネットワーク環境と IP 信用度チェックガイド
AI アカウントで認証、制限、または異常通知が発生することは、単一の要因ではありません。本文では、ネットワーク環境、IP の信頼度、地域整合性、ブラウザ漏えい検出を中心に、確認方法を整理しました。
Skill レコメンド：Anything to NotebookLM、複数ソースの資料を NotebookLM で使える知識素材に整理する
保存しておきたい Claude Skill。複数ソースの内容を NotebookLM で使える素材に整形し、学習・情報整理・個人の知識管理に役立ちます。
CC Switch って何？AI プログラミングツールとモデルプロバイダーを一元管理するコンソール
CC Switch はオープンソースのクロスプラットフォームデスクトップアプリで、Claude Code、Claude Desktop、Codex、Gemini CLI、OpenCode、OpenClaw、Hermes Agent などの AI ツールにおけるモデルプロバイダー設定、ローカルルーティング、使用量統計、MCP、Skills を一元管理します。
AI 玄学プロジェクトコレクション：八字、紫微斗数、風水、タロット、六爻まで
伝統術数、古典知識ベース、Claude Skill、MCP、AI解読を組み合わせたオープンソースプロジェクトをまとめた。
AI サブスク料金比較
ChatGPT、Claude、Gemini、Grok、Perplexity などの AI アプリの App Store サブスク料金を国別に比較し、最安地域、為替換算、プラン差を確認できます。
スキル紹介：Kamiはコンテンツを統一された、納品可能なビジュアル成果物へ整理する
AI Agent 向けのドキュメントデザイン Skill「Kami」を紹介します。これは単なるレイアウトテンプレートではなく、納品可能なドキュメント、スライド、ランディングページを生成するワークフローです。
giffgaffとは？英国の実在SIMカードの有効化・SMS受信・低コストでの番号維持ガイド
長期的に安定した+44英国の実在番号が必要なら、giffgaffは仮想番号よりSMS受信、海外サービス登録、低コストの番号維持に適しています。
Skill推薦：Guizang PPT Skillを使った Agent によるウェブPPT、配図、表紙作成
Guizang PPT Skill は注目すべきオープンソースのPPT Skillで、Agent を使って記事、見解、製品分析をウェブPPT、配図、SNS向けカバー画像にまとめたい人に向いている。
Vibe Coding / Agentic Flow 問題集
Vibe Coding と Agentic Flow 向けの問題リストです。基礎概念、ツールの詳細、ワークフロー設計、システム設計、職業観までをカバーしています。
CodexBar とは？AI コーディングのクォータを追跡する macOS メニューバー・ツール
複数の AI コーディングツールを並行して使う人なら、CodexBar はクォータウィンドウ、リセットまでの時間、provider の状態をメニューバーに集約して表示してくれます。
Skill 推薦：Superpowers でコーディング Agent にワークフローを一式導入する
obra/superpowers というコーディング Agent 向け Skill / Plugin プロジェクトを紹介し、AI コーディングワークフローへの示唆を示します。
声明：米国政府の通達により Fable 5 と Mythos 5 へのアクセスが停止される（英日対照）
米国政府が国家安全保障を理由に Fable 5 と Mythos 5 の利用停止を要求し、Anthropic は準拠のためこれらを停止するとともに、越獄対策の立場と異議を公式声明で示しました。公式声明の英日対照解説。
Skill 特集のはじめに：プロンプトから再利用可能な AI ワークフローへ
Skill は高度なプロンプトではなく、プロンプト、テンプレート、フロー、スクリプト、リソースを再利用可能な AI ワークフローとして定着させる方法です。
AI中継ステーションとは何か？低価格APIの裏側に潜むリスク、ブラック情報、正規の代替案
AI中継ステーションは必ずしもすべてがグレー市場ではないが、低価格APIの背後には、アカウントプール、モデルの差し替え、データ収集、違反枠の利用、残高不正流出といったリスクがあることが多い。