there has been a great deal of theoretical progress, particularly in areas such as probabilistic reasoning, machine learning

Those are wide fields, are there any breakthroughs that really stand out in this decade?