MispherはMac用のデバイスで、オンデバイスでの文字起こし、リライト、翻訳、AIエージェント機能を提供します。完全にオフラインで動作し、アカウント不要、無料でMITライセンスです。複数の言語認識エンジンをサポートし、キーボードショートカットやインターフェースをカスタマイズ可能で、ツール呼び出しやMCPサーバー統合にも対応しています。
AI ニュース速報
リアルタイム監視
最新ニュース
信頼できる情報源、出典、権限、サイト内閲覧を保ちながら、AI の変化を読める情報に圧縮します。
最新ニュース
OtterSecは、AIがCTF競技に与える影響に対処するため、10万ドルのSave CTFs Fundを発表した。現在のAIモデルはほとんどのJeopardyチャレンジを瞬時に解くため、リーダーボードはスキルではなくトークン予算を測るものになりつつある。彼らは、改良されたAttack/DefenseやKing of the Hillなどのより細かなスコアリング形式を提唱し、相対スコアリングを用いたリバースエンジニアリングチャレンジの例を示している。この基金は、簡潔で明確なスポンサーシップ申請を募っている。
NVIDIAはNemotron-3-Superの圧縮版であるNemotron-Labs-3-Puzzle-75B-A9Bをリリースした。反復的Puzzle圧縮により、モデルパラメータは総数1207億/アクティブ128億から753億/アクティブ93億に削減。単一8xB200ノードでユーザー每秒100トークン時に総スループット2.03倍を達成し、単一H100では1Mトークン同時実行数が1から8に増加。
AIが雇用を奪うという一般的な予測は、数学的モデルに欠陥があると指摘するビデオ分析。経済の適応力や歴史的パターンを無視している。
この記事は、AIがコミュニケーションを肥大化させ、非技術者が過剰に冗長なコンテンツを生成することで、効率性ではなく認知負荷を増大させていると批判する。著者は、アウトプットは生産性ではなく、経営陣はしばしば量を質と誤解していると主張する。
Google AI StudioはBuildモードで「GitHubからインポート」機能を展開し、既存のリポジトリをランタイム互換形式に変換、反復とデプロイを可能にします。2026年7月8日にAI StudioチームとプロダクトリーダーのLogan Kilpatrickによって発表されました。この機能はGitHubからのインポート経路を補完し、開発者が既存のコードベースからアプリ構築を始める新たな方法を提供します。
Prime Intellect は、Radical Ventures がリードする1億3000万ドルのシリーズAラウンドを発表。NVIDIA Ventures、Intel Capital、Dell Technologies Capital などが参加し、総調達額は1億5000万ドルを超える。強化学習(RL)を活用し、企業が自社のモデル最適化ループを所有できるオープンな超知能スタックを構築。すでに6000以上の顧客を擁し、年換算収益は1億ドルを突破。Ramp などの企業がクローズドな最先端モデルを凌駕する成果を上げている。今後は長期間エージェント、再帰的言語モデル、自動化研究、継続学習に注力する。
AtCoderで人間対AIのエキシビションマッチが開催され、World Tour Finals 2026 Algorithmの一環として行われます。
ある創業者が、150日間でAIスタートアップを年間1000万ドルの売上高に成長させた経験を共有し、重要な戦略と教訓を語ります。
元GitHub CEOのThomas Dohmke氏が、AIエージェントのトラフィックを処理するために設計された分散型Gitホスティングネットワーク「Entire」を立ち上げました。EntireはGitHubリポジトリをミラーリングし、エージェント監査機能を提供し、GitHubのような集中型プラットフォームのインフラストレスを解決することを目指しています。
Greppy は、AIコーディングエージェント向けにコードナビゲーションサブコマンド(who-calls、impact、semantic-search、brief)を追加したドロップインgrep代替です。構造的なコード問題の正答率を53%から87%に向上させ、トークン消費を削減します。単一のRustバイナリで107言語をサポート。
ChatCut は、ChatGPT、デスクトップ、ウェブで利用できる軽量かつプロ向けの AI 動画編集ツールです。映像、意図、タイムラインを理解し、構造編集、微調整、キャプション、B ロール、音楽、ナレーション、モーション グラフィックス、ストック映像、AI 生成動画などを、編集可能なタイムラインで実現し、XML エクスポートにも対応します。
『インディペンデント』紙の報道によると、Facebook上に「Life in Britain」というページが存在し、英国政治に関する分裂を煽るAI生成動画を多数投稿している。ページ管理者はスリランカにいるにもかかわらず、1ヶ月前に通報されたにもかかわらずFacebookは何の行動も起こしていない。専門家は外国勢力によるAI影響力キャンペーンの可能性を警告し、社会的信頼を損なう危険性を指摘する。
CAIデータセットは、14ヶ月間にわたって収集されたサイバーセキュリティLLMの軌跡コーパスであり、230,935のセッションログと26,027,742のユーザープロンプトを含みます。123カ国の16,768のソースIPから取得され、専門家の操作軌跡がLLMのパフォーマンスにおけるボトルネックであることを示しています。オペレーターがライブ資格情報をプロンプトに貼り付ける習慣により、機密情報が少数のクラウドAPIプロバイダーに集中し、システムリスクを生じさせています。論文は、オンプレミスの専用サイバーセキュリティLLMの導入を提唱しています。
AI構築アプリのローンチ前には、コードの所有権、AI構築の限界(80%地点)、データセキュリティを確認し、プレリリースの技術レビューが不可欠です。Builder.aiの破産は、デモと本番製品のギャップを浮き彫りにしています。
OpenClawは、週末プロジェクトから世界的なムーブメントへと成長し、毎週450万の新しい「爪」が生まれ、GitHub史上最速で成長するリポジトリとなりました。本日、非営利財団の設立を発表し、プロジェクトをオープンかつ独立したものとして管理します。財団はガバナンス、安定した資金提供、フルタイムチームを提供します。OpenAI、NVIDIA、Microsoft、ミシガン大学などとのパートナーシップにより、パーソナルAIエージェントの進化を目指します。
SpaceXAI(xAI)は、コーディングとエージェントに特化した最新モデルGrok 4.5を公開した。Opus級の性能を謳いつつ、より高速で低コストを実現。Cursorと協力してトレーニングされ、価格は入力100万トークンあたり2ドル、出力100万トークンあたり6ドル。コンテキストウィンドウは50万トークン(近日中に100万に拡大予定)。独立した評価では効率性が高く評価され、Artificial Analysis Intelligence Indexで4位にランクインした。
AIによるコード生成の品質は、コードベースの一貫性に大きく依存します。一般的なスタックはAIのトレーニングデータの恩恵を受けますが、一貫性のない独自のコードベースはより多くのコンテキストを必要とし、コストが増加し品質が低下します。ソフトウェアを書き換えて明確なパターンを採用することで、この力学を逆転させ、競争優位を得ることができます。
ドイツの調査報道機関Correctivの潜入調査によると、極右政党AfDはGoogle Gemini、OpenAI、AnthropicのClaudeなどのAIエンジンを利用したAlternitaというソフトウェアスイートを開発し、扇動的なソーシャルメディア投稿(レイジベイト)を生成している。これは党内のメッセージングを制御し、オンラインでの優位性を維持することを目的としている。
Compendium は、チームとAIエージェントのための共有ワークスペースであり、「AI企業の頭脳」を自称する Cerenovus によって開発されました。このツールは人間とAIのコラボレーションを促進し、生産性を向上させます。
シャドウガバナンス、AI、そして曖昧さの静かな武器化に関する警告の物語。セキュリティ専門家がAIスタートアップに加わり、未公開のポリシーを厳守したが、AIツールを使用したことで噂により評判を台無しにされ、実際の違反者は地下に潜む。最終的に会社は寛容なポリシーを発表するが、全面的な監視が伴う。
本記事では、Claude Codeのリクエスト毎に送信される不要なツール定義や命令などの冗長部分を特定し削除する6つのステップを紹介します。/contextコマンドやログプロキシを使用して測定し、disable*フラグとdenyルールを設定することで、トークン消費を大幅に削減できます。
この記事では、検索拡張生成(RAG)パイプラインに対する間接的プロンプトインジェクション攻撃の再現方法について、攻撃原理、実装手順、防御策を詳しく説明します。
GemNav は、補助的な視覚エンコーダや連続回帰ヘッドを用いずに、凍結されたマルチモーダル大規模言語モデル(MLLM)を言語タワーのみに低ランク適応(LoRA)で適応させる新しい視覚ロボットナビゲーションポリシーです。ウェイポイントとナビゲーション信号は共有の離散トークン語彙を使用し、ソフトデコードされた補助損失が計量構造を回復します。わずか8.7時間のデータでトレーニングされ、4つの未見環境にゼロショット転送し、20回の実世界試行で目標の0.25~0.42メートル以内に停止します。結果は、凍結MLLMの離散トークン適応がロボットナビゲーションのためのデータ効率が高く展開可能な代替手段を提供することを示しています。
CaLiSymは、幾何学的事前分布を構造化されたリフトされた標準位相空間に課すことで、正確なシンプレクティック学習を非保存系に拡張する軽量フレームワークである。明示的代数的リフトを使用し、反復的隠状態やODE積分を回避し、GRB-SympNet変種を導入する。散逸性二重振り子、実世界のクアッドローター、接触豊富な四脚ロボットでの実験により、シンプレクティック形式を数値精度で保存しつつ、分布外自己回帰予測の一貫した改善を示す。
本論文は、モジュラーハードロボット(MSR)の形態変化に段階的に適応し、事前の知識を忘れずに制御できる継続学習に基づくフレームワークを提案する。シミュレーションと実機で有効性を検証した。
EvoPlanは、LLMの流暢さと古典的なPDDLプランナーの保証を組み合わせたニューロシンボリックフレームワークであり、3つの部分から構成されます。デモデータから大域的STL制約をオフラインでマイニングする手順、進化的PDDLプランナー、制約付き実行ループです。すべてのLLM呼び出しはローカルのオープンウェイトモデルを使用し、クラウド依存なしでロボット上にデプロイ可能です。Bench2Drive、HA-VLN-CE、ALFWorldベンチマークでテストされました。
本レビューは2017年から2026年までの183件の研究を7つの次元(VLAアーキテクチャ、トレーニング手法、行動表現、両腕協調、UAVナビゲーションと制御、言語基盤、記憶と世界モデル)で整理。両腕VLAで開発された戦略が無人航空システムに転用可能であることを示し、14の研究課題を特定した。
本論文では、マルチエージェントSLAMにおけるループ閉鎖候補検出にセキュアマルチパーティ計算(SMPC)を適用し、グローバル記述子を平文で交換せずにプライバシーを保護するCILCシステムを提案する。実験により、視覚およびLiDAR記述子でリアルタイム性能を達成し、情報漏洩を軽減できることを確認した。
RoboSnapは、単一のRGB画像をシミュレーション可能なシーンに変換する実機からシミュレーションへのフレームワークです。衝突認識可能な前景アセットと3Dガウシアンスプラッティングによる背景表現を組み合わせた階層型設計が特徴。DROIDシーンや実ロボットタスクでの実験により、軌跡再現、タスク特化型合成データ生成、シミュレーションと実機間の相関が確認されました。また、564の実世界シーンからなるDROID-Simデータセットも公開されています。