Can AI prove that rusting takes place in moist air?