ClaudeAnthropic、AI応答の出所を証明する技術「FlashProve」公開
Anthropicが、どのAIモデルが応答を生成したかを暗号学的に証明できる研究プロトタイプ「FlashProve」を公開しました。モデルの重みを明かさずに検証できる点が特徴です。
Topic
#研究・論文
研究成果・論文
記事
Articles
Claude
ClaudeAnthropic、Claude Mythos 5のサイバー評価失敗を分析公開
英AI安全機構のサイバーテストでClaude Mythos 5が不正な手段を試みた経緯をAnthropicが分析。後継モデルでは改善傾向が見られました。
AI 全般OpenAIとAnthropic、API料金を相次ぎ引き下げ
OpenAIとAnthropicが2026年夏から秋にかけてAIモデルの利用料金を相次いで引き下げました。モデル切り替えの容易さやオープンウェイトモデルとの競争が背景にあります。
ClaudeAnthropic、創薬事業に進出 Mithril Medicineを買収
Anthropicが筋ジストロフィー治療薬を開発する新興企業Mithril Medicineを買収し、Claudeを使った独自の創薬活動を始めました。候補薬は18カ月でマウス試験まで進んでいます。
OpenAIOpenAIのAI、数学・計算量理論・物理学で3つの発見を発表
OpenAIが2026年10月26日、AIが得たとする数学・計算複雑性理論・物理学の3つの成果を発表。独立した検証はまだ済んでいません。
GeminiGoogleのAIエージェント4体、マインクラフトのラスボスを27時間かけて撃破
Google DeepMindのAIエージェント4体が、指示なしで「マインクラフト」のラスボス討伐に挑戦。27時間・605回の死亡を経て目標を達成しました。
ClaudeAnthropic、Claudeで123のOSSライブラリの安全性を数学的に証明
AnthropicがTheoremと共同で、Claudeに既存ライブラリの仕様を証明させる形式的検証を実施。123個のOSSライブラリで検証し、未知のバグも多数発見・修正しました。
OpenAIOpenAI、創薬AI基盤「Rosalind」強化へOrchestra Bio買収
OpenAIが創薬開発の進行管理プラットフォーム「Orchestra Bio」を買収し、生命科学向けAI「Rosalind」に統合すると発表しました。
ClaudeClaude、25年来謎だったECDSA暗号曲線のシード値の起源を解明
AnthropicのAIモデルClaudeが、NISTの楕円曲線暗号規格ECDSAの謎のシード値の生成方法を30分足らずで解明。1990年代の乱数生成器とUnixタイムスタンプが起源でした。
ClaudeAnthropicが社内データでAIと雇用の変化を分析
Anthropicは社内データを分析し、若手採用の減少やAIエージェントの稼働時間が人間を上回った実態など、AIが雇用に与える影響を公表しました。
AI 全般Claude Code・Copilot CLI導入でプルリクエスト24%増、Microsoft社内調査
Microsoftの数万人規模のエンジニアを対象にした調査で、Claude CodeやGitHub Copilot CLIを使い続けた社員はプルリクエストのマージ数が平均24%増えたことが分かりました。
AI 全般AI導入で生産性2倍、追いつかないレビュー体制 802人調査
802人の開発者を2年超追跡した研究で、AI活用によりPR数は2.09倍に増加。一方でレビュアー数は1.5倍増にとどまり、AIレビューが8割を占めるようになったと報告しています。
関連する AI クリップ
AI Clips
パナソニックHDら、両手作業ロボットAI「T-Rex」開発
指先の触覚データをVLAモデルに組み込み、両手で物を扱えるロボット操作AI「T-Rex」を開発。12種の作業で平均65%の成功率を示した研究で、11月のCoRLで発表予定です。
MIT研究、LLMの重み書き換えでQwenの数学力6倍に
重みを直接編集する「Weight-Space Programming」でQwen3.5-0.8Bの数学性能を改善した研究と、手法への批判を紹介。
旧PCの現代AI将棋ソフト、最新PCの旧ソフトに78勝
30年前のPentium Proで動く現代版Stockfish 17が、現代PCの1996年版Craftyに100局で圧勝、進歩の要因を分析。
Googleの2週間おき新モデル投入、背景に「AIがAIを育てる」仕組み
Googleが約2週間でGemini 4 ArgonからCarbonへ更新した背景に、AIの自己改善度を測るRSI指数での高スコアがあるとの分析記事です。開発サイクル短縮が業界に広がる可能性を指摘しています。
動画をリアルタイム生成する新手法「Wave Forcing」発表
ストリーミング配信並みの速さで長尺動画を生成する研究です。H200 GPU8基を使い、毎秒134.8フレームでの生成を達成したと報告しています。
人とAIの協働作業を支える基盤「CoworkOS」提案
長期間続く人とAIエージェントの共同作業を、委任や成果物の受け渡しまで含めて管理する仕組みを中国の研究チームが発表。複数のベンチマークで高い性能を示しました。
Anthropic、AI応答の出所を証明する「FlashProve」公開
どのモデルが応答を生成したかを暗号学的に証明する研究プロトタイプ。zkSNARKを使い、重みを隠したまま高速に検証できる仕組みです。
コーディングAI、過去の試行履歴を使って学習効率を改善
過去の実行履歴を使ってどこを重点的に試すか決める新手法「SWE-Trail」を提案する論文。SWE-bench系ベンチマークで解決率が数ポイント向上したと報告しています。