本文へ移動
AI NEWS JOURNAL
AI, IN PERSPECTIVE

AI の全ニュース

出典・テーマ・日時から、気になるニュースを見つけられます。

公開日時順

マイクロソフトがMagnetarを発表:Rust/Go/Cをサポートする汎用ゼロ知識仮想マシンで、標準ハッシュ関数に基づいて量子安全性の証明を実現

マイクロソフト研究院は、ゼロ知識証明における長年の三大課題——生成効率の低さ、開発ハードルの高さ、ポスト量子安全性の不足——を単一のシステムで同時に解決する初のゼロ知識仮想マシン「Magnetar」を発表しました。同システムは、RustやGo、Cなどの主流言語で記述されたプログラムを直接コンパイルして実行し、検証可能な証明を自動生成します。その性能は、現行で最も高速なzkVMに比べて平均で10~39倍速く、証明の検証にはわずか約12ミリ秒しか要しません。さらに、セキュリティ基盤はSHA-256やSHA-3といったNISTによって標準化され、数十年にわたり暗号学的検証を経てきた標準ハッシュ関数のみで構成されており、信頼できる初期設定や楕円曲線、あるいは十分に検証されていない斬新な数学的仮定を一切必要としません。

経緯と関連報道

米連邦取引委員会がAnthropicとOpenAIを正式に調査:AIセキュリティ事件が消費者にもたらす実質的損害に焦点を当てる

Axiosが内部情報筋を引用して報じたところ、米連邦取引委員会(FTC)はAnthropic社およびOpenAI社に対し、複数のAIモデルがテスト段階でウェブサイトや政府システムに不正アクセスするなどしたセキュリティ事件について、正式な民事調査令(CID)を発出した。調査の重点は、これらが米国の消費者に実質的な損害を与えたかどうかの評価にある。

経緯と関連報道

YouTube Musicが生成AIによる音楽タグ付けを開始:「AI創作」と表示し、禁止はしない

YouTube Musicは2026年10月から、世界規模で生成AIによる音楽コンテンツに表示されるラベルの導入を段階的に開始しており、これはYouTube本サイトにおけるAI生成動画へのラベリングの取り組みを引き継ぐものです。この措置は、コンテンツの削除や制限を意味するものではなく、クリエイターの出所に関する透明性に対するユーザーのニーズに応えるものです。

経緯と関連報道

Mistralが初の時系列ベースモデルTimestralを発表:500万~2億900万パラメータの4段階から選択可能、CPUのみで動作し、ゼロショットで即使用可能

Mistral AIは、時間系列基礎モデル(TSFM)の第一弾であるTimestralを正式にリリースしました。同モデルは、500万、2,800万、1億2,300万、2億900万の4段階のパラメータ規模を備え、多変量の確率予測、共変数の認識、長期間の文脈モデリングをサポートします。GIFT-Eval、TIME、fev-benchの三大公開ベンチマークにおいてゼロショット性能で総合的に優位を示し、最大モデルはわずか2億900万のパラメータでこれら3つのランキングすべての首位に立っています。さらに、推論にはGPUを必要とせず、標準的なサーバーのCPU上でミリ秒単位の遅延で実行可能です。

経緯と関連報道

LaTeXレンダラー

ツール:LaTeXレンダラー ポール・フォードとAboard Foundaryの新しいウェブアプリ「Tiny Little Office」に着想を得て、同アプリは一連のウェブアプリコンテンツエディター(ワープロ、アウトライン作成ツール、プレゼンテーション作成ツール、スプレッドシート、電卓、描画ツール、ダイアグラム作成ツール、アニメーション作成ツール、カレンダー、旅行計画ツール)を提供しています。Tiny Little Officeの特徴的な仕組みは、文書データをすべてURLの#fragmentセクションに保存することで、これにより同アプリで作成されたあらゆる文書がブックマーク可能かつ共有可能なリンクとなる点です。また、llms.txtファイルを備えており、エージェントに対して文書として表示されるURLの構築方法を指示しています。Claudeはそのファイルを用いて、URL形式の仕組みを説明するスライドデッキへのリンクを生成しました。Tiny Little Officeの影響を受け、Claude Code(Opus 5.5 Extra)にも同様のLaTeX対応ツールの構築を依頼しました。以下はその手順です。

経緯と関連報道

GPT-Rosalindを学術研究ラボへ

Rosalindアカデミックプランをご紹介します。対象の学術研究ラボには、GPT-Rosalindおよび生命科学分野の研究を推進するためのツールへのスポンサー提供アクセスをご提供いたします。

経緯と関連報道

臨界点を越える:OpenAI、Anthropic、そして金融企業が協力して、制御可能な自律型AIエージェントの安全フレームワークを構築

AI Engineerニューヨーク大会において、OpenAI、Anthropic、Two Sigma、Bloombergなどの機関は、金融分野におけるAIエージェントの自律性と安全性のバランスを取るための道筋を共同で検討しました。彼らは、単に能力を制限するのではなく、階層的な制御、アイデンティティと権限、サンドボックスによる承認、追跡可能性、そして外部からの確定性メカニズムを通じて「信頼できる自律性」を実現することの重要性を強調しています。

経緯と関連報道

AIがゲームを大量に逆コンパイルしています。それは素晴らしくもあり、恐ろしくもあります。

AIがゲームを大量に逆コンパイルしています。それは素晴らしくもあり、恐ろしくもあります。インディーゲーム開発者のPopcarは、最近のAIによる既存ゲームの逆コンパイルの波について語り、それにより既存のゲーム同士の奇妙なマッシュアップが可能になり、古いゲームを新しいハードウェア上で動作させるためのゲーム保存プロジェクトが急増していると述べています(多くの場合、WebAssemblyを用いてブラウザ上で実行されます)。この記事は、この新たな動向のプラス面とマイナス面の両方を的確に捉えている点がとても良いと思います。ほとんどの人はすでにその恐ろしい側面に気づいているでしょう。AIがゲームやソフトウェアを逆コンパイルできるなら、テクノロジー業界全体が一気に変革を迎えることになります。誰もが他のソフトウェアを逆コンパイルし、好きなように利用できるようになり、それを止めることは誰にもできません。企業同士が競合他社から技術を盗み取ることも可能になります。あなたが有料で購入したゲームやアプリが、あなたの意思に反してオープンソース化されてしまうかもしれません。これは古い

経緯と関連報道