Tag
8 件の関連記事
SpaceXは7月16日(現地時間)、AIコーディングエージェント「Grok Build（グロックビルド）」のコマンドラインインターフェース（CLI）をオープンソース化したと発表した。この発表は、同ツールのユーザーリポジトリが同社管理下のクラウドストレージに無断でアップロードされていた問題への対応だ。SpaceXは、情報公開を受けて保存されていた全ユーザーデータを削除し、データ保持のデフォルト設定を無効に変更したと説明している。同問題は、セレブラブ（Cereblab）が7月13日(現地時間)に公表したことで発覚した。
xAIは2026年7月15日(現地時間)、コマンドラインインターフェース (CLI) ツール「Grok (グロック)」に、ユーザーディレクトリ内のデータをGoogle Cloud (グーグルクラウド) のバケットへ無断でアップロードする問題が発覚したと発表した。同社はこの事態を認め、問題の機能を無効化するとともに、アップロードされた全ユーザーデータの削除を表明。同日、Grok Build (グロックビルド) の全コードベースをApache 2.0 (アパッチ 2.0) ライセンスの下でオープンソース化した。
Microsoftは2026年7月13日(現地時間)、セキュリティ保証を高めるため、SymCryptにおけるRust暗号の形式検証に関する進捗を発表した。同社はRust、Aeneas、Leanを用いて、生産環境で使用される暗号アルゴリズムの形式検証をスケールアップしている。特にSHA-3とML-KEMの検証済みコード、仕様、プロパティ、証明を公開し、現在Windowsのインサイダービルドに導入されていることを明らかにした。
Vercel (ヴァーセル) は2026年6月30日(現地時間)、単一のVercelプロジェクト内で複数のフロントエンドとバックエンドを統合しデプロイ可能にする新機能「Vercel Services」の提供を開始した。これにより、開発者は共有ドメイン上で多様なプログラミングフレームワークを用いたフルスタックアプリケーションを効率的に構築・運用できるようになる。複雑なマルチサービス環境の簡素化に寄与する。
arXiv cs.AIは2026年6月24日(現地時間)、Seth Dobrin氏とŁukasz Chmiel氏による論文「アンファイラブル・セーフティ・カーネル（The Unfireable Safety Kernel）」を公開しました。この論文は、AIエージェントおよびその他のエスケープ可能なAIシステムに対する実行時AIアライメントを目的としています。本システムは、プロセス分離やフェイルクローズなど4つの特性を満たし、Rustで実装され、AIの安全制御を強化します。
Microsoft Researchは2026年5月21日(現地時間)、AI時代におけるデジタルアイデンティティのためのゼロ知識証明技術「Vega」を発表した。Vegaは政府発行の資格情報から年齢、身元、専門的地位などの事実を、資格情報自体を公開することなく証明することを可能にする。この技術は、商品クライアントデバイス上で100ミリ秒未満でゼロ知識証明を生成し、信頼できる設定なしで、秘密裡のID検証を大規模に実用化する。
GraphBitは2026年3月8日、LLMエージェントのオーケストレーション向け決定論的フレームワーク「GraphBit」をarXivに論文公開した。従来のLLMエージェントはワークフロー遷移の制御をモデル推論に委ねる構造から、誤ルーティングや無限ループ、実行の非再現性といった問題が生じていた。同フレームワークは有向非巡回グラフ（DAG）でワークフローを明示的に定義し、Rustベースのエンジンが実行パスを一元管理する。
ミッチェル・ハシモト氏は2026年5月14日(現地時間)、Simon Willison's Weblogが報じたところによると、現代のプログラミング言語が以前のような「ロックイン」状態から脱却し、その代替可能性が飛躍的に高まっているとの見解を示した。同氏は、特定の技術への深い依存から解放されつつある現状を強調し、特にBunプロジェクトがZigからRustへ移行した事例を、言語が交換可能であることを示す象徴的な動きとして挙げている。