Can AI prove that light travels in a straight path?