{"id":175923,"date":"2023-11-13T04:24:49","date_gmt":"2023-11-13T10:24:49","guid":{"rendered":"https:\/\/lifeboat.com\/blog\/2023\/11\/the-illusion-of-understanding-mit-unmasks-the-myth-of-ais-formal-specifications"},"modified":"2023-11-13T04:24:49","modified_gmt":"2023-11-13T10:24:49","slug":"the-illusion-of-understanding-mit-unmasks-the-myth-of-ais-formal-specifications","status":"publish","type":"post","link":"https:\/\/lifeboat.com\/blog\/2023\/11\/the-illusion-of-understanding-mit-unmasks-the-myth-of-ais-formal-specifications","title":{"rendered":"The Illusion of Understanding: MIT Unmasks the Myth of AI\u2019s Formal Specifications"},"content":{"rendered":"<p><a class=\"aligncenter blog-photo\" href=\"https:\/\/lifeboat.com\/blog.images\/the-illusion-of-understanding-mit-unmasks-the-myth-of-ais-formal-specifications2.jpg\"><\/a><\/p>\n<p>Some researchers see formal specifications as a way for autonomous systems to \u201cexplain themselves\u201d to humans. But a new study finds that we aren\u2019t understanding.<\/p>\n<p>As autonomous systems and artificial intelligence become increasingly common in daily life, new methods are emerging to help humans check that these systems are behaving as expected. One method, called formal specifications, uses mathematical formulas that can be translated into natural-language expressions. Some researchers claim that this method can be used to spell out decisions an AI will make in a way that is interpretable to humans.<\/p>\n<p>Research Findings on Interpretability.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Some researchers see formal specifications as a way for autonomous systems to \u201cexplain themselves\u201d to humans. But a new study finds that we aren\u2019t understanding. As autonomous systems and artificial intelligence become increasingly common in daily life, new methods are emerging to help humans check that these systems are behaving as expected. One method, called [\u2026]<\/p>\n","protected":false},"author":427,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[2229,6],"tags":[],"class_list":["post-175923","post","type-post","status-publish","format-standard","hentry","category-mathematics","category-robotics-ai"],"_links":{"self":[{"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/posts\/175923","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/users\/427"}],"replies":[{"embeddable":true,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/comments?post=175923"}],"version-history":[{"count":0,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/posts\/175923\/revisions"}],"wp:attachment":[{"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/media?parent=175923"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/categories?post=175923"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/tags?post=175923"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}