Technology
ツール利用などを支えるエージェント向けCPU「Vera」の出荷開始
ツール利用やコード実行などを支えるエージェント型AI向けCPUが出荷段階に入った。NVIDIAのVera CPUは、GPUや推論アクセラレーター…
Spotlight
AI
家庭内の複数PCにAI推論を振り分けるルーター「PAIR」
独立したAI推論要求を家庭内の複数端末へ振り分けるルーター「PAIR」をNVIDIAが公開した。既存のローカル推論インターフェースを使い、各要求…
AI
AIがフェルマーの最終定理の証明を11日間で形式化、全体を機械検証可能に
フェルマーの最終定理を端から端まで機械検査できるLean形式証明が完成した。Anthropicによると、Claudeを中心とするAIエージェント…
Technology
古いブラウザーの不足機能を補完、対応判定を監視データの送信条件にも利用
古いブラウザーの不足機能をポリフィルで補い、補完後を含む対応状態を判定する。その判定は互換処理に加え、GitHub.comからバックエンド監視へ…
Technology
GitHub APIで社会・市民分野のオープンソース参加課題を一覧化
登録した社会的インパクトやcivic techのリポジトリからラベル付き課題を取得し、静的サイト用のJSONへ変換する。参加者は分野と掲載条件で…
AI
画像生成・編集パイプラインのメタデータ98行を公開、処理区分と自動クラスを対応付け
画像生成・編集パイプラインのクラス名、処理区分、対応する自動クラスを同じレコードで照合できる98行のメタデータ表が公開されている。Hugging…
Technology
タンパク質を遠隔制御する部位を予測、既知部位で精度80％以上
タンパク質の立体構造から、活性中心を遠隔で制御する部位を予測する技術が特許登録された。開発したAOI Biosciencesと東芝は、既知部位で…
AI
LLMの先読み生成、GPUの処理特性から候補トークン数を決める指針
LLMの投機的デコードで先読みするトークン数について、NVIDIAはGPU上の行列演算とAttentionの処理特性に基づく選定指針を示した。候…
Defense
英海軍艦艇への洋上補給を担う新型支援艦、初号艦の船体組立が始まる
英海軍艦艇へ弾薬や補給品を洋上輸送する3隻の支援艦計画で、初号艦RFA Resurgentのキールが据え付けられ、船体構造の正式組立が始まった。…
AI
異なるAIコーディングエージェントへ過去の判断を引き継ぐ共有メモリ「funes」
異なるAIコーディングエージェントの過去セッションを一つの索引へまとめ、判断や理由を次の作業へ引き継ぐ共有メモリ「funes」が公開された。意味…
Technology
GPU別カーネルを必要な分だけ選べるROCmの共通配布
ROCmのマルチアーキテクチャ配布は、GPU固有カーネルを共通のホストコードから分離する。利用者は共通インデックスから、必要なGPU向けコードを…
Technology
中間データのメモリ往復を省く線形代数・FFTのカーネル内融合
線形代数とFFTをアプリケーション固有の処理と同じCUDAカーネル内で実行し、中間データを共有メモリやレジスタから次の演算へ渡せる。グローバルメ…