Yes! It seems that the Dawn Project has actually run the test (Edit: well, at least a preliminary one, if we’re being strict…). The car appears to decide in favour of the problem being undecidable and ignores it entirely. (but we knew this already…)
5 Likes