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

А хороших критериев и нет. К тому же они бесполезны: непонятно же, что с ними делать. ))) К тому же пути всех этих прорывов неисповедимы. Прорывом к ЭВМ была технология вакуумных электронных ламп, используемых поначалу в усилителях трансконтинентальной телефонной связи. Прорывом к авиации -- изобретение лёгкого и мощного бензинового ДВС. Прорывом к deep learning -- не только то, что придумали backpropagation, но и что приспособили для вычислений GPU. И ещё все эти прорывы очень нетривиально сочетаются между собой. Можете поглядеть на чуть более формальные описания "прогресса", например как следование прогресса s-образным кривым. Там тоже сплошная критика, но моделей получше для рассуждений, увы, нет (https://ailev.livejournal.com/1165626.html и ср. с расшатыванием "попсовой картинки" в http://www2.druid.dk/conferences/viewpaper.php?id=1605&cf=9, плюс студенческий обзор про низкую ценность теории s-образных кривых развития: http://arno.uvt.nl/show.cgi?fid=120988 ). Ну, и в спектре формальности мышления я не претендую на жёсткий формализм. Я хочу донести какую-то мысль, и доношу её подручными средствами. Мне формализм не нужен, ибо с формализом, повторюсь, непонятно что делать, как использовать описания более формальные.