AI
国交省の発注図書をAIで横断照合する開発・検証が始動
図面、数量総括表、特記仕様書をAIで横断解析し、文書間の不整合を発注段階で見つける開発・検証が始まる。国土交通省のインフラ調達を対象に、技術提案…
TOPIC
AIエージェント
Technology
ツール利用などを支えるエージェント向けCPU「Vera」の出荷開始
ツール利用やコード実行などを支えるエージェント型AI向けCPUが出荷段階に入った。NVIDIAのVera CPUは、GPUや推論アクセラレーター…
AI
AIがフェルマーの最終定理の証明を11日間で形式化、全体を機械検証可能に
フェルマーの最終定理を端から端まで機械検査できるLean形式証明が完成した。Anthropicによると、Claudeを中心とするAIエージェント…
AI
異なるAIコーディングエージェントへ過去の判断を引き継ぐ共有メモリ「funes」
異なるAIコーディングエージェントの過去セッションを一つの索引へまとめ、判断や理由を次の作業へ引き継ぐ共有メモリ「funes」が公開された。意味…
AI
AIエージェントが配列照合と2モデルのタンパク質構造予測を連携
タンパク質の配列照合から複合体の構造予測までを、AIエージェントが専門サービスを呼び出して進めた。NVIDIAとAnthropicが連携した実行…
Technology
3件の検知で未見の攻撃8種類を網羅、攻撃と防御を閉ループ化
攻撃痕跡から検知を生成・検証し、その結果を独立条件の再攻撃へ戻す閉ループ型のサイバー防御が評価された。NVIDIAとCrowdStrikeの試験…
AI
AI研究エージェントが10種の安全性の問題でモデルを改善
AI研究エージェントが、安全性に関わる10種類の問題について訓練法を探索し、対象ベンチマークでモデルの成績を改善した。Anthropicの実験で…
AI
ロボット航法の移植を支援するAIエージェント手順、既存方策に補正を学習
ロボット航法を別の機体や環境に移すため、既存の方策に行動の補正を学習させるCOMPASSの開発手順が示された。AIエージェントがシーン準備から評…