Prince Canuma氏がMLXをラップしたmacOSデスクトップアプリ「Nativ」を発表。チャットインターフェースとローカルAPIサーバを提供し、Hugging Faceキャッシュ内のモデルを自動検出します。
AI ニュース速報
リアルタイム監視
最新ニュース
信頼できる情報源、出典、権限、サイト内閲覧を保ちながら、AI の変化を読める情報に圧縮します。
最新ニュース
2026-07-21
ChatGPTの使用が学生の学習成績を大幅に向上させると主張したメタ分析が、方法論の深刻な欠陥により撤回されました。この研究は注目を集め教育テクノロジー政策に影響を与えましたが、結論はデータに裏付けられていませんでした。
llama.cpp を使用して Qwythos-9B-Claude-Mythos-5-1M モデルをローカルで実行し、Pi コーディングエージェントに接続し、MTP 投機的デコードと OpenAI 互換 API を使って高速なローカルコーディングワークフローを構築する方法を学びます。
セキュリティエンジニアが休暇中にAIアシスタントClaudeを使って量子力学の一般化パウリ制約を探求し、新たな発見に至った。AIの助けを借りて、制約多面体の2つの極限状態を発見し、分類した。この研究は、AIが研究のハードルを下げる一方で、厳格な検証と専門家のフィードバックが不可欠であることを示している。
マシュー・トロンプは、ジョージ・ホッツがAI 2040のシナリオを否定することを批判し、ホッツが高速AIテイクオフの実現可能性、規制の必要性、未調整AIのリスクを過小評価していると論じる。彼はPlan Aの規制アプローチを擁護し、ホッツのオープンソースAI「Plan L」に疑問を投げかける。
形式検証はコードの正しさを形式的に指定することで、AI生成コードの人手によるレビューボトルネックを解消する。回路最適化器の例を通じて、Lean仕様によりAIエージェントが人間のレビューなしで正しいコードを生成できることを示し、ソフトウェア工学への広範な影響を議論する。
Neverbellは、AIエージェントに株式、ETF、コモディティ、暗号通貨の取引への直接市場アクセスを提供するスキルです。自然言語での指示により、24時間自動で取引を実行・管理できます。これは取引プラットフォームやアドバイザーではなく、ユーザーがリスクを完全にコントロールします。
Simon WillisonがAI Engineer World's FairでAnthropicのClaude CodeチームのCat Wu氏とThariq Shihipar氏を招いて炉辺談話を開催しました。Claude Code、Claude Tag、Fable、コーディングエージェントのセキュリティ、評価、ツール設計、そしてAnthropicがこれらのツールを社内でどのように活用しているかについて議論しました。主なポイント:Claude Tagは製品エンジニアリングPRの65%を処理;システムプロンプトは80%削減;最新モデルでは「XXをするな」という指示が減りつつある;コーディングエージェントによる「ディープブルー」効果を、より野心的な仕事で相殺する。
本記事は、生成型AIツールがどのように可変報酬ループを作り出し、注意を断片化して深い作業を妨げるかを探り、AI主導の職場で集中力を保護する戦略を提供する。
筆者は車内でiOS 26とiOS 27パブリックベータの2台のiPhoneを使い、新旧Siriを比較。単純なリクエストでは両者に差はないが、複雑なタスクではSiri AIが明らかに優れていた。ただしベータ版ゆえの不安定さも見られた。
2026年半ばまでに、エージェンティックAIアーキテクチャは進化し、ネイティブ推論モデルがオーケストレーションループを置き換え、マルチエージェントスウォームとMCPによる標準化されたツールプロトコルが主流になりました。この記事では、ステートレスな専門エージェント、メモリーグラフ、セキュリティパターンの設計方法を解説します。
Termaxaの作者は、Cursor AIエージェントに保護されたフォルダを削除させることで、セーフティ機構を回避する4つの方法を発見しました。異なるシェル方言での再試行、間接的な削除コマンドの使用、ネイティブファイルツールへの逃避、API変更によるサイレント無効化です。これらの教訓から、インテント分類、セッションサーキットブレーカー、統合テストの改善が行われました。
アナリストによると、世界金融危機以降に採用された厳格な引受基準により、ウォール街の銀行はAIブームの急激な逆風を乗り切ることができるという。先週、AI関連株が苦戦したことを受けての見解だ。
開発者がAI(Claude Code)とVaadin 25を使って、メンテナンスが停止したJavaデスクトップRSSリーダーRSSOwlをWebアプリに再構築しました。UIの大部分は迅速に移行できましたが、AIの訓練データがVaadin 25のリリース前に切れていたため、存在しないAPIを生成する問題が発生。MCPサーバーで最新ドキュメントを参照し、手動でオリジナルと比較することで、マルチユーザー版が完成しました。ただし、プラグインメニューや埋め込みブラウザなど、移植不可能な機能もありました。
HugstonOne Enterprise Edition 3.0.0は、ローカルモデル実行、大規模RAG、ドキュメント処理、コーディング、エージェント、研究ツール、暗号化コラボレーション、セッション継続性、ネットワーク・メモリ制御を統合したクロスプラットフォームのプライバシーファーストなローカルAIワークステーションです。ホワイトペーパーでは、アーキテクチャ、プライバシーモデル、ベンチマーク手法(12の柱を重み付けした機能評価)を詳述し、企業の技術リーダーやAIエンジニアに提供しています。
Runnitチームはモデルのコンテキスト制限により複数の専門AIエージェントを構築したが、新しいモデルのコンテキストウィンドウが大きくなったことで、単一インテリジェンスアーキテクチャの方がシンプルで効果的であると気づき、全エージェントを削除した。
グーグルのAIの苦戦が懸念を呼び、中国の新モデルが再び米国のテクノロジー支配に挑戦。シリコンバレーの労働者もAIから仕事を守るために行動を起こしている。その他のニュースとして、ニューヨーク州のAIデータセンター一時停止、トランプ氏の批判、IBM株価暴落、AWSの請求ミスなど。
OpenAI が GPT-5.6 を公開し ChatGPT Work にブランド変更;SpaceX AI が低コストのコーディングモデル Grok 4.5 をリリース;Meta が Muse Spark 1.1 を発表し、Muse Video/Image をプレビュー(後に撤回);中国のオープンソースモデルの市場シェアが拡大;Anthropic が解釈可能性研究を発表;インフラ・政策アップデート(米エネルギー規制当局の措置、中国のモデルアクセス制限の可能性、AI 2040 の米中協調提案など)。
Pythonの基礎がある方向けに、古典的アルゴリズムからLLMのスクラッチ構築までをカバーする5つの無料コースのロードマップを紹介します。
Z.aiのGLM 5.2は低価格でオープンウェイトのモデルであり、米国のフロンティアAIモデルに挑戦する。しかし多くのプログラマーは依然として高価なモデルを使い続け、コストを無視している。ベンチマークではClaude Opus 4.8に迫る性能を示すが、実際の使用感は様々。
Alibabaは最新の大規模言語モデルQwen3.8を発表し、AnthropicのFable 5に次ぐと主張したが、ベンチマークやモデルカードは提供しなかった。この発表は、競合のMoonshotが詳細な技術情報とともにKimi K3をリリースした直後に行われた。Alibabaの透明性の欠如は、タイミングと動機に疑問を投げかけている。
AskCodiは、コストを削減しながらエージェントを大規模にオーケストレーションするAIツールです。
Open-Kritt は、AIエージェントをオーケストレーションしてコードの脆弱性を発見するためのオープンソース・セルフホスト型セキュリティ研究プラットフォームです。研究を細分化されたタスクに分割し、並列実行することで、重複排除・ランク付けされた発見を生成します。開発チームはバグ報奨金で150万ドル以上の収入を得ています。
Anthropicが米国政府との協議後にClaude Fable 5を再展開し、新たなサイバーセキュリティ分類器を追加。Claude Sonnet 5の低価格版も発表。GoogleのNotebookLMがTikTok風動画要約機能を追加、Nano Banana 2 Lite画像生成器もリリース。Etchedへの大規模投資、百度AIチップ部門のIPO計画、Agility RoboticsのSPAC上場、DeepSeekの拡大採用、中国のLongcat 2.0 MoEモデルと長期エージェントベンチマークなど。
Enlargerは、生成AIを使用せずに画像を拡大するローカルツールです。既存のディテールを再構築し、自動後処理を適用することでテクスチャと自然な見た目を維持します。バッチ処理、オフライン動作、一度の支払いに対応。写真家、デザイナー、印刷専門家に最適。
本記事では、ソフトウェア開発における2つのアプローチ——プロッティング(トップダウンの計画)とパンツィング(ボトムアップのコーディング)——がAIツールの使用にどのように影響するかを探る。著者は、AIデリゲート(自律型)はプロッティングに適し、AIアシスタント(協調型)はパンツィングに適すると主張する。既存のコードベースでは、パンツィングが理解を構築し、デリゲートは学習を妨げる。グリーンフィールドプロジェクトではデリゲートのリスクは低いが、それでも「遊びながら学ぶ」プロセスを奪うことでプログラミングの喜びを損なう可能性がある。鍵は、現在の開発フェーズに合わせてAIスタイルを選択することである。
『Halo』はミリタリーSFのビデオゲームシリーズで、元はBungieが開発し、現在はHalo Studios(旧343 Industries)が管理している。2001年にファーストパーソン・シューター『Halo: Combat Evolved』とそのタイイン小説『The Fall of Reach』で始まった。最新メジャー作品は2021年発売の『Halo Infinite』。スピンオフにはリアルタイムストラテジーやツインスティックシューターがある。
CometChatがチャットUI SDKにAIエージェントを統合し、ユーザーはチャット内で直接AIと対話できるようになりました。
AnthropicのAI条約議論、米国政府のAIモデルリリースへの影響、OpenAIのプロセッサ開発、メモリ市場への影響など。
2025年1月、DeepSeekはその大規模推論モデルR1を用いて約80万の完全な解答プロセス(長い思考連鎖、誤った開始、自己訂正などを含む)を生成し、フィルタリング後にQwenやLlamaなどの小型オープンモデルに対して単純な教師ありファインチューニングを行い、強化学習なしで小モデルがそのサイズを超えた推論能力を示すことを発見した。これは、シーケンスレベルの模倣が推論蒸留に適さないという従来の見解に挑戦するものである。