We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
MIT Lincoln Laboratory
Top
New
-
Require AI systems above a capability threshold to be interpretable
MIT Lincoln Laboratory votes Against and says:
As autonomous systems and artificial intelligence (AI) 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 fo... more Unverified source (2023)