With AI solved