#形式化

月間論文まとめ - エージェント運用を測り、検証し、賢く制御する

4月は「生成」から「運用・検証」へ重心が移動。エージェントの安全評価（監査/モニタリング/形式検証）、推論の効率化、創薬・物理・医療の基盤化が同時に進展した。

月間論文まとめ - 安全で実用的なエージェント知能

3月は「実環境で動く」エージェントが主役。安全ケースや段階公開、プロンプト/内部層攻撃への対策が進み、さらにロボティクス・創薬・社会科学で専門知化が加速。

論文レビュー - エージェント知能と安全性を同時に伸ばす

2026-03-30時点で新たに公開された論文から、エージェントの解釈性・適応性と安全性の形式化を中心に4本を解説する。マルチエージェント、ベンチマーク設計、能力依存の安全性が鍵。