约瑟夫·希发基思提出模型检测理论，获2007年图灵奖。他认为模型检测暂无法应用于人工智能系统，因无法提取其数学模型。他强调中国有条件发展人工智能，需制定全面技术愿景，鼓励科研与产业合作。...

3月5日，ACM宣布将2024年图灵奖授予安德鲁·巴托和理查德·萨顿，表彰他们在强化学习领域的奠基性贡献。两位科学家的工作推动了强化学习和深度强化学习的理论发展，在游戏AI等领域产生深远影响。同时，他们也表达了对当前人工智能开发中安全隐患的担忧。...