Во всей теории алгоритмов и информатики существует отдельная проблематика, которая так и называется теория вычислимости. Соответственно, существует огромный (бесконечный) спектр задач, являющихся принципиально невычислимыми. (см. Теория вычислимости)
А также, в рамках любого сколь угодно сложного, но непротиворечивого математического аппарата или языка можно сформулировать утверждения, истинность которых невозможно ни доказать ни опровергнуть (см. Теорема Гёделя о неполноте).
С этим бесконечным классом задач принципиально не справится ни алгоритм, ни нейросеть, ни человеческий или чей-либо еще мозг.