Средства и методы разработки

Я тут наблюдаю людей, разработавших технологию как писать математически правильные программы силами первых попавшихся студентов. Но есть подвох - накладные расходы при выполнении полученной программы такие, что затея упирается просто в законы физики. Сильно надеюсь что с ИИ тоже не все гладно %-/