AI 形式规范的神话：麻省理工学院揭露 AI 理解错觉的神话

研究人员将自主系统的正式规范视为向人类“解释”自身的一种手段。 一项新的研究表明我们不明白。

新方法正在开发中，以确保自主系统和人工智能系统按预期运行。 形式化规范是一种使用可以翻译为自然语言表达的数学公式的方法。 研究人员声称这种方法可以用于以人类可解释的方式解释人工智能决策。

可解释性研究结果

来源和详细信息：
https://scitechdaily.com/the-illusion-of-understanding-mit-unmasks-the-myth-of-ais-formal-specifications/