Rozwiązanie 18. problemu S. Smale'a

Na podstawie analizy historii odkryć naukowych, a także danych psychologii poznawczej i teorii sztucznego intelektu ustalono, że głównymi czynnikami wykluczającymi algorytmiczny charakter działalności twórczej w nauce są: probabilistyczny charakter wniosków indukcyjnych, metoda prób i błędów (metoda poszukiwań sekwencyjnych), czynnik przypadku w odkryciu naukowym oraz twierdzenie Gedela o niekompletności. To pozwala nam na rozwiązanie 18. problemu S. Smeil: jakie są granice inteligencji, zarówno sztucznej, jak i ludzkiej?