The halting problem has been a problem for years and is the barrier that limits the progress of IA. This is a research done by university students that tries to find an answer.