A method to interpret AI might not be so interpretable after all

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 …

AI Film and AI Games Festival draws 300 to hear about AI taking the director’s seat

The second annual HOLL·AI·WOOD AI Film and AI Games Festival took place in San Francisco on Tuesday night and offered us a preview of the future for both passive and interactive entertainment. Edward Saatchi, CEO of Fable Studios and an organizer of the event, said more than 300 attendees from the world of AI, cinema …