THE PROGRAMMING GUARANTEES SAFETY ARTIFICIAL INTELLIGENCE SUPPORT