Без заголовка

неэффективно -- это если низкоуровнево: берем символьный алгоритм и реализуем его поверх сети а если высокоуровнево? берем генератор теорий, обучаем, соединяем с программами проверки доказательств и заставляем решать открытые проблемы -- то не факт, что не получится и аналогия с wetware, кстати, тут тоже прекрасно работает