リーマン予想の関連問題でClaudeが新記録 — 臨界線上の零点の下限を41.6%から67.2%へ
未公開の研究版Claudeが、リーマンゼータ関数の零点のうち臨界線上にあるものの割合の下限を41.6%から67.2%へ更新しました。証明は定理証明支援系のLean 4で形式化され、数学者の確認も入っています。
全1405件を新しい順に並べています(1081〜1110件目)。カテゴリのトップへ戻る
未公開の研究版Claudeが、リーマンゼータ関数の零点のうち臨界線上にあるものの割合の下限を41.6%から67.2%へ更新しました。証明は定理証明支援系のLean 4で形式化され、数学者の確認も入っています。
Claude Code v2.1.227は5項目の修正リリースです。claude-code-actionでのBash全滅と、Fableのusage credits誤表示が直りました。
Claude Code・Cursor・Copilot・Codex CLI・Cline・Gemini CLI・Devin Desktopの7製品を対応面・料金・拡張性で比較。全ツールがマルチサーフェス化する動きと使い分け早見表をまとめます。
Claude CodeのSendMessageはv2.1.224で別マシン間の直接連携に対応しました。同一セッション内の挙動から設定・使い分けまでをまとめます。
VS Code本体(GitHub Copilot Chat)でMCPサーバーを設定する手順です。mcp.jsonの書式、インストール方法、サンドボックス、Claude Code拡張との設定の違いまで扱います。
Claude Code v2.1.226はバグ修正と信頼性向上のみで、修正内容の内訳は公開されていません。前後のバージョンとの関係も扱います。
Claude Code v2.1.225は14項目の更新です。Claude appsゲートウェイの利用上限が警告に反映され、claude agentsに信頼確認プロンプトが追加。ヘッドレスの401エラーなど9件の不具合も修正されています。
Claude CodeとCodex CLIを1つのリポジトリで併用する構成を、役割分担・設定ファイルの衝突回避・権限モードの対応・コスト配分まで手順化。よくあるつまずきも合わせて解説します。
Claude Codeの上限メッセージはセッション・週次・Opus限定の3種に加え、コンテキスト警告やサーバー側スロットルまで種類が分かれます。見分け方とプラン別の対処、ステータスラインでの先読みまでまとめます。
Claude Code self-hosted-runnerは、TeamとEnterpriseプランで自社のマシンやコンテナをクラウドセッションの実行場所にする機能です。導入手順と制限事項をまとめます。
Cowork(業務向け)とClaude Code(開発向け)は同じ契約で使えますが、対象ユーザー・実行環境・連携方法が大きく異なります。評価軸別の比較表と使い分け早見表でまとめます。
Claude Codeのテレポート機能で、Web版のクラウドセッションをローカル端末に引き継げます。4つの実行方法・前提条件・よくあるエラーの対処法をまとめます。
Claude Codeの--ax-screen-readerモードの3通りの有効化方法、VoiceOver・NVDAが読み上げる範囲、まだ対応していない挙動をまとめます。
Claude Codeの主要ショートカットを早見表で確認し、~/.claude/keybindings.jsonでキー割り当てを変更する手順とつまずきどころをまとめます。
vibe codingは差分を読まずにAIへ実装を委ねる開発スタイルです。Claude CodeのPlanモードや権限モードと組み合わせた実践手順を解説します。
Claude Codeのsandbox.credentialsで、環境変数とファイルの認証情報をmode:"mask"で保護する設定を、JWTデコードとAWS SigV4再署名まで含めて解説します。
Claude CodeとGemini CLIを料金体系・エージェント機能・拡張エコシステムの3軸で比較。Skills・Sub-agents・Hooks・MCPの対応状況と、無料枠の有無から使い分けの判断材料をまとめます。
Claude Codeのインストールが途中で止まる・claudeコマンドが見つからないときの原因を、エラーメッセージ別に切り分けます。PATH・ネットワーク・権限・OS固有の順に公式ドキュメントの対処法をまとめました。
AnthropicがFable 5のバイオ向け分類器を更新し、生物学関連のフォールバックが約85%減。Claude.aiは全フォールバック約67%減、Claude Codeは約17%減の見込み。デュアルユースはOpus 5送りです。
Claude Code v2.1.224は31項目の更新です。別マシンのセッション同士がSendMessageで直接やり取りでき、サブエージェントの200件上限も撤廃されました。
Claude Code v2.1.223は19項目の更新です。エージェント定義に書いたbypassPermissionsが組織の禁止ポリシーを素通りしていた問題が直り、ゲートウェイやBedrock・Vertex経由に効く変更も4件あります。
Claude Code v2.1.222は21項目をまとめたアップデートです。worktree分離がセッション本体にも及び、SendMessageの権限評価やRemote Control自動起動の制御も変わりました。
Claude Code v2.1.221は、バックグラウンドセッションが必要な時だけドラフトPRを作るようになり、サンドボックスの資格情報ファイルをLinux/WSLでマスクできるようになったアップデートです。
Figma MCPサーバーの使い方をまとめます。リモートとデスクトップの違い、Claude Codeへの接続手順、用意されているツール、呼び出し回数の上限、つまずいたときの切り分けまで扱います。
Claude Codeで「Waiting for API response · will retry in …」や「Connection lost mid-response」が出たときの意味と、毎回出るときに疑う順番を解説します。
/verifyはテストや型チェックに頼らず、実際にアプリをビルド・起動して変更の動作を確認するコマンドです。v2.1.215以降は自動実行されず、明示的に呼び出す必要があります。
Claude Codeのトークン消費を抑える操作手順を、コンテキスト管理・サブエージェント分離・プロンプトキャッシュ・モデル選択の相殺関係込みでまとめます。
Claude Codeをチームで使うときのCLAUDE.md規約設計・Code Reviewとレビュー体制・権限とSkills共有の実装パターンをまとめます。
Claude CodeのstatusLineをsettings.jsonで設定し、どの情報を表示するかを実装レシピとつまずき対処つきで解説します。
企業プロキシ環境でClaude Codeを動かすための環境変数・CA証明書・mTLS設定と、ファイアウォールで許可すべきドメイン一覧をまとめます。