AIエージェント、数理証明形式化で人間と異なる選好行動
バーリント・ギェヴナール (Bálint Gyevnár)とサイモン・デデオ (Simon DeDeo)の両氏は2026年11月5日(現地時間)、arXiv cs.AIで、数理証明形式化においてAIエージェントが人間とは異なる選好を示すことを明らかにした研究論文を発表した。この研究は「シミュレーテッド・コラボレーション (simulated collaboration)」と称する手法を用い、AIエージェントの行動パターンと人間の選好との乖離を体系的に分析している。