AI
AIがフェルマーの最終定理の証明を11日間で形式化、全体を機械検証可能に
フェルマーの最終定理を端から端まで機械検査できるLean形式証明が完成した。Anthropicによると、Claudeを中心とするAIエージェント…
AI
AI
家庭内の複数PCにAI推論を振り分けるルーター「PAIR」
独立したAI推論要求を家庭内の複数端末へ振り分けるルーター「PAIR」をNVIDIAが公開した。既存のローカル推論インターフェースを使い、各要求…
AI
画像生成・編集パイプラインのメタデータ98行を公開、処理区分と自動クラスを対応付け
画像生成・編集パイプラインのクラス名、処理区分、対応する自動クラスを同じレコードで照合できる98行のメタデータ表が公開されている。Hugging…
AI
LLMの先読み生成、GPUの処理特性から候補トークン数を決める指針
LLMの投機的デコードで先読みするトークン数について、NVIDIAはGPU上の行列演算とAttentionの処理特性に基づく選定指針を示した。候…
AI
異なるAIコーディングエージェントへ過去の判断を引き継ぐ共有メモリ「funes」
異なるAIコーディングエージェントの過去セッションを一つの索引へまとめ、判断や理由を次の作業へ引き継ぐ共有メモリ「funes」が公開された。意味…
AI
実走行から別車種のカメラ映像を生成し、自動運転AIの学習データに
実走行を再構成した3Dシーンから、別車種のカメラ配置に合わせた映像を生成し、自動運転の認識モデルの学習に使う手順が示された。車種ごとに異なるカメ…
AI
AIエージェントが配列照合と2モデルのタンパク質構造予測を連携
タンパク質の配列照合から複合体の構造予測までを、AIエージェントが専門サービスを呼び出して進めた。NVIDIAとAnthropicが連携した実行…
AI
病理スライド解析で予測性能97％を保ち計算量を約50分の1に削減
10億パラメーター規模の病理画像エンコーダーから小型のViT-Sを蒸留し、ホールスライド解析の予測性能を保ちながら計算量を減らす研究モデルが開発…